ベストアンサー

同型でない証明

2018/07/11 20:36

数1、3、7、9、11、13、17、19は20を法とする積で群をなしている。この群がZ8と同型でない理由を説明せよ、という問題が分かりません。良かったら教えて下さい。

alk1489
お礼率0% (0/1)

数学・算数
回答数1
ありがとう数1

みんなの回答 （1）
専門家の回答

質問者が選んだベストアンサー

ベストアンサー

tmpname
ベストアンサー率67% (195/287)

2018/07/11 22:25 回答No.1

問題の乗法群の各元の位数をひとつひとつ調べれば、位数8の元が存在しないことが分かります。ひとつひとつ確かめてください。Z_8には位数8の元があるので、明らかに同型でないです。

関連するQ&A

同型の証明です。

群論の問題なのですが… 整数全体がなす加法群Zに対して、G＝Z×Z＝{ ( a,b ) ｜a,b ∈ Z } とおきこれを成分ごとの加法 ( a , b )＋( a' , b' )＝( a＋a' , b＋b' ) により群と見なす。２元 x = ( 2 , 4 ) , y = ( 6 , 8 )により生成される群Gの部分群Hとし、写像 φ : G → H を φ(( a , b )) = ( 2a ＋ 6b , 4a ＋ 8b) = ax ＋ by により定義する。ことのきつぎの問いに答えよ。 (１)φは群の同型写像であることを示す。 (２)φによるHの像 K＝ φ (H) ＝ { φ ( h ) | h ∈ H } はGの部分群であることを示す。 (３)GのKによる剰余群 G / K に対して群の同型 G / K ≅ Z / mZ × Z / nZ がなりたつような自然数 m , n で m が n の約数となるものを求める。 (１)、(２)は示すことができました。 (３)の証明の方法がよくわかりません… できるだけわかりやすく教えていただけるとうれしいです。よろしくお願いします。
準同型定理について

写像ｆ：Ｚ→Ｚ；ｍ→２ｍは、準同型写像でKerf={0},Imf={2m|m∈Ｚ}であることまでは分かったのですが・・・これに準同型定理を適用すると、どのような群の同型対応が得られるのですか?? よろしくお願いします。
次の同型を示せ

加群A,Bに対して Hom(A⊕B,Z)とHom(A,Z)⊕Hom(B,Z) 同型写像をどのように定め、それが同型写像である証明も詳しく教えて欲しいです。よろしくお願いします。
準同型写像

加法群としての準同型写像はいくつありますか？ (1) Z12→Z14 (2)Z12→Z16 準同型写像はいくつありますか？ (1)Z→Z　（全射） (2)Z→Z2 (3)Z→Z2（全射） (4)Z→Z8 (5)Z→Z8（全射） (6)Z12→Z5（全射） (7)Z12→Z6 (6)Z12→Z6（全射）手順も含めて教えてください。
準同型写像についての問題です。

群準同型 φ：Ｃ＾｛×｝→Ｃ＾｛×｝　で　Ｉｍａｇｅ(φ)＝ＴかつＫｅｒ(φ)＝Ｒ＾｛×｝をみたすものを一つ与えよ。という問題です。ただし、Ｃ＾｛×｝は複素数体の乗法群。Ｔは｛ｚ∈Ｃ＾｛×｝｜｜ｚ｜＝1｝。Ｒ＾｛×｝は、実数体の乗法群です。自明なことも含め、できるだけ詳しく教えていただけたらうれしいです。
準同型の写像

巡回群Z/nZから巡回群Z/mZへの準同型が０(ゼロ)写像ただ一つしか存在しない条件は、nとmが互いに素、即ち(n，m)=1であることを示せ。なんですが教えてください、お願いしますm(__)m
群の同型について

同型な群というのにはどのようなものがあるのでしょうか？具体的な例を教えてください。また、準同型定理や、同型定理を証明したのですが、具体的なものが考えられず、いまいちイメージがわきません。簡単な説明も兼ねて教えてくださると助かります。
準同型写像

下記の問題がわかりません！教えてください。以下の群Gから群G'への写像f:G→G'は準同型写像か？理由とともに答えよ。準同型のときは核Ker(f)と像f(G)も求めよ G=G'=S5、f(σ)=σ^(-1)
同型であることの示し方を教えてください。

整数Ｚと有理数Ｑが加法群として同型であるかどうかを示したいのですが、同型であることを示す証明がいまいちできません。写像をどのように定義すればいいのですか？写像を定義すればあとその写像が f(ab)=f(a)f(b)であることを示して全射であることを示せばいいと思うのですが・・写像がいまいちわかりません。あと、R　→　R*=R-{0} の時の写像もどのように考えればいいのでしょうか？
準同型写像について

