- ベストアンサー
可換群で同型・非同型の判定の仕方
motariの回答
- motari
- ベストアンサー率60% (3/5)
G =(群同型) Z^n (+) Z_(p1^r1) (+)...(+) Z_(pm^rm) と分解したとき、(n,p1^r1,...,pm^rm)という表示が一意なので、 表示が異なれば同型ではありません。 例えば質問者さんの2つの例では全て非同型です。
関連するQ&A
- 群同型,可換群,巡回群についてのQ&A
よろしくどうぞ。素朴な疑問です。お答えいただけましたら大変幸いでございます(反例も賜れれば尚幸いです)。 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')はどんな時,同型でどんな時に非同型になるのでしょうか?
- 締切済み
- 数学・算数
- 自己同型群について。
Z:整数の作る加法群、Z/9Z:位数9の巡回群、p:Z→Z/9Z (自然な射影) とします。 (1)σ(p(1))=p(2)を満たすσ∈Aut(Z/9Z)を求めよ。 (2)Aut(Z/9Z)の位数を求めよ。 (3)Aut(Z/9Z)の元の位数として表れる数を列挙せよ。 以上が問題です。またAut(Z/9Z)は具体的にどのような写像になるのでしょうか? 解説付きでお願いします。
- ベストアンサー
- 数学・算数
- 位数素数と部分群の数について
pを素数とし,Gを位数pの群とする. このときG×Gの部分群の数を求めよ. といった問題について教えてください. Gは位数pの群なので,GはZ/pZと同型になり,G×GはZ/pZ×Z/pZと同型になるので,Z/pZ×Z/pZの部分群の数を求めればいいと思うのですがそれが求められません. よろしくお願いします.
- ベストアンサー
- 数学・算数
- 可換群Gの二つの元a,bのそれぞれの位数m,nが
可換群Gの二つの元a,bのそれぞれの位数m,nが 互いに素ならば、abの位数はmnである。 この証明が分からないです。 あと、位数m,nが互いに素なようになる可換群はどのようなものがあるでしょうか? 例えばmodの世界において考えると、 mod nの時、位数はn-1の約数になるので互いに素にはならないと思うのです。 そもそもが間違えているかもしれません。 優しく教えていただければ幸いです。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 次の代数学の真偽を教えてください。(理由も添えて)
1.位数が素数である有限群は巡回群である。 2.有限アーベル群はすべて巡回群である。 3.巡回群はすべてアーベル群(=可換群)である。 4.Z/4ZとZ/2Z×Z/2Zは共に位数4のアーベル群である。 5.Z/4ZとZ/2Z×Z/2Zとは同型な群である。 6.アーベル群の部分群はすべて正規部分群である。 7.位数が同じ有限群GとG'は同型である。 8.位数が素数である有限群はアーベル群(=可換群)である。
- ベストアンサー
- 数学・算数
- 位数6の群を分類したいです。
Gを位数が6の群とする G≅Z/6Z or S3 のどちらかに同型になることを示したいのですが、 シローの定理からP3:3-Sylow部分群 s3:P3の個数 P2:2-Sylow部分群 s2:P2の個数 とすると、シローの定理からs3=1、s2=1,3となり、 (1)s2=1の時は、G≅Z/2Z×Z/3Z≅Z/6Z ということは分かったのですが、 (2)s2=3の時はG≅S3になると思うのですが、これをどう示したらよいかが分かりません。 教えていただけませんですか?
- ベストアンサー
- 数学・算数
- G,G'を有限群とし,ψ:G→G'を準同型とするとき
G,G'を有限群とし,ψ:G→G'を準同型とするとき Im ψの位数がG,G'の位数の約数となることを証明せよ. また,G,G'の位数が互いに素なとき,GからG'への準同型写像をすべて求めよ. という問題なのですが,Im ψがG'の部分群であり,ラグランジュの定理より Im ψの位数がG'の位数となることはわかるのですが,他がわかりませんどなたか解説お願いします.
- ベストアンサー
- 数学・算数
お礼
>表示が異なれば同型ではありません。 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とは非同型となるのでしょうか?