- 締切済み
一問でもいいので分かる方解答お願いします
(1)pを素数とし、nを正整数とする 1.位数がp^nの群の中心Z(G)の位数は、p以上であることを示せ 2.位数がp^nの群は指数がpの正規部分群を持つことを示せ (2)S_6のシロー3・群は何か答えよ (2)に関してはS_6のシロー3・群は、位数が3^2の部分群としか分からなかったのですが、ほかにどのように解答すればよいですか?
- みんなの回答 (1)
- 専門家の回答
みんなの回答
- muturajcp
- ベストアンサー率78% (505/644)
関連するQ&A
- 位数45の群が位数9の正規部分群をもつことの証明はどうすればいいのでし
位数45の群が位数9の正規部分群をもつことの証明はどうすればいいのでしょうか? シローの定理が必要だとおもうのですが。。。 <シローの定理> (1)p^r | |G| ==> Gは位数p^rの部分群をもつ よってシローp-部分群は存在する (2)H: Gのp-部分群とすれば Hを含むシローp-部分群が存在する (3)シローp-部分群は互いにG共役 (4)シローp-部分群の個数は 1+k*p の形 (k∈Z,k≧0)
- ベストアンサー
- 数学・算数
- 位数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になると思うのですが、これをどう示したらよいかが分かりません。 教えていただけませんですか?
- ベストアンサー
- 数学・算数
- Pが群Gのシローp-部分群であるとき Pが唯一のシローp-部分群である
Pが群Gのシローp-部分群であるとき Pが唯一のシローp-部分群であることと PがGの正規部分群であることが同値であることを シローの定理を使って示すにはどうすればいいのでしょうか? <シローの定理> (1)p^r | |G| ==> Gは位数p^rの部分群をもつ よってシローp-部分群は存在する (2)H: Gのp-部分群とすれば Hを含むシローp-部分群が存在する (3)シローp-部分群は互いにG-共役 (4)シローp-部分群の個数は 1+k*p の形 (k∈Z,k≧0)
- ベストアンサー
- 数学・算数
- 代数学(pシロー群)について
問:NをGの正規部分群、PをGの一つのpシロー群とすると、NP/NはG/Nのpシロー群であることを示せ。 G/N=(Na|a∈H)について、(Na)(Nb)=N(ab)と定義すれば、この積に対して群をつくる。 最高べきの位数の部分群を素であることを示すとか書いてありましたが、よくわかりませんでした。 ご回答をお願いします。
- ベストアンサー
- 数学・算数
- 巡回群について
「Gを位数nの巡回群とする.このとき,Gの部分群の位数はnの約数で,各約数に対してただ一つ存在する.」 この証明でいくつか分からなかったので教えてください. (以下証明) G=<g>とし,m|nであるとする. ここでn/m=cとおくと,<g^c>は位数mの巡回部分群になる. また,これと異なる位数mの巡回部分群Sが存在すると仮定する. g^k∈S (kはこれを満たす最小の正整数)とすると,剰余の定理から n=qk+r (0<q∈Z,0≦r<k) となるq,rが存在する.このとき, g^r=g^(n-qk)=g^n(g^(-k))^q∈S で,kの最小性よりr=0を得る. よってn=qkとなり,Sの位数はqとなる.-(1) したがってm=qとなり,S=<g^c>.-(2) 以上より,nの約数に対して,ただひとつの巡回部分群が存在する. (証明終) この証明の最後の, (1):Sの位数はqとなる (2):S=<g^c> の部分がわかりませんでした. (1)について (g^k)^q=g^qk=g^n=e となりますが,これより「Sの位数はq」ということですか? (2)については包含関係を示しているのでしょうか? その辺がよくわかりませんでした. 長文申し訳ありませんがよろしくお願いいたします.
- 締切済み
- 数学・算数
- Hを有限群Gの部分群・・・Nの位数lNlと指数
Hを有限群Gの部分群、NをGの正規部分群とする。 Nの位数lNlと指数(G:N)とが互いに素、lHlがlNlの約数とする。 このときH(Nであることを証明せよ。 まったくわかりません。 ヒントでもいいのでよろしくお願いします!
- 締切済み
- 数学・算数
- 素数の分類と無限性に関して。以前質問させていただいたことの延長になりま
素数の分類と無限性に関して。以前質問させていただいたことの延長になります。 ※^は乗数の意味です。 8n+1型の素数が無限に存在することの証明 原始根の存在(素数 p を法とする整数環 Z/pZ の乗法群が位数 p - 1 の巡回群であること)を使う。 x を整数とする時x^4 + 1 の奇素数因子を p とする。 x^4 ≡ - 1 (mod. p) より、両辺を2乗することでx^8≡1となる。 x の p を法とする整数環 Z/pZ の乗法群での位数は 8 で有るから、 p ≡ 1 (mod. 8) となる。ここで、 p ≡ 1 (mod. 8) となる素数が有限個であったとする時、その総乗積を P として、 (2P)^4 + 1 の奇素数因子を考えると矛盾が出る。 私は2PをX"とおいて上と同様に考えました。 同じ方法を用いることで証明することはできたのですが、 この証明の中で用いている「位数は 8 で有るから、 p ≡ 1 (mod. 8) となるの部分に関して ラグランジュの定理 位数nの有限郡Gの任意の部分郡Hの位数はGの位数の約数である を用いた場合、GとHに当たる部分はどこになるのでしょうか。今の段階では、nがp-1にあたり、Hの位数が8と考えています。pが素数で、8はp-1の約数になるとの考えは当っているでしょうか・・? よろしくお願いします。
- ベストアンサー
- 数学・算数