「GL(n,R)で実数係数のn次正則行列のなす群とする。また、R*で０を除く実数全体に乗法で積を定義した群とする。AをGL(n,R)に含まれるものに対して、行列式detAを対応させる写像det:GL(n,R)→R*は群の全射準同型写像であることを確かめよ。また、その核はどのような部分群となるか？？」という問題について、手がつけられません＞＜アドバイスお願いします＞＜
群論の同型定理について

同型定理Ｂの証明について分からないので教えてください。画像内の証明は参考書の証明です。この過程が分かりません。埋め込み写像とか、写像iやρが準同型になる理由など… KerfやImfが分かったところで、なぜ正規部分群になるのでしょうか？ 1行ずつ分かりやすく説明していただけたら助かります。正規部分群、核および像、準同型定理がどういうものかはなどは理解しています。色々と分からないのですがよろしくお願いします。
可換群で同型,や非同型の判定の仕方は?

下記の可換群でどれとどれとが同型,どれとどれとが非同型であるとどうやって判定すればいいのでしょうか? 位数が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}})があると思います。
環準同型

代数の勉強をしていてわからないことがあります。 Rを環とし、Rの単位元を1とする。このとき、整数環ZからRへの環準同型ｆ：Z→R が唯１つ存在する。 f(n)=n・１（nはZの元）で与えられるf：Z→Rは環準同型である。これが唯１つの環準同型である。と、あるのですがこれが環準同型であることは、定義にしたがってあてはめればわかったのですが、唯１つであるということがわかりません。なぜこのように結論付けられるのか教えていただけないでしょうか。
同型でないことを示す問題です。

正の有理数全体が乗法に関してなす群をＧ１とします。また、有理数の加法群をＧ２とします。Ｇ１とＧ２は群として同型でないことを示す問題です。Ｇ１とＧ２が同型であると仮定して、矛盾が生じることで示そうと考えたのですが、まったくわかりませんでした。どうやって解けばよろしいのでしょうか。
同型の質問です

ある命題の証明の途中で同型を示そうと思ったのですが,いまいちわからなかったので,ご助言いただければ幸いです・命題： R-加群の完全列{0}→X→Y→Z→{0](φ:X→Y,ψ:Y→Z)について、次の性質は同値: (1)R-準同型ρ:Y→Xで,ρφ=1xとなるものが存在する; (2)R-準同型μ:Z→Yで,ψμ=1zとなるものが存在する. (1x,1zはそれぞれX,Zの恒等写像) このとき,次の直和分解を得る: Y=φ(X)○+Ker(ρ) = Ker(ψ)○+μ(Z) ~=X○+Z (○+は直和, ~=は同型を表しています.) 前半の同値性は証明できたので,認めることにします. 後半の証明において,テキストでは, Y = φ(X) ○+Ker(ρ)　・・・✽ となり,φは単射,ψは全射であるから, φ(X) ~= X , ・・・(1) Ker(ρ) ~= Y/φ(X)~=Z　・・・(2) を得る. となっていました.(✽までの過程は自力でできたので割愛させていただきます.) (1)に関しては準同型定理から示せましたが, (2)がいまいちわかりませんでした. よろしければご助言お願い致します
体の準同型について

複数の本でガロア理論について学んでいるのですが、「K自己同型」という言葉の定義が複数あって困っています。（１）K,Aを体とする。KからAへの準同型があるとき、AをK代数という。 K,A,Bを体、φ：K→A、ψ：K→Bを準同型とし、φ,ψにより、A,BをK代数とみなす。このとき、準同型f：A→Bが、f◦φ＝ψという条件を満たすとき、fをK準同型という。K準同型が体の同型のときK同型という。 AがK代数である時、AからAへのK同型全体の集合は写像の合成により群になる。これをK自己同型群といい、Aut_k (A)とかく。（２）Aを一つの体とする。Aの自己同型全体をAut(A)で表し、自己同型群と呼ぶ。 Aの一つの部分体Kが与えられたとする。σ∈Aut(A)がKのすべての元を固定するとき、σはAのK上の自己同型と呼ばれる。K上の自己同型の全体はAut(A)の部分群をなすので、この部分群をAのK上の自己同型群という。（２）の定義の方は理解できたのですが、（１）のK代数の扱いがよくわかりません。この二つの定義は本質的には同じことを定義しているのでしょうか。（よろしければ、そうなる理由も書いていただけると嬉しいです。）
群の同型について

