A 回答 (6件)
- 最新から表示
- 回答順に表示
No.6
- 回答日時:
p群Gの位数をp^nとすると
指数pの部分群Hの位数はp^(n-1)
Hに属さない元を
a∈G-H
とする
Hの指数はpだから
a^p∈H
だから
a^pから生成される巡回群を
(a^p)
とすると
(a^p)⊂H
(a^p)≠Hと仮定すると
Hの位数はp^(n-1)だから
(a^p)の位数p^(n-2)以下になる
Hの生成元b∈Hに対して
b^pから生成される巡回群を
(b^p)
とすると
(b^p)はHのただひとつの位数p^(n-2)の部分群
だから
a^p∈H-(b^p)と仮定すると
a^pの位数はp^(n-1)となってp^(n-2)以下である事に矛盾するから
a^p∈(b^p)だから
(a^p)⊂(b^p)⊂H
aとb^pから生成される群を
K=(a,b^p)
とすると
(b^p)⊂K⊂G
a∈K-(b^p)だから
(b^p)≠K
b∈H-(b^p)⊂H-(a^p)=H-(a)
だから
b=(a^j)(b^(kp))となるj,kがあると仮定すると
a^j=b^(1-kp)∈H-(b^p)となって
(a)∩H=(a^p)⊂(b^p)
に矛盾するから
b∈H-Kだから
b∈G-Kだから
K≠G
|(b^p)|=p^(n-2)<|K|<p^n=|G|
だから
Kの位数はp^(n-1)
だから
Kの指数はp
a∈K-H
だから
K≠H
だから
指数pの部分群がHとKの2個あるから
指数pの部分群がただひとつしかない事に矛盾するから
(a^p)=H
a^pの位数はp^(n-1)だから
(a^p)^{p^(n-1)}=a^(p^n)=1
aの位数はp^nだから
(a)=G
∴
Gは巡回群である
No.5
- 回答日時:
p群Gの位数をp^nとすると
指数pの部分群Hの位数はp^(n-1)
Hに属さない元を
a∈G-H
とする
Hの指数はpだから
a^p∈H
だから
a^pから生成される巡回群を
(a^p)
とすると
(a^p)⊂H
(a^p)≠Hと仮定すると
Hの位数はp^(n-1)だから
(a^p)の位数はp^(n-2)以下になる
Hの生成元b∈Hに対して
b^pから生成される巡回群を
(b^p)
とすると
(b^p)はHのただひとつの位数p^(n-2)の部分群
だから
(a^p)⊂(b^p)⊂H
aとb^pから生成される群を
K=(a,b^p)
とすると
(b^p)⊂K⊂G
a∈K-(b^p)だから
(b^p)≠K
b∈G-Kだから
K≠G
|(b^p)|=p^(n-2)<|K|<p^n=|G|
だから
Kの位数はp^(n-1)
だから
Kの指数はp
a∈K-H
だから
K≠H
だから
指数pの部分群がHとKの2個あるから
指数pの部分群がただひとつしかない事に矛盾するから
(a^p)=H
a^pの位数はp^(n-1)だから
(a^p)^{p^(n-1)}=a^(p^n)=1
aの位数はp^nだから
(a)=G
∴
Gは巡回群である
No.4
- 回答日時:
p群Gの
指数pの部分群H
に対して
Hに属さない元を
a∈G-H
とする
aから生成される巡回群を
(a)
とする
(a)≠Gと仮定すると
(a)⊂K⊂G
となる
指数pの部分群Kがある
a∈K-H
だから
K≠H
だから
指数pの部分群がHとKの2個あるから
指数pの部分群がただひとつしかない事に矛盾するから
(a)=G
だから
∴
Gは巡回群である
No.3
- 回答日時:
> Gの位数に関する帰納法
それは、言葉遣いがよくないなあ。
Gがp-群であれば、Gの位数はp^n(nは自然数)。
位数そのものではなく、nについての帰納法でしょう?
No.2
- 回答日時:
ありがとうございます。
最初の部分だけで構わないので省略せず書いていただけると助かります。いきなり帰納法の仮定からといわれても分からないです…。何の本のどこに書いてあるのでしょうか?お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 p群 1 2022/09/19 13:45
- 数学 代数の問題がわからないので教えていただきたいです。 Gを位数51の群とする。 (1)Gは巡回群になる 2 2023/02/08 18:43
- 数学 3次対称群S3はシロー部分群で因数分解できない この問題の証明が分かりません。できる範囲で教えていた 1 2022/12/13 13:10
- 数学 群の問題です。 2 2023/06/06 18:15
- 数学 代数学 大学数学 S,Tが群Gの部分群で、S ∪ TがGの部分群であると仮定する。このときS⊂Tまた 2 2022/11/27 19:42
- 数学 主組成列 2 2022/08/19 13:21
- 数学 大学数学の代数の問題です。 ・HをGの部分群とする。 (1)任意のg⊂Gに対し|gH|=|H|を示せ 3 2022/07/06 12:37
- 人類学・考古学 人類は数万年に及ぶ生きるノウハウを遺伝子に刻んでいる、と思ってます。 我々は生き延びる為に群れを必要 5 2023/06/27 09:24
- 企画・マーケティング ベンチマーキングって、なんですか? 3 2023/06/06 09:50
- 数学 大学数学の代数の問題です。 二面体群D4={e,σ,σ^2,σ^3,τ,στ,σ^2τ,σ^3τ}を 1 2022/07/13 14:49
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
雪江代数学1の120ページの赤線...
-
交代群A4が位数の部分群を持た...
-
大学受験、数学の問題 やさしい...
-
和集合が部分群になる条件
-
コンパクト集合とハイネボレル...
-
背ネーム書かないといけないん...
-
時間について 60分は1時間です...
-
「高校生クイズ。 何問目」。「...
-
高齢者の夜の営みで悩んでます
-
【男性の方回答お願いします】 ...
-
白玉5個、赤玉3個が入っている...
-
高校数学です。 赤玉3個と白玉5...
-
0.75時間が45分というのはどう...
-
バッドニュースファースト(フ...
-
イエスユアハイネスってどうい...
-
バイトのシフト変更のメールが...
-
袋の中に1と書かれたカードが1...
-
高校生で5日間の自宅謹慎(停学...
-
熟語の構成 「必要」と同じ構成...
-
未来と将来を漢文的に説明して...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
√の問題
-
軌跡の問題の「逆」の記述の仕方
-
数Aを教えてください…! 整数36...
-
この赤線で引いた部分の求め方...
-
対称群
-
数学Aで集合の要素の個数の問...
-
位数素数と部分群の数について
-
写真の数学の質問です。 逆が成...
-
数学 写真はある回転体の見取り...
-
位数45の群が位数9の正規部分群...
-
青チャート数1aの基本例題52が...
-
Gを素数位数の群とする。このと...
-
ゼミの発表の仕方(数学)
-
ガウス記号の問題の解き方が分...
-
重複組み合わせ
-
和集合が部分群になる条件
-
コンパクト集合とハイネボレル...
-
交代群A4が位数の部分群を持た...
-
代数学の問題なのですが、
-
グラフ理論をわかりやすく書い...
おすすめ情報
帰納法の仮定より指数pの部分群は巡回群である。これがただひとつしかなければGは巡回群である。HとKを指数pの部分群とする。中略。位数pの部分群が2こ以上ある。矛盾。Gは巡回群。
質問は最初の部分にでてくるので全体とは関係ないとおもいます。中略の部分群が2こ以上あるの部分の証明は長いです。
Gの位数に関する帰納法による証明です。最初の部分は省略してないです
(a)⊂K⊂Gとなる指数pの部分群Kはどのように求めるのですか
「だから(a^p)⊂(b^p)⊂H」で
(a^p)⊂H、 (b^p)⊂Hから (a^p)⊂(b^p)⊂Hの大中小の包含関係がでてくるのですか。
「b∈G-KだからK≠G」でb∈G-Kはどうしてですか。