【神々の】ガロア生誕200周年記念スレ【愛でし人】
at MATH
[前50を表示]
550:Kummer ◆SgHZJkrsn08e
11/11/17 02:07:27.31
定義 221
G を群とする。
G の部分群の列 G = G_0 ⊃ G_1 ⊃ ．．． ⊃ G_n = {1} があり、
各 G_i(i = 1、．．．、n) は G_(i-1) の正規部分群であり、G_(i-1)/G_i がabel群であるとき
G を可解群と言う。
551:Kummer ◆SgHZJkrsn08e
11/11/17 02:24:45.42
奇数位数の有限群は可解群である(Feit-Thompson 1963)。
Feit-Thompsonのこの論文は255ページと長大である。
552:１３２人目の素数さん
11/11/17 02:27:37.60
>>551
その大結果の証明は今だに
簡略化されていないの？
553:猫 ◆MuKUnGPXAY
11/11/17 02:27:42.17
有限群論という範疇の中でソコまでの主張が成立するのは素晴らしい事。
猫
554:Kummer ◆SgHZJkrsn08e
11/11/17 07:50:57.76
定義 222
G ≠ {1} を群とする。
G が G と {1} 以外の正規部分群を持たないとき G を単純群と言う。
555:Kummer ◆SgHZJkrsn08e
11/11/17 07:52:26.63
定義 223
G を群とする。
G の部分群の列 G = G_0 ⊃ G_1 ⊃ ．．． ⊃ G_n = {1} があり、
各 G_i(i = 1、．．．、n) は G_(i-1) の正規部分群であり、G_(i-1)/G_i が単純群(>>554) であるとき
この列を G の組成列(composition series)と言う。
各 G_(i-1)/G_i をこの組成列の組成因子(composition factor)または因子と呼ぶ。
n をこの組成列の長さと呼ぶ。
556:Kummer ◆SgHZJkrsn08e
11/11/17 08:16:16.69
命題 224
G を群とする。
N を G の正規部分群とし、H を G の部分群とする。
このとき、HN は G の部分群であり、N は HN の正規部分群である。
さらに、H ∩ N は H の正規部分群であり、H/(H ∩ N) は HN/N に同型である。
証明
HN = NH、(HN)(HN) = HHNN = HN
よって、HN は G の部分群である。
N ⊂ HN であるから N は HN の正規部分群である。
π：G → G/N を標準的な準同型とする。
π を H に制限した写像 π|H：H → G/N を考える。
π|H の像は HN/N である。
π|H の核は H ∩ N である。
よって、H/(H ∩ N) は HN/N に同型である。
証明終
557:Kummer ◆SgHZJkrsn08e
11/11/17 08:48:02.63
命題 225
G を群とする。
G が長さ n の組成列(>>555)を持てば、G の任意の真正規部分群 N は、
長さ ≦ n - 1 の組成列を持つ。
証明
n に関する帰納法を使う。
n = 1 の場合は自明である。
n ≧ 2 とする。
G = G_0 ⊃ G_1 ⊃ ．．． ⊃ G_n = {1} を組成列とする。
>>556より、NG_1/G_1 は N/(N ∩ G_1) と同型である。
NG_1 = G_1 の場合、即ち N ⊂ G_1 の場合は帰納法の仮定より、
N は長さ ≦ n - 1 の組成列を持つ。
NG_1 ≠ G_1 の場合とする。
G ⊃ NG_1 ⊃ G であり、NG_1 は G の正規部分群であるから NG_1 = G である。
>>556より、N/(N ∩ G_1) は G/G_1 に同型であるから N/(N ∩ G_1) は単純群(>>554)である。
N ∩ G_1 = G_1 とすると N ⊃ G_1 となり、N = G または N = G_1 となって仮定に反する。
よって、N ∩ G_1 ≠ G_1 である。
よって、N ∩ G_1 は帰納法の仮定より長さ ≦ n - 2 の組成列を持つ。
よって、N は 長さ ≦ n - 1 の組成列を持つ。
証明終
558:Kummer ◆SgHZJkrsn08e
11/11/17 10:13:11.38
命題 226
G を群とする。
H_1 ⊃ H_2 を G の部分群とし、H_2 は H_1 の正規部分群とする。
(H_1)/(H_2) は単純群であるとする。
N を G の正規部分群とする。
このとき、(H_1)N/(H_2)N は単純群であるか (H_1)N = (H_2)N である。
証明
標準準同型：(H_1)N → (H_1)N/(H_2)N を H_1 に制限することにより、
準同型 f：H_1 → (H_1)N/(H_2)N が得られる。
f は全射である。
f(H_2) = {1} であるから f は全射準同型 g：(H_1)/(H_2) → (H_1)N/(H_2)N を誘導する。
(H_1)/(H_2) は単純群であるから Ker(g) = {1} または Ker(g) = (H_1)/(H_2) である。
よって、(H_1)N/(H_2)N は (H_1)/(H_2) に同型であるから {1} である。
よって、(H_1)N/(H_2)N は単純群であるか (H_1)N = (H_2)N である。
証明終
559:Kummer ◆SgHZJkrsn08e
11/11/17 10:56:44.27
命題 227
G を群とする。
H_1 ⊃ H_2 を G の部分群とし、H_2 は H_1 の正規部分群とする。
N を G の正規部分群とする。
このとき、全射準同型 g：(H_1)/(H_2) → (H_1)N/(H_2)N が存在する。
証明
>>558で証明されている。
560:Kummer ◆SgHZJkrsn08e
11/11/17 11:07:13.60
命題 228
G を可解群(>>550)とする。
N を G の任意の正規部分群とする。
このとき、G/N は可解群である。
証明
G の部分群の列 G = G_0 ⊃ G_1 ⊃ ．．． ⊃ G_n = {1} があり、
各 G_i(i = 1、．．．、n) は G_(i-1) の正規部分群であり、G_(i-1)/G_i はabel群である。
列 G = (G_0)N ⊃ (G_1)N ⊃ ．．． ⊃ (G_n)N = N を考える。
>>559より、各 i に対して 全射準同型 (G_(i-1))/(G_i) → (G_(i-1))N/(G_i)N が存在する。
よって、各 (G_(i-1))N/(G_i)N はabel群である。
よって、G/N は可解群である。
証明終
561:Kummer ◆SgHZJkrsn08e
11/11/17 11:47:55.43
命題 229(Jordan-Hoelderの定理)
G を群とする。
G = G_0 ⊃ G_1 ⊃ ．．． ⊃ G_n = {1} を組成列とする。
このとき、G の任意の組成列の長さは n であり、その組成因子の列は、
順序を別にして列 (G_(i-1)/G_i)、i = 1、．．．、n と同型である。
証明
n に関する帰納法を使う。
n = 1 の場合は自明である。
n ≧ 2 とする。
G = H_0 ⊃ H_1 ⊃ H_2 ... ⊃ H_m = 0 を別の組成列とする。
G_1 = H_1 なら帰納法の仮定から成り立つ。
よって、G_1 ≠ H_1 とする。
H_0 ⊃ (G_1)(H_1) ⊃ H_1 であるが (G_1)(H_1) ≠ H_1 であるから H_0 = (G_1)(H_1) である。
よって、>>556より G_1/(G_1 ∩ H_1) は H_0/H_1 と同型である。
同様に H_1/(G_1 ∩ H_1) は G_0/G_1 と同型である。
>>557より、G_1 ∩ H_1 は組成列を持つ。
よって、G_1 ⊃ G_1 ∩ H_1 ⊃ ．．． となる組成列がある。
帰納法の仮定からこの組成列の長さは n - 1 であり、
その組成因子の列は順序を別にして列 (G_(i-1)/G_i)、i = 2、．．．、n と同型である。
H_1 ⊃ G_1 ∩ H_1 ⊃ ．．． は長さは n - 1 の組成列である。
よって、帰納法の仮定から n - 1 = m -1 であり、よって n = m である。
その組成因子の列は順序を別にして列 (H_(i-1)/H_i)、i = 2、．．．、n と同型である。
よって、本命題が成り立つ（図を描いてみれば良くわかる）。
証明終
562:Kummer ◆SgHZJkrsn08e
11/11/17 12:32:47.98
命題 230
有限群は組成列(>>555)を持つ。
証明
G を有限群とする。
G の位数 n に関する帰納法を使う。
n = 1 の場合は自明である。
n ≧ 2 とする。
G の正規部分群で G と異なるもの全体を Σ とする。
{1} ∈ Σ であるから Σ は空でない。
N を Σ の中で位数最大のものとする。
G/N は単純群である。
N の位数 ≦ n - 1 であるから帰納法の仮定から N は組成列を持つ。
よって、G は組成列を持つ。
証明終
563:１３２人目の素数さん
11/11/17 12:36:15.32
支援
564:Kummer ◆SgHZJkrsn08e
11/11/17 12:49:54.74
命題 231
有限群が可解(>>550)であるためにはその任意の組成列(>>555)の各組成因子(>>555)が
素数位数を持つことであることが必要十分である。
証明
Jordan-Hoelderの定理(>>561)と、abel群が単純群(>>554)であれば、その位数は素数であることと、
逆に素数位数の群はabel群であることから本命題は直ちに得られる。
証明終
565:Kummer ◆SgHZJkrsn08e
11/11/17 13:10:18.69
命題 232
可解群(>>550)の部分群は可解である。
証明
G を可解群とし、H をその部分群とする。
G の部分群の列 G = G_0 ⊃ G_1 ⊃ ．．． ⊃ G_n = {1} があり、
各 G_i(i = 1、．．．、n) は G_(i-1) の正規部分群であり、G_(i-1)/G_i はabel群である。
各 i に対して、π_i：G_(i-1) → G_(i-1)/G_i を標準的な準同型とする。
π_i は準同型 λ_i：H ∩ G_(i-1) → G_(i-1)/G_i を引き起こす。
この核は H ∩ G_i である。
よって、(H ∩ G_(i-1))/(H ∩ G_i) は G_(i-1)/G_i の部分群に同型であるからabel群である。
よって、H_i = H ∩ G_i、i = 0、1、．．．、n とおけば、
H = H_0 ⊃ H_1 ⊃ ．．． ⊃ H_n = {1} となり、
各 H_i(i = 1、．．．、n) は H_(i-1) の正規部分群であり、H_(i-1)/H_i はabel群である。
よって、H は可解群である。
証明終
566:Kummer ◆SgHZJkrsn08e
11/11/17 13:15:08.74
命題 233
G を群とする。
N を G の正規部分群とする。
N と G/N が可解(>>550)であれば G も可解である。
証明
可解群の定義(>>550)から明らかである。
567:Kummer ◆SgHZJkrsn08e
11/11/17 13:26:49.05
命題 234
G_1、．．．G_n を群とする。
G = (G_1)×．．．×(G_n) を直積とする。
このとき、G が可解(>>550)であるためには各 G_i が可解であることが必要十分である。
証明
必要性：
G が可解であるとする。
各 i に対して π_i：G → G_i を射影とする。
π_i の核を N_i とする。
G/N_i と G_i は同型であるから>>560より、G_i は可解である。
十分性：
各 G_i が可解であるとする。
n に関する帰納法を使う。
n = 1 の場合は自明である。
n ≧ 2 とする。
G/G_n は (G_1)×．．．×(G_(n-1)) に同型であるから帰納法の仮定より可解である。
よって、>>566より、G は可解である。
証明終
568:Kummer ◆SgHZJkrsn08e
11/11/17 13:40:59.69
>>293の修正
定義 126
L/K を代数的拡大(>>90)とする。
L ⊂ E となる体(>>82) E で E/K が正規拡大(>>163)となるようなもの全体の集合を Ψ とする。
K~ を K の代数的閉包(>>128)とすると、K~ ∈ Ψ であるから Ψ は空でない。
N = ∩{E； E ∈ Ψ} は体であり、N ∈ Ψ である。
即ち N は Ψ の最小元である。
N を L/K の正規閉包(normal closure)という。
569:Kummer ◆SgHZJkrsn08e
11/11/17 13:46:39.76
定義 235
L/K を分離代数的(>>248)な拡大(>>82)とする。
N を L/K の正規閉包(>>568)とする。
>>324より N/K はGalois拡大(>>251)である。
このとき、N/K を L/K のGalois閉包と呼ぶ。
570:Kummer ◆SgHZJkrsn08e
11/11/17 14:28:37.12
命題 236
L/K をGalois拡大(>>251)とする。
σ： K → Ω (>>82) を任意の埋め込み(>>121)とする。
このとき、σ(L)/σ(K) はGalois拡大であり、G(L/K) (>>251)と G(σ(L)/σ(K)) は同型である。
証明
ほとんど自明であろう。
571:Kummer ◆SgHZJkrsn08e
11/11/17 14:38:50.38
命題 237
K ⊂ M ⊂ L を体(>>82)の拡大の列とする。
M/K と L/M はそれぞれ有限(>>87)なGalois拡大(>>251)であるとする。
>>284より、L/K は分離代数的(>>248)である。
N を L/K のGalois閉包(>>569)とする。
G(M/K)(>>251) と G(L/M) はそれぞれ可解(>>550)であるとする。
このとき、G(N/K) は可解である。
証明
G = G(N/K) とおく。
>>306より、N は {σ(L)：σ ∈ E(L/K) (>>262)} の合成体(>>291)である。
>>166より、任意の σ ∈ E(L/K) に対して σ(M) = M である。
よって、>>570より σ(L)/M はGalois拡大であり、G(σ(L)/M) は G(L/M) に同型である。
よって、G(σ(L)/M) は可解である。
>>507より G(N/M) は Γ = Π{G(σ(L)/M)： σ ∈ E(L/K)} の部分群に同型である。
>>567より、Γ は可解である。
よって、>>565より G(N/M) は可解である。
M/K はGalois拡大であるから>>473より G(N/M) は G の正規部分群である。
>>488より G/G(N/M) は G(M/K) に同型であるから可解である。
よって、>>566より G は可解である。
証明終
572:Kummer ◆SgHZJkrsn08e
11/11/17 15:51:58.09
定義 238
L/K をGalois拡大(>>251)とする。
そのGalois群(>>251)が可解(>>550)なとき L/K を可解なGalois拡大と言う。
573:Kummer ◆SgHZJkrsn08e
11/11/17 15:55:58.74
定義 239
L/K を拡大(>>251)とする。
可解(>>572)なGalois拡大 E/K があり L ⊂ E となるとき L/K を準可解拡大と言う。
574:Kummer ◆SgHZJkrsn08e
11/11/17 15:59:50.83
>>573の修正
定義 239
L/K を分離代数的(>>248)な拡大(>>82)とする。
可解(>>572)なGalois拡大 E/K があり L ⊂ E となるとき L/K を準可解拡大と言う。
575:Kummer ◆SgHZJkrsn08e
11/11/17 16:10:41.76
命題 240
L/K を分離代数的(>>248)な拡大(>>82)とする。
L/K が準可解拡大(>>574)であるためには L/K のGalois閉包(>>569)が
可解(>>572)であることが必要十分である。
証明
必要性
L/K が準可解拡大であるとする。
L ⊂ E となる可解(>>572)なGalois拡大 E/K がある。
L/K のGalois閉包を M とすると M ⊂ E である。
>>488より G(M/K) は G(E/K)/G(E/M) に同型である。
よって、>>560より G(M/K) は可解(>>550)である。
十分性：
自明である。
証明終
576:Kummer ◆SgHZJkrsn08e
11/11/17 16:20:30.84
命題 241
L/K を準可解拡大(>>574)とする。
M を L/K の中間体(>>309)とする。
このとき、M/K と L/M はそれぞれ準可解拡大である。
証明
L ⊂ E となる可解(>>572)なGalois拡大 E/K がある。
M/K が準可解拡大であることは明らかである。
G(E/M) は G(E/K) の部分群であるから>>565より可解(>>550)である。
よって、L/M は準可解拡大である。
証明終
577:Kummer ◆SgHZJkrsn08e
11/11/17 16:37:36.82
命題 242
L/K を有限(>>87)な準可解拡大(>>574)とする。
任意の拡大(>>82) F/K に対して LF/F は準可解拡大である。
証明
E を L/K のGalois閉包(>>569)とする。
>>575より、E/K は可解(>>572)である。
>>325より E/K は有限であるから>>505より G(EF/F) は G(E/(E∩F)) と同型である。
G(E/(E∩F)) は G(E/K) の部分群であるから>>565より可解(>>550)である。
よって、EF/F は可解(>>572)である。
LF ⊂ EF であるから LF/F は準可解拡大である。
証明終
578:Kummer ◆SgHZJkrsn08e
11/11/17 16:39:05.38
>>577は L/K が有限でなくても成り立つ(>>506参照)。
579:Kummer ◆SgHZJkrsn08e
11/11/17 17:19:12.27
命題 243
L/K を拡大(>>82)とする。
M を L/K の中間体(>>309)とする。
M/K と L/M はそれぞれ有限(>>87)な準可解拡大であるとする。
このとき、L/K は準可解拡大である。
証明
>>138より、L/K は有限である。
F を M/K のGalois閉包(>>569)とする。
>>325より、F/K は有限である。
>>575より、F/K は可解(>>572)である。
L/M は有限な準可解拡大であるから、>>577より、FL/F は準可解拡大である。
>>138より、FL/F は有限である。
E/F を FL/F のGalois閉包(>>569)とする。
>>325より、E/F は有限である。
>>575より、E/F は可解(>>572)である。
よって、>>571より E/K は準可解拡大である。
L は E/K の中間体だから L/K は準可解拡大である。
証明終
580:１３２人目の素数さん
11/11/17 17:20:21.15
>>Kummer
頭の悪さの秘訣を教えて下さい。
貴方の頭の悪さは世界屈指だと思うので、是非とも参考にしたいです。
581:Kummer ◆SgHZJkrsn08e
11/11/17 17:23:55.86
命題 244
有限(>>87)な準可解拡大(>>574)全体の集合は正則(>>136)である。
証明
>>138に注意すれば、>>576と>>577と>>579より明らかである。
582:Kummer ◆SgHZJkrsn08e
11/11/17 17:44:02.27
定義 245
n ≧ 1 を Ω(>>82)の標数(>>214)で割れない整数とする。
L/K を拡大(>>82)とする。
L = K(α)、α^n ∈ K となる α ∈ L があるとき L/K を正則な単冪根拡大(>>512)と呼ぶ。
583:Kummer ◆SgHZJkrsn08e
11/11/17 17:45:56.23
定義 246
K = K_0 ⊂ K_1 ⊂ ．．．⊂ K_n = L を体(>>82)の増大列とする。
各 K_i/K_(i-1)、i = 1、．．．、n が正則(>>582)な単冪根拡大(>>512)であるとき
L/K を正則(>>582)な冪根拡大(>>513)と呼ぶ。
584:Kummer ◆SgHZJkrsn08e
11/11/17 17:52:05.78
命題 247
正則(>>582)な単冪根拡大(>>512)は準可解拡大(>>574)である。
証明
>>549より明らかである。
585:Kummer ◆SgHZJkrsn08e
11/11/17 17:53:54.90
>>583の修正
定義 246
K = K_0 ⊂ K_1 ⊂ ．．．⊂ K_n = L を体(>>82)の増大列とする。
各 K_i/K_(i-1)、i = 1、．．．、n が正則(>>582)な単冪根拡大(>>512)であるとき
L/K を正則な冪根拡大(>>513)と呼ぶ。
586:Kummer ◆SgHZJkrsn08e
11/11/17 17:56:14.93
命題 248
正則(>>585)な冪根拡大(>>512)は準可解拡大(>>574)である。
証明
>>584と>>581より明らかである。
587:Kummer ◆SgHZJkrsn08e
11/11/17 18:15:33.54
命題 249
K を体(>>82)とする。
f(X) ∈ K[X] を分離的(>>193)な多項式とする。
L を f(X) の K 上の最小分解体とする。
>>450より、L/K はGalois拡大(>>251)である。
L ⊂ E となる正則(>>585)な冪根拡大(>>513) E/K があるとする。
このとき L/K は可解(>>572)である。
証明
>>586より、E/K は準可解拡大(>>574)である。
よって、>>581より L/K も準可解拡大である。
L/K はGalois拡大であるから>>575より可解(>>572)である。
証明終
588:１３２人目の素数さん
11/11/17 18:31:06.75
くまさんは黙々とやってるな。
589:１３２人目の素数さん
11/11/17 18:51:13.87
>>数学嫌い
Kummer氏の邪魔をしない方がいい。
氏は望まれている。
590:１３２人目の素数さん
11/11/17 19:11:47.82
>>589
この馬鹿熊の多数の大間違いに気が付かないとか知障か
こいつは嘘デタラメばかり書いているんだよ
591:１３２人目の素数さん
11/11/17 19:12:08.85
>>Kummer
おい、間違い訂正して謝罪しろ
592:１３２人目の素数さん
11/11/17 19:19:59.32
>>589
自演乙
593:仙石６０
11/11/17 21:33:12.65
>>Kummer
謝罪したほうがいいのでは
594:仙石60サポータ
11/11/17 23:03:13.02
↑ こいつは仙石のにせもの かたり
595:Kummer ◆SgHZJkrsn08e
11/11/17 23:25:17.62
ここで線型代数の復習をする。
K を抽象体(>>197)とし、V を K 上の有限次元の線型空間とする。
u：V → V を K-線型写像とする。
End(V) を K-線型写像 V → V 全体のなす K-線型環(>>97)とする。
K[X] を K 上の１変数多項式環とする。
K-準同型 φ：K[X] → End(V) で φ(X) = u となるものが一意に定まる。
よって、φ により V は K[X]-加群と見なされる。
即ち f(X) ∈ K[X] と x ∈ V に対して f(X)x = φ(f)(x) = f(u)(x) と定義する。
X(x) = u(x) である。
V の次元を n とする。
V の K 上の基底を e_1、．．．、e_n とすると V は K[X]-加群として e_1、．．．、e_n で生成される。
よって、V は K[X]-加群として有限生成である。
任意の x ∈ V に対して x、u(x)、u^2(x)、．．．、u^n(x) は一次従属であるから
f(u) = 0 となる f(X) ∈ K[X]、f(X) ≠ 0 がある。
よって、V は K[X]-加群として捩れ加群(定義は次に述べる)である。
596:Kummer ◆SgHZJkrsn08e
11/11/17 23:28:32.88
定義 250
A を整域、M を A-加群とする。
x ∈ M が捩れ元であるとは、A の元 a ≠ 0 があり
ax = 0 となることである。
M のすべての元が捩れ元であるとき、M を捩れ加群(torsion module)という。
597:Kummer ◆SgHZJkrsn08e
11/11/17 23:33:10.90
>>596
代数的整数論000の652から引用
598:Kummer ◆SgHZJkrsn08e
11/11/18 01:23:43.01
定義 251
整域 A において、そのイデアルが常に単項となるとき A を 単項イデアル整域と呼ぶ。
599:Kummer ◆SgHZJkrsn08e
11/11/18 01:28:36.68
定義 252
A を整域とする。
A の元 a ≠ 0 は a で生成されるイデアル aA が素イデアルのとき素元と言う。
600:Kummer ◆SgHZJkrsn08e
11/11/18 01:34:00.22
定義 253
A を必ずしも可換でない環とし、M を A-加群とする。
x ∈ M に対して、ann(x) = {a ∈ A; ax = 0 } とおく。
これは A の左イデアルである。
Ann(M) = {a ∈ A； aM = 0 } とおく。
これは A の両側イデアルである。
601:Kummer ◆SgHZJkrsn08e
11/11/18 01:39:59.96
定義 254
A をNoether可換環とし、M を A-加群とする。
p を A の素イデアルとする。
ある x ∈ M があり p = ann(x) (>>600) となるとき
p を M の随伴素因子(associated prime ideal)という
M の随伴素因子全体を Ass(M) と書く。
602:Kummer ◆SgHZJkrsn08e
11/11/18 01:44:29.20
>>601の修正
定義 254
A をネーター可換環とし、M を A-加群とする。
p を A の素イデアルとする。
ある x ∈ M があり p = ann(x) (>>600) となるとき
p を M の随伴素イデアル(associated prime ideal)という
M の随伴イデアル全体を Ass(M) と書く。
603:Kummer ◆SgHZJkrsn08e
11/11/18 01:50:37.02
例
>>595において K を代数的閉体とする。
K[X]-加群としての V の随伴素イデアル(>>602)とは (X - λ) の形のイデアルである。
ここで V の元 0 ≠ x ∈ V があり、(u - λ)(x) = 0
即ち u(x) = λx となる。
よって λ は u の固有値である。
Ass(V) とは u の固有値の集合と見なせる。
604:Kummer ◆SgHZJkrsn08e
11/11/18 11:13:10.07
命題 255
A を 単項イデアル整域(>>598)とする。
p を A の素元(>>599)とする。
このとき、pA は極大イデアルである。
証明
pA が極大イデアルでないとする。
pA ⊂ aA となるイデアル aA で、pA ≠ aA、aA ≠ A となるものがある。
よって、p = ab となる b ∈ A がある。
よって、ab ∈ pA である。
pA は素イデアルで a ∈ pA ではないから b ∈ pA
よって、b = pc となる c ∈ A がある。
よって、p = ab = pac
p ≠ 0 だから 1 = ac
よって、aA = A となって仮定に反する。
証明終
605:Kummer ◆SgHZJkrsn08e
11/11/18 11:25:46.90
定義 256
A を整域とする。
a ≠ 0 を A の非可逆元とする。
A の非可逆元 b、c があり a = bc となるとき a は可約という。
A の元は可約でないとき既約という。
606:Kummer ◆SgHZJkrsn08e
11/11/18 12:13:50.39
命題 257
単項イデアル整域(>>598)においては素元(>>599)と既約元(>>605)は一致する。
証明
単項イデアル整域においては、既約元とは 0 でない極大イデアルを生成する元のことである。
任意の可換環において極大イデアルは素イデアルであるから、本命題は>>604より明らかである。
証明終
607:Kummer ◆SgHZJkrsn08e
11/11/18 12:33:51.79
>>605の修正
定義 256
A を整域とする。
a ≠ 0 を A の非可逆元とする。
A の非可逆元 b、c があり a = bc となるとき a は可約という。
A の非可逆元は可約でないとき既約という。
608:Kummer ◆SgHZJkrsn08e
11/11/18 12:48:30.12
命題 258
単項イデアル整域(>>598) A においては任意の 0 でない真イデアルは有限個(≧1)の素イデアルの積になる。
即ち、A の任意の 0 でない非可逆元は有限個の素元(>>599)の積になる。
証明
A において 0 でない真イデアルで有限個の素イデアルの積にならないものがあるとする。
A はNoether環だからそのようなイデアルの中で極大なものがある。
そのイデアルを I とする。
I は単項イデアルだから I = aA と書ける。
I は素イデアルでないから>>606より a は可約(>>605)である。
よって、A の非可逆元 b、c があり a = bc となる。
よって、 I = (bA)(cA) である。
I ⊂ bA、I ≠ bA だから bA は有限個の素イデアルの積になる。
同様に cA は有限個の素イデアルの積になる。
よって、I は有限個の素イデアルの積になり仮定に反する。
証明終
609:Kummer ◆SgHZJkrsn08e
11/11/18 13:03:05.83
命題 259(素元分解の一意性)
単項イデアル整域(>>598) A においては任意の 0 でない真イデアルは
有限個(≧1)の素イデアルの積として一意に表される。
即ち、A の任意の 0 でない非可逆元は素元(>>599)の積として可逆元の違いを除いて一意に表される。
証明
a を A の任意の 0 でない非可逆元とする。
>>608より、a = (p_1)．．．(p_n) となる素元 p_1、．．．、p_n がある。
a = (q_1)．．．(q_m) となる素元 q_1、．．．、q_n があるとする。
(q_1)．．．(q_m) は p_1 で割れ、p_1 は素元だから q_1、．．．、q_n のどれかが p_1 でわれる。
q_1 が p_1 で割れると仮定してよい。
>>606より、q_1 は既約だから q_1 = ε(p_1) となる。ここで ε は可逆元である。
よって、素元分解は可逆元の違いを除いて一意である。
証明終
610:Kummer ◆SgHZJkrsn08e
11/11/18 13:08:51.63
命題 260
A を 単項イデアル整域(>>598)とし、M を A-加群とする。
x ∈ M, x ≠ 0 とする。
p を A の素元(>>599)とし、px = 0 とする。
このとき、pA ∈ Ass(M) (>>602)である。
証明
x ≠ 0 だから ann(x) ≠ A である。
p ∈ ann(x) (>>600) だから pA ⊂ ann(x) である。
>>604より、pA は極大イデアルであるから pA = ann(x) である。
pA は素イデアルだから、pA ∈ Ass(M) である。
証明終
611:仙石６０
11/11/18 13:15:34.64
>>Kummer
うるせぇ、さもないと沈めるぞ！
612:１３２人目の素数さん
11/11/18 13:17:55.21
ああ、こりゃ、こりゃ。
613:１３２人目の素数さん
11/11/18 13:22:42.51
©®™
614:Kummer ◆SgHZJkrsn08e
11/11/18 13:25:07.85
命題 261
A を 単項イデアル整域(>>598)とし、M を A-加群とする。
x ∈ M, x ≠ 0 とする。
このとき、ann(x) を含む素イデアル pA で pA ∈ Ass(M) (>>602)となるものがある。
証明
ann(x) = aA とする。
x ≠ 0 だから aA ≠ A である。
>>608より、a = (p_1)．．．(p_n) となる素元 p_1、．．．、p_n がある。
n = 1 なら>>610より aA ∈ Ass(M) である。
n ≧ 2 とする。
(p_2)．．．(p_n)x = 0 とすると (p_2)．．．(p_n) が a で割れることになって矛盾。
よって、(p_2)．．．(p_n)x ≠ 0 である。
よって、>>610より (p_1)A ∈ Ass(M) である。
ann(x) = aA ⊂ (p_1)A である。
証明終
615:Kummer ◆SgHZJkrsn08e
11/11/18 13:41:10.70
命題 262
A を 単項イデアル整域(>>598)とし、M を A 上の有限生成捩れ加群(>>596)とする。
このとき、Ann(M) (>>600) ≠ 0 である。
証明
x_1、．．．、x_n を M の生成元とする。
各 i に対して、(a_i)(x_i) = 0 となる 0 ≠ a_i ∈ A がある。
a = (a_1)．．．(a_n) とすれば ax_i = 0、i = 1、．．．、n となる。
aM = 0 であるから 0 ≠ a ∈ Ann(M) である。
証明終
616:Kummer ◆SgHZJkrsn08e
11/11/18 13:46:57.44
記法
A を可換環とする。
A の素イデアル全体の集合を Spec(A) と書く。
617:猫 ◆MuKUnGPXAY
11/11/18 14:09:13.57
>>611
Kummer氏に抵抗したらワシが叩くゾ。エエんやな。
猫
618:Kummer ◆SgHZJkrsn08e
11/11/18 14:13:33.87
命題 263
A を 単項イデアル整域(>>598)とし、M ≠ 0 を A 上の有限生成捩れ加群(>>596)とする。
このとき、Ass(M) = {P ∈ Spec(A)； Ann(M) ⊂ P}
証明
P ∈ Ass(M) なら P = ann(x) となる x ∈ M がある。
Ann(M) ⊂ ann(x) だから Ann(M) ⊂ P
逆に、P を Ann(M) ⊂ P となる素イデアルとする。
Ann(M) = aA とする。
>>615より、aA ≠ 0 である。
M ≠ 0 であるから aA ≠ A である。
よって、a は 0 でない非可逆元である。
よって、>>608より、a = (p_1)．．．(p_n) となる素元 p_1、．．．、p_n がある。
a ∈ P だから p_i ∈ P となる p_i がある。
p_i = p_1 と仮定してよい。
>>604より、(p_1)A は極大イデアルだから (p_1)A = P である。
(p_2)．．．(p_n)M ≠ 0 だから (p_2)．．．(p_n)x ≠ 0 となる x ∈ M がある。
y = (p_2)．．．(p_n)x とおく。
y ≠ 0 で (p_1)y = 0 であるから>>610より P = (p_1)A ∈ Ass(M) である。
証明終
619:１３２人目の素数さん
11/11/18 14:13:51.40
>>617
体論 Part 1
ｽﾚﾘﾝｸ(math板)
620:１３２人目の素数さん
11/11/18 14:18:10.36
∬ ∬ ∬ ∬ ∬ ∬ +
+ 人 人 人 +
（＿_） （＿_） （＿_）
+ （＿＿） （＿＿） （＿＿） +
. + （ ＿＿ ） （ ＿＿ ） （ ＿＿ ） +
（ ´∀｀∩ （´∀｀∩） （ ´∀｀）
+ （( （つ ノ （つ 丿 （つ つ )） +
ヽ （ ノ （ ヽノ ） ） ）
（＿）し' し（＿） （＿）＿）
621:１３２人目の素数さん
11/11/18 14:20:46.98
,,. -‐'''''"""''''''ｰ- ､
／::::::::::::::::::::::::::::::::::::::::::＼
/::::::::::::::::;:::::::;ﾍ;::::::､:::::::::::::::::ヽ,
/::::::::::::;:::/!:::::/ | ヽ:::::i､::::;::::::::::::::i
＼:::::::::::::::::::::::::::::::::::::::::/ﾞ､ i:::::|:::::/:;/,|;;;/ | ヾ;;;|._i::|i::::::::::::::i /::::::::::::::::::::::::::::::::::/
＼::::::::::::::::::::::::::::::::;;/ ＼ l:::::|:::/'!/ _|/_｀ | ´ i_|. i;|`!::::::::::::| / ヽ:::::::::::::::::::::::::::::/
＼::::::::::::::::::::::;;r''",rｰｰｰヽ､. |:::::|::i. ,|r'r:::ヽ` ' 'r:::ヾ,l､|::::::::::::| / ﾞ ､::::::::::::::::::::::/
＼;;;;;;;;;;;r'''" ,,r'" ￣￣＼＼|::::::l:| i {:::::::::| {::::::::::i iﾞ|:::::::::| /￣＼ ﾞヽ､:::::::::::;/
ヽ、 /" ￣￣＼＼|::::::::| ! io:::::ﾉ io:::::::i l !:::::::::| ／￣ ＼ ﾞｰ-/
｀ヽ/ ￣￣＼ ＼|::::::::| `'''" `''''" |::::::::::|（／￣ ﾞ､ ./
/ ､__ ;r'"ﾞヽ､＼.|:::::::::l ' /:::::::::::|（／￣ ﾞ､ノ
/ ／" ＼ﾉ|::::::::::ヽ、 ▽ ／:::::::::::::|（／￣ﾞ､ ﾞ､
/ / ﾞ:ｰ★ｰ-､::;`'':;,､, ,..ｨ､';r-ｰ★ｰ:/ ﾞ､ ﾞ､
/ / ﾞ: ＼ノ ｀`''"´ ／ / ﾞ､ ,r'"ヽ
ハ､ / ﾞ: ＼ ／ ./ ﾞ､r'"::::::::::ﾞi
/::::::::ﾞｰ/ ﾞ､ ｰ-ｰ' / ﾞ､::::::::::::::i
/:::::::::::::/ ﾞ: / ﾞ､:::::::::::l
622:１３２人目の素数さん
11/11/18 14:21:07.71
/:::::::::::::/ ﾞ: ゛,. ｡ / ﾞ､:::::::::l
./::::::::::::::/ ﾞ､ .,∧,.,.. ､ / !:::::::::l
/:::::::::::::::/ ヽ . Ｙ /∧＼,.゛ Ｙ ／ !:::::::::l
./:::::::::::::::::l ヽ .゛;//.υ＼＼゛, / !:::::::::l
l:::::::::::::::::::l ヽ ,/,/ * ,,＼＼.／ l:::::::::l
ﾞ､::::::::::::::::l （,.（゛/λヽ,.,）,,）゛,. .l:::::::::l
. ﾞ､:::::::::::::l ＼＼νﾉ,/゜/,. l:::::::::l
ﾞ､::::::::::l ..＼＼./,./,. l::::::::::!
ﾞ､:::::::l ..＼.゛,/,...゛ l::::::::/
ﾞｰ-ﾞ. ,ν .!-ｰ'"
ﾞ:、 * /
ﾞヽ Y _／
｀ヽ､ /ﾞ､ _,r'"
｀ﾞヽ､ ／.:::..ヽ _,,r'"
｀ﾞｰ-､_＿＿＿_／.:::::::::::::..＼_＿＿＿＿_,,,r-ｰ''"
623:１３２人目の素数さん
11/11/18 14:24:54.60
電波テロ装置の戦争(始)
エンジニアと参加願います公安はサリンオウム信者の子供を40歳まで社会から隔離している
オウム信者が地方で現在も潜伏している
それは新興宗教を配下としている公安の仕事だ
発案で盗聴器を開発したら霊魂が寄って呼ぶ来た
<電波憑依>
スピリチャル全否定なら江原三輪氏、高橋佳子大川隆法氏は、幻聴で強制入院矛盾する日本宗教と精神科
<コードレス盗聴>
2004既に国民20%被害250～700台数中国工作員3～7000万円2005ソウルコピー2010ソウルイン医者アカギ絡む<盗聴証拠>
今年５月に日本の警視庁防課は被害者SDカード15分を保持した有る国民に出せ!!<創価幹部>
キタオカ1962年東北生は二十代で2人の女性をレイプ殺害して入信した創価本尊はこれだけで潰せる<<<韓国工作員鸛<<<創価公明党 <テロ装置>>東芝部品)>>ヤクザ<宗教<同和<<公安<<魂複<<官憲>日本終Googl検索
624:Kummer ◆SgHZJkrsn08e
11/11/18 14:27:46.37
定義 264
A を必ずしも可換でない環とし、M ≠ 0 を A-加群とする。
M が M と 0 以外の A-部分加群を持たないとき M を単純または既約と言う。
625:Kummer ◆SgHZJkrsn08e
11/11/18 14:31:32.43
定義 265
A を必ずしも可換でない環とし、M を A-加群とする。
M の A-部分加群の列 M = M_0 ⊃ M_1 ⊃ ．．． ⊃ M_n = 0 があり、
各 M_i(i = 1、．．．、n) は M_(i-1) の A-部分加群であり、M_(i-1)/M_i が単純(>>624) であるとき
この列を M の組成列(composition series)と言う。
各 M_(i-1)/M_i をこの組成列の組成因子(composition factor)または因子と呼ぶ。
n をこの組成列の長さと呼び、n = length(M) と書く。
626:Kummer ◆SgHZJkrsn08e
11/11/18 14:36:01.03
命題 266
A を必ずしも可換でない環とし、M を A-加群とする。
N と L を M の A-部分加群とする。
このとき、L/(L ∩ N) は (L + N)/N に同型である。
証明
>>556と同様である。
627:Kummer ◆SgHZJkrsn08e
11/11/18 14:37:59.13
命題 267
A を必ずしも可換でない環とし、M を A-加群とする。
M が長さ n の組成列(>>625)を持てば、M の任意の A-部分加群 N ≠ M は、
長さ ≦ n - 1 の組成列を持つ。
証明
>>557と同様である。
628:Kummer ◆SgHZJkrsn08e
11/11/18 14:41:33.87
命題 268(Jordan-Hoelderの定理)
A を必ずしも可換でない環とし、M を A-加群とする。
M = M_0 ⊃ M_1 ⊃ ．．． ⊃ M_n = 0 を M の組成列(>>625)とする。
このとき、M の任意の組成列の長さは n であり、その組成因子(>>625)の列は、
順序を別にして列 (M_(i-1)/M_i)、i = 1、．．．、n と同型である。
証明
>>561と同様である。
629:Kummer ◆SgHZJkrsn08e
11/11/18 15:03:42.85
命題 269
A を必ずしも可換でない環とし、M を A-加群とする。
H_1 ⊃ H_2 を M のA-部分加群とする。
(H_1)/(H_2) は単純(>>624) であるとする。
N を M のA-部分加群とする。
このとき、(H_1 + N)/(H_2 + N) は単純であるか H_1 + N = H_2 + N である。
証明
>>558と同様である。
630:Kummer ◆SgHZJkrsn08e
11/11/18 15:06:26.53
>>625
便宜上 M = 0 のとき M は長さ 0 の組成列を持つと考える。
631:Kummer ◆SgHZJkrsn08e
11/11/18 15:12:03.51
命題 270
A を必ずしも可換でない環とし、M を A-加群とする。
N をその A-部分加群とする。
M が組成列(>>625)を持てば、N と M/N も組成列を持つ。
このとき、length(M) = length(N) + length(M/N) である。
証明
N が組成列を持つことは>>627で証明されている。
M/N が組成列を持つことは>>629より直ちに得られる。
length(M) = length(N) + length(M/N) は自明である。
証明終
632:Kummer ◆SgHZJkrsn08e
11/11/18 15:13:43.46
命題 271
A を必ずしも可換でない環とし、M を A-加群とする。
N をその A-部分加群とする。
N と M/N が組成列を持てば M も組成列をもつ。
このとき、length(M) = length(N) + length(M/N) である。
証明
自明である。
633:Kummer ◆SgHZJkrsn08e
11/11/18 15:22:25.39
命題 272
A を必ずしも可換でない環とし、M_i、i = 1、．．．、n を A-加群とする。
各 M_i が組成列(>>625)を持てば M = M_1 + ．．． + M_n も組成列をもつ。
さらに length(M) = Σlength(M_i) である。
証明
n に関する帰納法を使う。
n = 1 の場合は自明である。
n ≧ 2 とする。
N = M_1 + ．．． + M_(n-1) とおく。
帰納法の仮定から N は組成列を持ち、length(N) = length(M_1) + ．．． + length(M_(n-1) である。
M/N は M_n に同型である。
よって、>>632より、M は組成列をもち、length(M) = length(N) + length(M_n) = Σlength(M_i)
証明終
634:Kummer ◆SgHZJkrsn08e
11/11/18 15:59:23.19
命題 273
A を 単項イデアル整域(>>598)とする。
I ≠ 0 を A の任意のイデアルとする。
このとき I ⊂ J となる A のイデアル J の個数は有限である。
証明
I = A のときは本命題の主張は自明であるから I ≠ A とする。
I = aA、J = bA とすると、a は b で割れるから a = bc となる c ∈ A がある。
よって、I = J(cA) である。
>>609より、I は素イデアルの積として一意に分解される。
I = (P_1)^(n_1)．．．(P_r)^(n_r) とする。
ここで、各 n_i ≧ 1、各 P_i は素イデアルであり、i ≠ j のとき P_i ≠ P_j とする。
J を I ⊂ J、J ≠ A となるイデアルとする。
>>609より、J は素イデアルの積として一意に分解される。
J = (Q_1)^(m_1)．．．(Q_s)^(m_s) とする。
ここで、各 m_i ≧ 1、各 Q_i は素イデアルであり、i ≠ j のとき Q_i ≠ Q_j とする。
I = J(cA) であるから各 Q_k はどれかの P_i に一致し、n_i ≧ m_k である。
よって、I ⊂ J となる A のイデアル J の個数は有限である。
証明終
635:Kummer ◆SgHZJkrsn08e
11/11/18 16:01:28.86
命題 274
A を 単項イデアル整域(>>598)とする。
I ≠ 0 を A の任意のイデアルとする。
このとき A/I は A-加群として組成列(>>625)を持つ。
証明
>>634より明らかである。
636:Kummer ◆SgHZJkrsn08e
11/11/18 16:17:35.63
定義 275
A を必ずしも可換でない環とする。
A 上の加群で１個の元から生成されるものを巡回加群と言う。
637:Kummer ◆SgHZJkrsn08e
11/11/18 16:25:20.89
命題 276
A を 単項イデアル整域(>>598)とする。
M を A-巡回加群とし、x をその生成元とする。
このとき M は A/ann(x) (>>600)に同型である。
証明
A の元 a に ax を対応させることにより A-準同型 f：A → M が得られる。
f は全射で Ker(f) = ann(x) である。
よって、M は A/ann(x) に同型である。
証明終
638:Kummer ◆SgHZJkrsn08e
11/11/18 16:36:02.40
命題 277
単項イデアル整域(>>598) A 上の任意の有限生成捩れ加群(>>596) M は組成列(>>625)を持つ。
証明
x_1、．．．、x_n を M の生成元とする。
A(x_1)、．．．、A(x_n) の直和加群を N とする。
N の元 (y_1、．．．y_n) に (y_1) + ．．． + (y_n) ∈ M を対応させることにより
A-準同型 f：N → M が得られる。
f は全射である。
よって、M は N/Ker(f) に同型である。
>>637と>>635より、各 A(x_i) は組成列を持つ。
よって、>>633より N も組成列を持つ。
よって、>>631より、M は組成列を持つ。
証明終
639:１３２人目の素数さん
11/11/18 18:47:52.39
きゅうけい
|:::::::::::::::
ﾟＹ´うんこ｀Ｙﾟ ::::::::::::
（´・ω・`) ::::::::
◎ー） / ＼:::::::::
| | (⌒) (⌒二 )::::::::::::
~~~ ／⌒ヽ(￣､ ヽ＿＿＿
/ Lヽ ＼ノ＿__
ﾞー――（＿_）---
次ページ最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
4695日前に更新/500 KB
担当:undef