巡回群の直積が巡回群になるか証明できる？
- 巡回群の直積が巡回群になるかどうかについて、簡単な証明方法を教えてください。
- また、巡回群の直積が巡回群になるための必要十分条件についても教えていただけますか？
- 巡回群の直積は<a,b>^nという形で表現することができ、巡回群になることが確認できます。
- ベストアンサー
巡回群と巡回群の直積は巡回群？
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> はい、巡回群。という感じになるのでしょうか？
- yskfr
- お礼率32% (25/76)
- 数学・算数
- 回答数3
- ありがとう数0
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
p、q が互いに素ならば、確かに直積は巡回群になります。これは十分条件です。この証明は基本的には連立合同式の解の存在証明と同じです。 x≡s(mod p) x≡t(mod q) この連立合同式の解の存在はどのように示せますか？
その他の回答 (2)
- koko_u_u
- ベストアンサー率18% (216/1139)
>つまりpとq適当に選んできて並べてって感じでいいわけですね。 違います。
補足
0,1,2,3,4,・・・,p,0 ,・・・ 0,1,2,3,4,・・・,p,p+1,・・・,q ↑ こんな感じで並べたときに、最小公倍数pqまで同じ組み合わせがないってことを言えば良いんじゃないんですか？？ そういうことだと思いますし、違うとはおもわないですが。
- koko_u_u
- ベストアンサー率18% (216/1139)
>これって簡単に証明できるのですか？ 簡単です。 >証明の概略と、 あなたか書いたそのままです。 >これが十分条件も満たしてるなら この命題がまさに「p,q が互いに素」であることが巡回群であるための 十分条件であることを言っています。
補足
なるほどわかりました。つまりpとq適当に選んできて並べてって感じでいいわけですね。 逆はこの説明ではダメですよね？巡回群ならばp,qは互いに素というのは言えないということでしょうか？
関連するQ&A
- Wikipediaの巡回群の項目について
Wikipediaの巡回群の項目に p、q が互いに素ならば、位数 p の巡回群と、位数 q の巡回群の直積は巡回群である。 についてなのですが、これについては先の質問で理解できました。 ただ、この逆つまり、 位数 p の巡回群と、位数 q の巡回群の直積が巡回群ならば、p、q は互いに素 これは成り立つのでしょうか？ 何となく成り立つような気がするのですが・・・ 成り立つならば、証明の概略かヒントだけでも結構なのでいただけませんでしょうか？
- ベストアンサー
- 数学・算数
- 巡回群について
「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)については包含関係を示しているのでしょうか？ その辺がよくわかりませんでした． 長文申し訳ありませんがよろしくお願いいたします．
- 締切済み
- 数学・算数
- 巡回群
「Gを位数がnの巡回群とする。nの任意の正の約数dに対して、Gは位数dの部分群をちょうど1つだけ持つことを示せ。」 私はこれを次のようにして示しましたが・・・。 xをGの生成元とする。するとx^n＝eである。 dはnの約数であるから、∃q∈N s.t. n＝dq が成立。 すると、x^n＝(x^q)^d＝eである。 よって、x^q∈Gから生成される巡回部分群Hを考えると H＝{x^q,x^(2q),・・・,x^((d-1)q),e}で、Hの位数はdである■ (1)とりあえず位数dの部分群の存在は示せたと思うのですが・・・あっているでしょうか？ (2)あと、問題文を見る限り、位数dの部分群の"一意性"も示さねばならないと思うのですが、これがよくわかりません。 位数dの部分群H'を任意に取ってきて、H＝H'であることを示せばいいのかな？と思ったのですが、できませんでした。。。 (1)(2)に関して、どなたかわかる方がいましたら、教えていただけないでしょうか？よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 代数学の直積に関する質問です
代数学の質問です <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の倍数であることと同値である という証明で良いでしょうか よろしくお願いします
- 締切済み
- 数学・算数
- 群の位数の問題なんですが？
位数が偶数の群は位数２の元を持つんでしょうか？ 群が位数２ｎの巡回群＜ａ＞ならば ａ＾ｎ を考えれば位数２の元になります。 それ以外に関しては、位数が小さい群ならばなんとなくイメージできるんですが一般の場合どうなるかうまく証明できません。 どなたかもしおひまであればお教え願えないでしょうか。よろしくお願いします。
- ベストアンサー
- 数学・算数
- gcd(p,q)=1,∃a,b∈G;#G=pq,#<a>=p,#<b>=qならばGは巡回群
gcd(p,q)=1とする。(G,・)を位数pq(つまり#G=pq)のアーベル群とせよ。 aの位数がp,bの位数がq(つまり#<a>=p,#<b>=q)であるような元a,b∈Gが存在する時, (G,・)は巡回群である事(つまり,∃g∈G;<g>=G)を示せ。 また,このような群Gの例を挙げよ。 という問題はどのようにして示せばいいか分かりません。 是非,ご教示ください。m(＿ ＿)m
- 締切済み
- 数学・算数
- 巡回群Z_nの自己同型写像の数
巡回群Z_nの自己同型写像の数を求めろという問題なのですが、 小さい数で試すと、きっとnと互いに素な数と同じだけあるように思います。(自己同型写像={a→a^p:pはnと互いに素}というようなかんじ) ですが、うまく証明が出来ません。どなたか証明と、もし間違っていたら答えを教えていただけませんでしょうか。
- ベストアンサー
- 数学・算数
補足
一個見つかりさえすれば、pqだけ足したり引いたりすればいいのだから、とりあえず ∃(m,n) pn+s=qm+t という感じでしょうか？的外れですか？