- ベストアンサー
- 暇なときにでも
群の位数の問題なんですが？
位数が偶数の群は位数２の元を持つんでしょうか？ 群が位数２ｎの巡回群＜ａ＞ならば ａ＾ｎ を考えれば位数２の元になります。 それ以外に関しては、位数が小さい群ならばなんとなくイメージできるんですが一般の場合どうなるかうまく証明できません。 どなたかもしおひまであればお教え願えないでしょうか。よろしくお願いします。
- bluemoon1120
- お礼率75% (41/54)
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
持ちます。 Sylowの定理を使えば分かります。 位数が偶数の群は２－Sylow群を持ちますが その単位元以外の元の位数は２の冪乗になります。
関連するQ&A
- 位数を求める問題で、次のように考えたんですが
<a>を位数が100の巡回群とする この部分群<a^162>の位数を求めよ 162×m≡162(mod 1000)を解けばよい 162(m-1)≡0(mod 1000) また、<a^162>の位数をnとおくと、n=m-1なので 162n≡(mod 100) は満たさなければならないため、nは100の倍数 故に、162×100＝16200 162 200=32400 162×300=48600 162×400=64800 162×500=81000 よって、n=500
- 締切済み
- 数学・算数
- 位数を求める問題で、次のように考えたんですが
<a>を位数が1000の巡回群とする この部分群<a^162>の位数を求めよ 162×m≡162(mod 1000)を解けばよい 162(m-1)≡0(mod 1000) また、<a^162>の位数をnとおくと、n=m-1なので 162n≡(mod 100) は満たさなければならないため、nは100の倍数 故に、162×100＝16200 162 200=32400 162×300=48600 162×400=64800 162×500=81000 よって、n=500
- 締切済み
- 数学・算数
- 交代群A4が位数の部分群を持たないことについて
交代群A4が位数6の部分群を持たないことはどうやって示せばよいでしょうか？ ヒント： もし位数の部分群を持つとすると，それはA4の正規部分群でなければならない． しかしA4の共役類は1,3,4,4個の元からなるから，位数の部分群は存在しない． ヒントを見てもわかりません．まず位数の部分群を持つとすると，それはA4の正規部分群でなければならないという理由からわかりません． この流れで，証明を書いていただけると助かります． よろしく願い致します．
- ベストアンサー
- 数学・算数
- Sylowの定理と位数14の群
G：位数14の群 N：Gの7-Sylow部分群 H：Gの2-Sylow部分群 とし，写像f：H→Aut(N)を ｆ(h)=(n↦hnh^-1) で定める． このとき， (1)Imf={e}⇒Gは巡回群 (2)fが単射⇒Gは二面体群と同型 であることを示せという問題なのですが，以下のように示しました． (∵) Sylowの定理より，Gの7-Sylow部分群の個数は1なので，NはGの正規部分群である．またN,Hの位数はそれぞれ7,2なのでともに巡回群となる．よってN,Hの生成元をそれぞれa,bとすると，a^7=e，b^2=e．一方，N∩Hの位数は2と7の公約数であることから1．ゆえにN∩H={e}．したがって G=NH={a^i b^j | a^7=e,b^2=e} (Gの任意の元はN,Hの元で一意に表せる) また，NはGの正規部分群であることから，ある整数mが存在して，bab^(-1)=a^mとなる．ここで， (a^m)^m=(bab^(-1))^m=b(a^m)b^(-1)=(b^2)a(b^(-2))=a すなわち，a^(m^2-1)=eとなるので，m^2-1は7で割り切れる．ゆえにある整数lが存在して， m^2-1=(m+1)(m-1)=7l と書けるので，m=7l±1． (1) m=7l+1のとき bab^(-1)=a^m=a^(7l+1)=a ∴ab=ba よってGはN,Hで直積分解でき， G≒N×H≒Z/14Z （≒は同型の意） ゆえにGは巡回群． (2) m=7l-1のとき bab^(-1)=a^m=a^(7l-1)=a^(-1) よってGは二面体群と同型． (証明終) こんな感じで(1),(2)を一気に示したのですが，(1),(2)の仮定を一切使っておりません．(1)については別個に仮定を使って示せましたが，(2)はどこで仮定を使ってよいかわかりませんでした． ご教示願います．
- ベストアンサー
- 数学・算数
- 巡回群と巡回群の直積は巡回群？
Wikipediaの巡回群の項目に p、q が互いに素ならば、位数 p の巡回群と、位数 q の巡回群の直積は巡回群である。 ということが書いてあったのですが、これって簡単に証明できるのですか？ 証明の概略と、これが十分条件も満たしてるならそちらの方の証明の概略も教えていただけないでしょうか。 そもそも巡回群の直積が巡回群になるとは、たとえば{e,a,a^2}と{e,b,b^2,b^3}の直積を考えたときに、<a,b>^nは単純に<a^n,b^n>というように考えて、 <a,b>^0=<e,e> <a,b>^1=<a,b> <a,b>^2=<a^2,b^2> <a,b>^3=<e,b^3> <a,b>^4=<a,e> <a,b>^5=<a^2,b> <a,b>^6=<e,b^2> <a,b>^7=<a,b^3> <a,b>^8=<a^2,e> <a,b>^9=<e,b> <a,b>^10=<a,b^2> <a,b>^11=<a^2,b^3> はい、巡回群。という感じになるのでしょうか？
- ベストアンサー
- 数学・算数
お礼
ありがとうございました。簡単な問題なのに変に難しく考えてしまっていました。