中山の補題をイメージするには？

1１３２人目の素数さん

2026/07/31(金) 09:18:08.35ID:YuCGXyzZ

どうすればいいの？

2１３２人目の素数さん

2026/07/31(金) 10:15:17.55ID:6xprB8kB

中山の補題
rio2016.5ch.io/test/read.cgi/math/1769100891/

3１３２人目の素数さん

2026/07/31(金) 10:15:40.30ID:6xprB8kB

命題2.6 (中山の補題)　←補題じゃねーじゃん
rio2016.5ch.net/test/read.cgi/math/1733392906/

4１３２人目の素数さん

2026/07/31(金) 14:13:15.05ID:+4NeCsZa

公理1.1（ツォルンの補題）

5１３２人目の素数さん

2026/07/31(金) 14:55:20.26ID:+4NeCsZa

注意0.1（米田の補題）

6１３２人目の素数さん

2026/07/31(金) 15:17:52.56ID:dindC2p9

結局は行列式のトリック

7１３２人目の素数さん

2026/07/31(金) 22:25:47.28ID:0oVgemEh

係数環がPIDなら主張は明らか
生成元が複数でも、消去法でannihilatorを取れるのが線型代数の妙

レスを投稿する