下記の可換群でどれとどれとが同型,どれとどれとが非同型であるとどうやって判定すればいいのでしょうか?
位数が400である可換群は
Z_{2^4}(+)Z_{5^2},
Z_2(+)Z_2(+)Z_2(+)Z_2(+)Z_5(+)Z_5,
Z_2(+)Z_2(+)Z_{2^2}(+)Z_5,
Z_2(+)Z_{2^3}(+)Z_5(+)Z_5.
Z_{2^2}(+)Z_{2^2}(+)Z_5(+)Z_5
Z_{2^4}(+)Z_5(+)Z_5,
Z_2(+)Z_2(+)Z_2(+)Z_2(+)Z_{5^2},
Z_2(+)Z_2(+)Z_{2^2}(+)Z_{5^2},
Z_2(+)Z_{2^3}(+)Z_{5^2},
Z_{2^2}(+)Z_{2^2}(+)Z_{5^2},
Z_{2^4}(+)Z_{5^2}
があると思います。
位数32である可換群は
Z_2(+)Z_2(+)Z_2(+)Z_2(+)Z_2,
Z_2(+)Z_2(+)Z_2(+)Z_{2^2},
Z_2(+)Z_2(+)Z_{2^3},
Z_2(+)Z_{2^2}(+)Z_{2^2},
Z_2(+)Z_{2^4},
Z_[2^2}(+)Z_{2^3},
Z_{2^5}
があると思います。
Z_{p^2}(+)Z_{p^3}の位数{p^2}の部分群は
({0mod{p^2}},Z_{p^2}),(Z_p,Z_p),(Z_{p^2},{0mod{p^3}})があると思います。
No.5ベストアンサー
- 回答日時:
>m1 | m2 |...| mrはどういう意味でしょうか?
これはお察しの通りです。
>これら二つを組み合わせるとはどういうことでしょうか?
たとえば位数135の可換群は、1つめにより同型を除き
Z_{27} + Z_{5}
Z_{9} + Z_{3} + Z_{5}
Z_{3} + Z_{3} + Z_{3} + Z_{5}
で尽くされます。ある事実に注目すれば、それぞれ
Z_{135}
Z_{3} + Z_{45} = Z_{9} + {15}
Z_{3} + Z_{3} + Z_{15}
と同型であることがわかります。
このある事実は1つめから2つめを示すときにも使われますが、それが何であるかは既に答えも書いてあるので自分で考えてみてください。
数字をよく観察すれば絶対に分かります。
大変ありがとうございます。
>たとえば位数135の可換群は、1つめにより同型を除き
1つめとは何を指しているのでしょうか?
Z_{12} = Z_{2^2} + Z_{3}
Z_{6} + Z_{2} = Z_{2}^2 + Z_{3}
Z_{27} + Z_{5}=Z_{135}
Z_{9} + Z_{3} + Z_{5}=Z_{3} + Z_{45} = Z_{9} + {15}
Z_{3} + Z_{3} + Z_{3} + Z_{5}=Z_{3} + Z_{3} + Z_{15}
という関係になるんですよね。
「G = Z^n (+) Z_m1 (+)...(+) Z_mr という表示が一意
(ただしm1 | m2 |...| mrである)」
つまり,
Gの直和分解はG = Z^n (+) Z_m1 (+)...(+) Z_mr(ただしm1 | m2 |...| mrである) …(*) のものに限り,
それ以外の場合(m1 | m2 |...| mrとならない場合)は必ず(*)の形の直和分解と同型になる。
という主張なのですね。
Z_{12} = Z_{2^2} + Z_{3}
Z_{6} + Z_{2} = Z_{2}^2 + Z_{3}
Z_{27} + Z_{5}=Z_{135}
Z_{9} + Z_{3} + Z_{5}=Z_{3} + Z_{45} = Z_{9} + {15}
Z_{3} + Z_{3} + Z_{3} + Z_{5}=Z_{3} + Z_{3} + Z_{15}
から非同型のもの(代表直和分解とでも呼びましょうか)を選び出すと
位数12では
Z_12は,m1 | m2 |...| mrの確かめようが無いからとりあえず代表決定。
Z_{2^2} + Z_{3}は3|4ではなので代表落ち。
Z_{6} + Z_{2}は2|6となるので代表決定。
Z_{2}^2 + Z_{3}は3|4ではないので代表落ち。
Z_2(+)Z_2(+)Z_3は2|3とはならないので代表落ち。
よって 位数12の(非同型な)可換群はZ_12,Z_6(+)Z_2の2名。
位数135では
Z_{135}は無条件で代表決定。
Z_{27} + Z_{5}は5|27でないので代表落ち。
Z_{9} + Z_{3} + Z_{5}も3|5ではないので代表落ち。
Z_{3} + Z_{45}は3|45なので代表決定。
Z_{9} + {15}は9|45ではないので代表落ち。
Z_{3} + Z_{3} + Z_{3} + Z_{5}は3|5ではないので代表落ち。
Z_{3} + Z_{3} + Z_{15}は3|3|15なので代表決定。
よって位数12の(非同型な)可換群はZ_135,Z_3(+)Z_45,Z_3(+)Z_3(+)_Z_15の3名。
と「G = Z^n (+) Z_m1 (+)...(+) Z_mr という表示が一意(ただしm1 | m2 |...| mrである)」
を用いて求めたつもりですがこのような解釈でよろしいでしょうか?
No.6
- 回答日時:
>1つめとは何を指しているのでしょうか?
分解Z^n (+) Z_(p1^r1) (+)...(+) Z_(pm^rm)により分類されること、です。
同型類の代表は
Z_{27} + Z_{5}
Z_{9} + Z_{3} + Z_{5}
Z_{3} + Z_{3} + Z_{3} + Z_{5}
で既に尽くされていて、これと同型な別の表示を求めるのにいくらか簡単な結果を使うことになります。
質問者さんも概ね分かってきておられるようなので私からの回答はこの辺にさせていただきます。
お読みいただきありがとうございました。
No.4
- 回答日時:
あくまでも素数ベキによる剰余の和へ分解したときの表示での話です。
そうでない場合には、
アーベル群の基本定理の別の定式化として、
G = Z^n (+) Z_m1 (+)...(+) Z_mr という表示が一意
(ただしm1 | m2 |...| mrである)
というものがあるので、これら二つを組み合わせれば
Z_{12} = Z_{2^2} + Z_{3}
Z_{6} + Z_{2} = Z_{2}^2 + Z_{3}
などが判定できます。
ご回答大変ありがとうございます。
> あくまでも素数ベキによる剰余の和へ分解したときの表示での話です。
> そうでない場合には、
> アーベル群の基本定理の別の定式化として、
> G = Z^n (+) Z_m1 (+)...(+) Z_mr という表示が一意
> (ただしm1 | m2 |...| mrである)
m1 | m2 |...| mrはどういう意味でしょうか?
m_rをm_{r-1}が割り切れ,m_{r-1}をm_{r-1}が割り切れ、、、という意味でしょうか?
> というものがあるので、これら二つを組み合わせれば
> Z_{12} = Z_{2^2} + Z_{3}
> Z_{6} + Z_{2} = Z_{2}^2 + Z_{3}
> などが判定できます。
これら二つを組み合わせるとはどういうことでしょうか?
是非,ご解説願います。m(_ _)m
No.3
- 回答日時:
G =(群同型) Z^n (+) Z_(p1^r1) (+)...(+) Z_(pm^rm)
と分解したとき、(n,p1^r1,...,pm^rm)という表示が一意なので、
表示が異なれば同型ではありません。
例えば質問者さんの2つの例では全て非同型です。
>表示が異なれば同型ではありません。
Z_{2^2・3}とZ_{2^2}(+)Z_3は表示は異なりますが同型ですよね?
Z_96とZ_{2^5}(+)Z_3は双方とも最大位数96の元(1mod96と(1mod2^5,1mod3))を持つので同型なのですね。
一方,Z_{2^4}(+)Z_2(+)Z_3は位数96の元を持たないのでZ_96とは非同型となるのでしょうか?
No.2
- 回答日時:
アーベル群の基本定理とは、有限生成アーベル群はいくつかのZやZ_(p^r)の直和と同型である、というものです。
同型なものの表示が一意なので、同型かどうかは一目瞭然です。
低い位数のもので実際に表をかいてみると直感的にも分かるかと思います。
参考URLもご覧下さい。
参考URL:http://en.wikipedia.org/wiki/List_of_small_groups
この回答への補足
ありがとうございます。
いろいろ考えてみましたがどうしても分かりません。
是非,同型・非同型の判定法をご教示下さい。m(_ _)m
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 代数の問題がわからないので教えていただきたいです。 Gを位数51の群とする。 (1)Gは巡回群になる 2 2023/02/08 18:43
- 数学 加群におけるテンソル積の存在証明 1 2022/09/26 02:36
- 数学 位数18のアーベル群は同型を除いて何個あるか答えよ。 わからないので考え方や解き方を教えてください。 1 2023/02/08 18:35
- 統計学 代数学 対称群 同型 2 2022/05/09 20:32
- 数学 位数2の群は同型を除いて1つしかないことを群表を用いて示せ。 よくわからなかった問題です。どなたか解 1 2023/02/12 21:59
- 数学 位数36のアーベル群で非同型なものを全て書出せ 大学数学の代数学の問題ですがどなたか教えて貰えますか 3 2023/01/14 18:51
- 数学 素朴すぎる質問で大変恐縮なのですが…。複素数体ℂの乗法群ℂ*:=ℂ-{0}の部分群Gでℂ*と同型(G 1 2022/05/21 15:05
- 数学 群準同型の個数 2 2023/08/21 22:13
- 数学 環上の加群について 2 2022/07/15 20:42
- 数学 p群 1 2022/09/19 13:45
このQ&Aを見た人はこんなQ&Aも見ています
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
AとBはn次正方行列とする。 積A...
-
演算子法なににつかう
-
lim[x→+∞](x^n/e^x)=0 の証明
-
2^220を221で割った時の余りを...
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
大学の記述入試で外積は使えま...
-
実数の整列化について
-
至上最難問の数学がとけた
-
定理と法則の違い
-
Sku
-
三角形の3辺の長さの性質の証明
-
△ABCの∠Aの2等分線と辺BCとの交...
-
三角関数を用いて地球の大きさ...
-
ピタゴラス数について。
-
二次合同式の解き方
-
長さがマイナスの答えのとき、...
-
マクローリンの定理でのθが含ま...
-
パップスギュルダンの定理について
-
ファルコンの定理は解かれまし...
おすすめ情報