代数学の質問です
<a>,を<b>1と異なる2つの巡回群とするとき、<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の倍数であることと同値である
という証明で良いでしょうか
よろしくお願いします
A 回答 (2件)
- 最新から表示
- 回答順に表示
No.2
- 回答日時:
o(a),o(b)有限&互いに素→<a>×<b>が巡回群の証)
<a>の位数o(a)=m有限
<b>の位数o(b)=n有限
とすると,
<a>×<b>の位数はmnとなる
(a,b)の位数をsとすると
(a,b)^s=(a^s,b^s)=(1,1)
だからsはmとnの最小公倍数となる
m,n互いに素とすると
m,nの最小公倍数はmnとなるから
s=mn
(a,b)が生成する巡回群((a,b))の位数sと
<a>×<b>の位数mnが等しくなるから
<a>×<b>は巡回群となる
<a>×<b>が巡回群→o(a),o(b)有限&互いに素の証)
a≠1,b≠1
<a>×<b>が巡回群で
生成元を(a^j,b^k)とすると
a^jは<a>の生成元だからa→a^jは<a>の内部同型写像
b^jは<b>の生成元だからb→b^kは<b>の内部同型写像
(a,b)→(a^j,b^k)は内部同型写像だから
(a,b)も<a>×<b>の生成元となる
(1,b)=(a,b)^s=(a^s,b^s)
(a,1)=(a,b)^t=(a^t,b^t)
となるs,tがある
<a>の位数を無限と仮定すると
a≠1→s=0→b=1となってb≠1に矛盾するから
<a>の位数o(a)=m有限
<b>の位数が無限と仮定すると
b≠1→t=0→a=1となってa≠1に矛盾するから
<b>の位数o(b)=n有限
(a,b)の位数はmとnの最小公倍数で
<a>×<b>の位数はmnだから
生成元(a,b)の位数はmnとなり
mとnの最小公倍数はmnとなるから
mとnは互いに素となる
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 高校 方程式の証明 5 2022/05/12 09:29
- 数学 行列(I-βG)の逆行列が存在することの証明について 1 2023/06/23 01:33
- 物理学 物理の証明問題についての質問です。 平面内を運動する小球がある。この物体にかかる加速度の方向と大きさ 2 2023/05/16 00:28
- 数学 数学(過去の質問が消えてしまったので再質問) 写真の1番の問題なのですが ①参考書の解答:0<a≦5 2 2023/05/25 17:41
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 数学 【 数学 数学A 】 〇 必要条件と十分条件 「 x²=0はx=0であるための 必要十分条件である」 5 2022/05/15 12:42
- 数学 m, n を整数. g.c.d(m, n) = d, l.c.m(m, n) = l とすると { 2 2022/05/22 18:54
- その他(社会・学校・職場) 数学のI Aの問題について。 十分条件と必要条件について。 p→qの場合pはqの十分条件であり qは 2 2023/01/09 19:36
- 数学 単位元について 2 2022/09/11 22:56
- 大学受験 数学 文字 置き方 数学の必要十分条件の問題のときによく見かけるのですが。 a-bが有理数のとき、a 5 2022/08/22 14:21
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
線形、非線型ってどういう意味...
-
内積の ・内積あるいはエルミー...
-
四次対称群S4が可解群であるこ...
-
「十人十色」ならば「百人百色...
-
微分方程式の線形、非線形の証明
-
全射・部分写像の個数の問題
-
初めての複素関数の勉強
-
写像がwell-definedであること...
-
射と写像の違い
-
NからN×Nの全単写
-
基本的な事ですが…(単射、全射...
-
f^(-1)(f(P))=Pを示したい
-
線形・非線形って何ですか?
-
有限アーベル群の基本定理の証...
-
行列の階数
-
代数学「素体」
-
この写像がwell definedである...
-
写像の基本定理:B1⊂B2⇒f~(B1)⊂...
-
族(数学)について
-
全単射の具体例
おすすめ情報