よろしくどうぞ。素朴な疑問です。お答えいただけましたら大変幸いでございます(反例も賜れれば尚幸いです)。
Zを整数全体の集合,l,k,m,n,m',n'∈Zで ~は群同型を表す。
Z_l~Z_k且つZ_m~Z_nなら Z_l(+)Z_m~Z_k(+)Z_nは正しいでしょうか?
Z_mはmがどんな時,可換群?
Z_mはmがどんな時,巡回群?
Z_m(+)Z_nはm,nがどんな時,可換群や非可換群になるのでしょう?
Z_m(+)Z_nはm,nがどんな時,巡回群や非巡回群になるのでしょう?
gcd(m,n)=1ならZ_mn~Z_m(+)Z_nは正しいでしょうか?
gcd(m,n)≠1ならZ_mnは何と同型になるのでしょうか?またZ_m(+)Z_nは何と同型になるのでしょうか?
Z_m(+)Z_nとZ_m'(+)Z_n' (但し,mn=m'n')はどんな時,同型でどんな時に非同型になるのでしょうか?
A 回答 (1件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
これは一種の丸投げではないでしょうか…?
まあヒントだけ…
まず、整数全体からなる群は可換ですので、その剰余群も可換です。
一般に有限生成の加法群はZおよびZの剰余群の直和で表すことができ、
さらにねじれ部分に「ある制限」を加えればその表示は一意になります。
PID上有限生成加群の構造定理という定理の系として上記の主張が導かれます。(有限生成アーベル群の基本定理といいます。)
有限加法群が巡回群になるための必要十分条件は、その「ある制限」のもと、ひとつの直和因子と同型になることです。
この定理がわかっていれば質問に対する回答も自ずとでてくるはずですので、あとは自分で考えましょう。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 代数の問題がわからないので教えていただきたいです。 Gを位数51の群とする。 (1)Gは巡回群になる 2 2023/02/08 18:43
- 統計学 代数学 対称群 同型 2 2022/05/09 20:32
- 数学 素朴すぎる質問で大変恐縮なのですが…。複素数体ℂの乗法群ℂ*:=ℂ-{0}の部分群Gでℂ*と同型(G 1 2022/05/21 15:05
- 数学 p群 1 2022/09/19 13:45
- 数学 加群におけるテンソル積の存在証明 1 2022/09/26 02:36
- 数学 p群G 6 2022/10/07 18:30
- 数学 位数2の群は同型を除いて1つしかないことを群表を用いて示せ。 よくわからなかった問題です。どなたか解 1 2023/02/12 21:59
- 数学 1次元球のホモロジー群 1 2022/07/26 19:38
- 数学 群 変換群 2 2023/03/02 15:34
- 数学 位数18のアーベル群は同型を除いて何個あるか答えよ。 わからないので考え方や解き方を教えてください。 1 2023/02/08 18:35
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
完全数はどうして「完全」と名...
-
直角三角形じゃないのに三平方...
-
円周角の定理を使う問題につい...
-
至上最難問の数学がとけた
-
行列のn乗について
-
数A nは自然数とする。n , n+2 ...
-
数IIIの定理、受験で使っていい...
-
合同方程式13x≡7(mod84)の答え...
-
大学の記述入試で外積は使えま...
-
十分性の確認について
-
「整数係数方程式の有理解の定...
-
合同式の性質についてです。 な...
-
非正規形の微分方程式
-
lim[x→+∞](x^n/e^x)=0 の証明
-
三角形の3辺の長さの性質の証明
-
x^100を(x+1)^2で割ったときの...
-
ディリクレ指標について( mod=5...
-
モーレの定理
-
3以上9999以下の奇数aで、(a^2)...
-
複素関数と実関数のテーラー展...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
過去に 「ii) f(z)=1/(z^2-1) r...
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
大学の記述入試で外積は使えま...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
定理と法則の違い
-
至上最難問の数学がとけた
-
実数の整列化について
-
十分性の確認について
-
AとBはn次正方行列とする。 積A...
-
ほうべき(方巾)の定理について
-
ファルコンの定理は解かれまし...
-
パップスギュルダンの定理について
-
オイラーの多面体定理の拡張
-
微分形式,微分幾何学の参考書
-
ディリクレ指標について( mod=5...
-
x^100を(x+1)^2で割ったときの...
-
nを整数とする。このとき、n^2...
-
大学数学 解答
-
4.6.8で割るとあまりはそれぞれ...
おすすめ情報