- 締切済み
代数学
代数学の範囲で不明な点があったので質問させていただきます。 群G≠{e}について次の３つはなぜ同値なのでしょうか？ １、Gの部分群はGと{e}のみ ２、Gは素数位数の有限巡回群 ３、Gは有限可換単純群 ２の位数が素数の群は巡回群であることの証明は理解できたのですが、上の三つが同値であることがわかりません。 教科書でも当たり前のように書いてあったので・・・。 よろしくお願いいたします。
- himono1989
- お礼率33% (1/3)
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
みんなの回答
- kabaokaba
- ベストアンサー率51% (724/1416)
当然だと思うけど・・・ Gが単純群ってのはGと{e}しか正規部分群を持たないこと． 可換だったら，Gと{e}しか正規部分群を持たないことになる だから (3)=>(1)は自明 (2)=>(3)も自明 (1)=>(2)だけが若干の論理がある (1)を仮定する．Gは{e}ではないので， eではない元gがある．gに対して巡回群 <g>={e,g,g^2,g^3,...,g^{p-1}}を作ると これがGの部分群で{e}ではない． したがって，G=<g> もし，<g>の位数pが素数ではないとすると pの約数kが存在し，p=klと表せるので <g^k>={e,g^k,g^{2k},...,g^{(l-1)k} なる部分があり，<g^k>はGの{e}でもGでもない部分群となり矛盾． よって，pは素数 つまり，Gは素数位数の巡回群
関連するQ&A
- 次の代数学の真偽を教えてください。（理由も添えて）
1.位数が素数である有限群は巡回群である。 2.有限アーベル群はすべて巡回群である。 3.巡回群はすべてアーベル群(=可換群)である。 4.Z/4ZとZ/2Z×Z/2Zは共に位数4のアーベル群である。 5.Z/4ZとZ/2Z×Z/2Zとは同型な群である。 6.アーベル群の部分群はすべて正規部分群である。 7.位数が同じ有限群GとG'は同型である。 8.位数が素数である有限群はアーベル群(=可換群)である。
- ベストアンサー
- 数学・算数
- 代数学の問題なのですが、
代数学の問題なのですが、 G＝〈x〉を位数ｎ＜∞の巡回群とする。ｍは自然数でｎはｍZに属する元で位数ｍの部分群がただひとつ存在することを証明せよ。 という問題なのですが教えてください。
- 締切済み
- 数学・算数
- 代数学の直積に関する質問です
代数学の質問です <a>,を<b>1と異なる２つの巡回群とするとき、<a>×<b>が巡回群であるための必要十分条件は、o(a),o(b)がともに有限で、かつ互いに素であることを示せ 資料を参考にしながら、十分条件は示すことができ たと思うのですが、必要条件の証明の方法がわかりません ちなみに、十分条件の証明として、 <a>×<b>の元(a,b)の位数は、(a,b)^s=(a^s,b^s)が単位元(1,1)に等しいためには、a^s,b^sがともに単位元である必要があるため、sがm,nの公倍数であることと同値である。m,nは互いに素であるためsがmnの倍数であることと同値である という証明で良いでしょうか よろしくお願いします
- 締切済み
- 数学・算数
- 代数系の勉強をしています。
代数系の勉強をしています。 しかし、まったくわかりません。 ３次対称群の位数３の部分群の求め方や、各元で生成される巡回部分群の求め方、（R*,X),(z,+)とは何ですか？ 丁寧に教えてください。よろしくお願いします。
- 締切済み
- 数学・算数
- x^2 ≡ 1 mod n
nが素数で nを法とする既約剰余群(Z/nZ)*において 位数が2の元は-1だけであることを示したいのですが、 x^2 ≡ 1 mod n ⇒ (x-1)(x+1) ≡ 0 mod n ⇒ x = ±1 ではダメでしょうか。 ある本だと 以下の定理を使っています。 「Gを有限巡回群とする。|G|の任意の約数dに対して位数dのGの部分群が唯一つ存在する。」 この定理より nの既約剰余群において、位数2の元は-1のみ。 しかし、この定理の証明が私にとって難解で、まったく理解できません。 結局、位数2の元が-1だけであることを言いたいので x^2 ≡ 1 mod nを 上記のように解けば説明になっているのでは？と思いました。 x^2 ≡ 1 mod n を解くだけで説明になっているでしょうか？ アドバイスお願いします。 また、もしできたら 「Gが有限巡回群のとき… |G|の任意の…」 の定理の証明をわかりやすく説明していただけないでしょうか。
- 締切済み
- 数学・算数
- 次の代数学の真偽について教えて下さい(理由も)
1.有限個の元からなる巡回群の位数は素数である。 2.同じ素数を位数とする有限群GとG'は同型である。 3.Snの偶置換全体からなる部分集合はSnの部分群である。 4.Snの奇置換全体からなる部分集合はSnの部分群である。 5.群Gの指数2の部分群は正規部分群である。 6.群の準同型写像f:G→G'の像Im(f)はG'の正規部分群だ。 7.群の準同型写像f:G→G'の核Ker(f)はGの正規部分群だ。
- ベストアンサー
- 数学・算数
- 代数の問題です。
大学の代数でこのような問題がでて きて、わからないので教えてくださ い 。よろしくお願いします。加法群G=Zの部分群H=nZ(n≧1は 自然数)に関する剰余類aHをa+nZと加 法的に表す。 また、a,b∈Zに対し、a-bがnの倍数 のときa≡b(mod n)と表し、aとbはn を法として合同であるという。 これは、a+nZ=b+nZと同値である。 剰余類の集合G/H=Z/nZをZnと表す。 Cn:位数nの巡回群={e,a,a^2,…a^n-1}a ^n=eとする (1)a≡a′(mod n),b≡b′(mod n)な らば、a+b≡a′+b′(mod n)を示せ 。 これより剰余類の集合Znに(a+Z)+(b+Z )=a+b+Zによって 積(この場合は和)が定義されることを 示し、 Znに群の構造が入ることを示せ。(Zn をnによる剰余類群という。) (2)剰余類群Znは巡回群Cnと同型であ ることを示せ
- ベストアンサー
- 数学・算数
- 有限アーベル群Ｇの位数が相異なる２素数ｐ、ｑの積であるとき、Ｇは巡回群
有限アーベル群Ｇの位数が相異なる２素数ｐ、ｑの積であるとき、Ｇは巡回群であることを示せ。 という問題があるのですがよくわかりません。できれば詳しく教えていただけると嬉しいです！
- ベストアンサー
- 数学・算数
- 乗群の位数とラグランジェの定理
(mod p)の剰余類で乗群G*をつくるとき，（pは素数） 0を含む剰余類は除くので，|G*|=p-1かと思います． a ∈ G*で，巡回部分群Hを生成すれば， H=G*であることも確認できます． ただ，ここでどうしてもわからないことがあります． G*の位数も，Hの位数もp-1で，-1されるために一般に素数にはなりません． ラグランジェの定理から位数が素数の有限群が真部分群を持たないことがわかりますが， G*の位数は，p-1で素数にならないため，真部分群を持ってもよさそうな気がします． どこに間違いがあるのでしょうか？
- ベストアンサー
- 数学・算数
お礼
ご丁寧に回答していただきありがとうございます。 すごくよく解りました。 どうもありがとうございました。