26/07/31 09:18:08.35 YuCGXyzZ.net
どうすればいいの？
2:１３２人目の素数さん
26/07/31 10:15:17.55 6xprB8kB.net
中山の補題
rio2016.5ch.io/test/read.cgi/math/1769100891/
3:１３２人目の素数さん
26/07/31 10:15:40.30 6xprB8kB.net
命題2.6 (中山の補題) ←補題じゃねーじゃん
rio2016.2ch.sc/test/read.cgi/math/1733392906/
4:１３２人目の素数さん
26/07/31 14:13:15.05 +4NeCsZa.net
公理1.1（ツォルンの補題）
5:１３２人目の素数さん
26/07/31 14:55:20.26 +4NeCsZa.net
注意0.1（米田の補題）
6:１３２人目の素数さん
26/07/31 15:17:52.56 dindC2p9.net
結局は行列式のトリック
7:１３２人目の素数さん
26/07/31 22:25:47.28 0oVgemEh.net
係数環がPIDなら主張は明らか
生成元が複数でも、消去法でannihilatorを取れるのが線型代数の妙