#クルルの単項イデアル定理 の一般化:
#クルルの高度定理
(Krull's height theorem)
https://ja.wikipedia.org/wiki/...
「#ネーター環 の r 個の元で
#生成 される #イデアル の
#極小素因子 の高さは高々 r である.」
#クルルの単項イデアル定理 の一般化:
#クルルの高度定理
(Krull's height theorem)
https://ja.wikipedia.org/wiki/...
「#ネーター環 の r 個の元で
#生成 される #イデアル の
#極小素因子 の高さは高々 r である.」
#フィッティングの補題 (Fitting lemma)
https://ja.wikipedia.org/wiki/...
「#直既約加群 M は
#長さ 有限であれば
M のすべての #自己準同型 は
#全単射 であるかさもなくば #冪零 である.」
#クルル・シュミットの定理 の証明に役立つ.
#フィッティングの補題 (Fitting lemma)
https://ja.wikipedia.org/wiki/...
「#直既約加群 M は
#長さ 有限であれば
M のすべての #自己準同型 は
#全単射 であるかさもなくば #冪零 である.」
#クルル・シュミットの定理 の証明に役立つ.
#クルル・シュミットの定理
(Krull-Schmidt theorem)
https://ja.wikipedia.org/wiki/...
・ #群 Gに #主組成列 が存在すれば
Gは有限個の #直既約 群の #直積 に分解され
その直既約分解は
順序と #同型 を除いて一意的.
・ #加群 の直既約分解も同様に
順序と同型を除いて一意的.
#クルル・シュミットの定理
(Krull-Schmidt theorem)
https://ja.wikipedia.org/wiki/...
・ #群 Gに #主組成列 が存在すれば
Gは有限個の #直既約 群の #直積 に分解され
その直既約分解は
順序と #同型 を除いて一意的.
・ #加群 の直既約分解も同様に
順序と同型を除いて一意的.
#クルルの単項イデアル定理 の一般化:
#クルルの高度定理
(Krull's height theorem)
https://ja.wikipedia.org/wiki/...
「#ネーター環 の r 個の元で
#生成 される #イデアル の
#極小素因子 の高さは高々 r である.」
#クルルの単項イデアル定理 の一般化:
#クルルの高度定理
(Krull's height theorem)
https://ja.wikipedia.org/wiki/...
「#ネーター環 の r 個の元で
#生成 される #イデアル の
#極小素因子 の高さは高々 r である.」
5leaf.jp/kinokuniya/dsg-08-EK...
5leaf.jp/kinokuniya/dsg-08-EK...
5leaf.jp/kinokuniya/dsg-08-EK...
5leaf.jp/kinokuniya/dsg-08-EK...
つまり、環論において、クルルの定理より零環でない環は極大イデアルを持つので、極大イデアルが素イデアルであることから、任意のイデアルはそれを包含する素イデアルが存在するんですよねー。
ブール代数におけるイデアルと環論におけるイデアルは、忘却・自由関手によって概念が一致するので、新井Thm4.5.19.1が示されるということか
つまり、環論において、クルルの定理より零環でない環は極大イデアルを持つので、極大イデアルが素イデアルであることから、任意のイデアルはそれを包含する素イデアルが存在するんですよねー。
ブール代数におけるイデアルと環論におけるイデアルは、忘却・自由関手によって概念が一致するので、新井Thm4.5.19.1が示されるということか
https://amasale.newif.net/ranking/kdetail/270
https://amasale.newif.net/ranking/kdetail/270
https://amasale.newif.net/ranking/kdetail/262
https://amasale.newif.net/ranking/kdetail/262
https://amasale.newif.net/ranking/kdetail/250
https://amasale.newif.net/ranking/kdetail/250