毎度お世話になっております。
前回教えていただいたところに関しては大変助かりました。ひいこら言いながら教科書を読んでいるわけですが、またわからないところが出てきました。またお願いします。
今度はアーベル群です。有限アーベル群に関して巡回群に直積分解するために、次の補題二つを証明しようとしています。
15.2 有限アーベル群のAの元の最大位数をeとすれば、Aの任意の元の位数はeの約数である。
15.3 aを有限アーベル群Aの最大位数の元とすれば、<a>はAの直積因子である。
で、次が15.3の証明なのですが、<a>∩<c>=1となる、位数が素数pの元cを探したあとで、cを使って剰余群を作りそこから数学的帰納法で証明しようとしています。剰余群を作るところから。
A^*=A/<c>において、x∈Aを含む剰余類をx^*で表す(ということは、集合のアスタリスクと元のアスタリスクは微妙に使用方法が違います)<x^*>=<x><c>/<c>なので、これは<x>/<x>∩<c>と同型。(同型定理より)
従って上の式で位数を取ると、O(x^*)|O(x)が導ける。 特にaについてはO(a^*)=O(a)=e a^*はA^*の最大位数の元。A^*に帰納法の仮定を適用して、A^*=<a^*>×H^*と直積に分解される。ここでHは<c>を含む部分群で、H^*={h^*|h∈H}である。この時<a>∩H⊂<c>,したがって<a>∩H=<c>∩<a>∩H=1となり,<a>H=<a>×H.これとAの位数を比較してA=<a>×Hを得る。
このうち、
この時<a>∩H⊂<c>,
とあるのですが、ここの理由がわかりません。多分*に関する事項を利用して示すのでしょうが、どうにもこうにも。今日二人で頭を絞ったんですが結局わかりませんでした。なぜこれが真だと導かれたのか説明お願いします。わからないところあれば補足します。
なにとぞよろしくお願いします。
No.2ベストアンサー
- 回答日時:
1を訂正しておきます。
<a>∩Hの元yをとります。
y^*∈<a^*>∩H^*=1となります。
よって、y^*はA^*の単位元となる。
<y^*>=<y><c>/<c>=<c>となりますから
当然y∈<c>となります。
y^*においてもう一度巡回群を取るところが味噌でしょうか。
直積分解の条件も上手く利用するんですね。あぁ、思いつかなんだ。
どうもありがとうございます。すっきりいたしました。
これからもお願いします。
No.1
- 回答日時:
<a>∩Hの元yをとります。
y^*∈<a^*>∩H^*=1となります。
よって、y^*はA^*の単位元となる。
y^*=<y^*>=<y><c>/<c>=<c>となりますから
当然y∈<c>となります。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 p群G 6 2022/10/07 18:30
- 数学 位数18のアーベル群は同型を除いて何個あるか答えよ。 わからないので考え方や解き方を教えてください。 1 2023/02/08 18:35
- 数学 大学数学の代数の問題です。 ・HをGの部分群とする。 (1)任意のg⊂Gに対し|gH|=|H|を示せ 3 2022/07/06 12:37
- 数学 三角関数の極限を「はさみうちの原理」で考える時の不等号について 1 2022/07/22 01:13
- 数学 位数36のアーベル群で非同型なものを全て書出せ 大学数学の代数学の問題ですがどなたか教えて貰えますか 3 2023/01/14 18:51
- 数学 『数学的帰納法のトリセツ』 4 2022/06/06 07:34
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 数学 p群 1 2022/09/19 13:45
- その他(データベース) 4進数風なバーコードは何ですか? 2 2022/11/28 23:33
- 統計学 t検定を繰り返してはいけない理由について教えて下さい。 2 2022/05/15 12:37
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
有理数と無理数が無限個あること
-
証明終了の記号。
-
数学の「証明」のときなどの接...
-
rankに関する証明問題です。
-
数学の証明問題で、「証明終了」...
-
無理数って二乗しても有理数に...
-
よって・ゆえに・したがって・∴...
-
素数の性質
-
じゃらんで旅行予約をしたので...
-
原始関数の存在性の証明につい...
-
兄弟の子どもの養子縁組は可能...
-
巡回群と巡回群の直積は巡回群?
-
liman=a(n→∞)、limbn=b(n→∞)な...
-
婿養子です、妻と離婚して妻の...
-
大学の二次試験で・・・
-
次元定理以外で
-
「証明証」と「証明書」はどう...
-
夫が亡くなった後の義理家族と...
-
数学Aの整数の性質について質問...
-
心霊漫画家で新興宗教団体の教...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
学割定期を親に買ってきてもら...
-
(4^n)-1が3の倍数であることの...
-
再婚、奨学金
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
元夫が彼女の存在を隠す理由
-
成人した後両親が離婚し別の人...
-
大学の給付型奨学金について 現...
-
直角三角形の性質
-
通学証明書の契印とは
-
無理数って二乗しても有理数に...
おすすめ情報