現在，ガロア理論を理解するために，まず群論を勉強しています．そこで「準同型定理」や「群が同型である」という言葉が出てきます．そこで質問なのですが，「群が同型」であるということはどのような利点があるのでしょうか？
環同型の証明です

代数学の勉強をしているのですが,環同型の証明がうまくいきません. ご助言いただけると幸いです. 以下,問題への準備 ==================== R-加群Mは, 　M=M_1+〇M_2 (+〇は直和) と直和分解されている. Hom_R(X,Y)をXからYへの準同型全体,End_R(M)をMの自己準同型環とする. π_i : M→M_iを射影, ν_i : M_i→Mを入射とする.(i=1,2) このとき,α∈End_R(M)に対し, 　α_11= π_1αν_1 ∈End_R(M_1) 　α_21 = π_2αν_1 ∈Hom_R(M_1, M_2) 　α_12 = π_1αν_2 ∈Hom_R(M_2, M_1) 　α_22= π_2αν_2 ∈End_R(M_2) が得られ,x_1∈M_1, x_2∈M_2について, 　α(x_1, x_2) = (α_11(x_1) + α_12(x_2) , α_21(x_1) + α_22(x_2)) が成り立つ. そこで,行列の集合　　　　　α_11　α_12　　　　　　　End_R(M_1)　　　　　Hom_R(M_2, M_1) 　　　　　(　　　　　　　)　∈ T := (　　　　　　　　　　　　　　　　　　　　　　　) 　　　　　α_21　α_22　　　　　　　Hom_R(M_1, M_2)　　　 End_R(M_2) で表すことにする. ============================ 以下が問題です: ============================ 　　　　　　　　　　　　　　α_11　α_12 Φ: End_R(M) ∋α→ (　　　　　　　　)　∈ T 　　　　　　　　　　　　　　α_21 α_22 が環同型であることを証明せよ. ============================= 残り悩んでいるのは, 　(i) Φ(ab) = Φ(a)Φ(b) 　(ii) 単射　(iii)全射です.(他はできました) 少し本文が複雑になってしまっていますが,よろしくお願いいたします.
Gal_Q(x^4+1)がZ_2×Z_2の同型

Gal_Q(x^4+1)がZ_2×Z_2と同型になる理由についてなぜなのかがよくわかりません。 (具体的に言うと、Gal_Q(x^4+1)の構成要素と、その各々の元がZ_2×Z_2の各元にどのように対応しているのかがよくわかりません。) x^4+1=0を計算すると、±(1+i)/√2, ±(1-i)/√2となり、Gal_Q(x^4+1)がＱ-同型写像であることと、Z_2×Z_2が{１,α,β,αβ}で構成されるアーベル群であることはわかります。 ※Gal_Q(x^4+1)は体Ｑ上の多項式x^4+1のガロア群もしもわかられる方がおられれば、お教え頂けないでしょうか？
群同型,可換群,巡回群についての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')はどんな時,同型でどんな時に非同型になるのでしょうか?

同型でない証明

質問者が選んだベストアンサー

関連するQ&A

同型の証明です。

準同型定理について

次の同型を示せ

準同型写像

準同型写像についての問題です。

準同型の写像

群の同型について

準同型写像

同型であることの示し方を教えてください。

準同型写像について

群論の同型定理について

可換群で同型,や非同型の判定の仕方は?

環準同型

同型でないことを示す問題です。

同型の質問です

体の準同型について

群の同型について

環同型の証明です

Gal_Q(x^4+1)がZ_2×Z_2の同型

群同型,可換群,巡回群についてのQ&A

注目のQ&A

カテゴリ
一覧

専門家に質問してみよう
専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

同型でない証明

質問者が選んだベストアンサー

関連するQ&A

同型の証明です。

準同型定理について

次の同型を示せ

準同型写像

準同型写像についての問題です。

準同型の写像

群の同型について

準同型写像

同型であることの示し方を教えてください。

準同型写像について

群論の同型定理について

可換群で同型,や非同型の判定の仕方は?

環準同型

同型でないことを示す問題です。

同型の質問です

体の準同型について

群の同型について

環同型の証明です

Gal_Q(x^4+1)がZ_2×Z_2の同型

群同型,可換群,巡回群についてのQ&A

注目のQ&A

カテゴリ 一覧

専門家に質問してみよう 専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

カテゴリ
一覧

専門家に質問してみよう
専門家登録