[過去ﾛｸﾞ] 分からない問題はここに書いてね 470 (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

989: 2022/03/03(木)15:55 ID:5ZtsJXBs(2/2) AA×
>>830


[240|320|480|600|原寸|JPG|べ|ﾚｽ栞|ﾚｽ消]
989: [] 2022/03/03(木) 15:55:53 ID:5ZtsJXBs >>830 G を群とする。 #G = p^n とする。 すると、 Z(G) ≠ {e} が成り立つ。 このことを使って、 G はすべての i ∈ {0, 1, …, n} に対して、位数が p^i であるような部分群を持つことを示せ。 --------------------------------------------------------------------------------- p を任意の素数とし、 #G = p^n とする。 n = 0, 1 のときには、明らかに、上の主張は成り立つ。 k ≧ 2 とする。 n = k - 1 のときには上の主張が成り立つと仮定する。 n = k の場合を考える。 #Z(G) | #G = p^k かつ 1 < #Z(G) だから、 #Z(G) = p^l, l ≧ 1 である。 Z(G) はアーベル群であり、 p | #Z(G) だから、アーベル群に対するコーシーの定理により、位数が p である元 a を Z(G) は含む。 i ∈ {1, …, k} とする。 φ : G → G/<a> を標準的な全射準同型とする。 #(G/<a>) = p^{k-1} だから、帰納法の仮定により、 G/<a> は位数が p^{i-1} であるような部分群 H' を持つ。 群の対応定理により、 H := f^{-1}(H') と置くと、 H は G の部分群であり、 H/Ker φ = H' が成り立つ。 Ker φ = <a> だから、 H/<a> = H' が成り立つ。 #(H/<a>) = #H / #<a> = #H' = p^{i-1} ∴ #H = #<a> * p^{i-1} = p^i 以上より、 G は位数が p^i であるような部分群を持つ。 G は単位群を部分群に持つから、 i = 0 のときにも、 G は位数が p^i であるような部分群を持つ。 http://rio2016.5ch.net/test/read.cgi/math/1630085480/989
を群とする とする すると が成り立つ このことを使って はすべての に対して位数が であるような部分群を持つことを示せ を任意の素数とし とする のときには明らかに上の主張は成り立つ とする のときには上の主張が成り立つと仮定する の場合を考える かつ だから である はアーベル群であり だからアーベル群に対するコーシーの定理により位数が である元 を は含む とする を標準的な全射準同型とする だから帰納法の仮定により は位数が であるような部分群 を持つ 群の対応定理により と置くと は の部分群であり が成り立つ だから が成り立つ 以上より は位数が であるような部分群を持つ は単位群を部分群に持つから のときにも は位数が であるような部分群を持つ

---

上下前次1-新書関写板覧索設栞歴

---

あと 13 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.038s