こちらの質問のご回答に不明点があったので再質問させて下さい。
https://oshiete.goo.ne.jp/qa/13569669.html
【No.2の回答の方】
---------------------
逆に n が偶数であれば、
(Z/nZ)/Ker g は Z/nZ の位数 2 の部分群となる。
そのようなものは、{ 0, n/2 } ただひとつである。
以上より、
n が奇数のとき g は 0 個、
n が偶数のとき g は 1 個。
---------------------
①(Z/nZ)/Ker g は Z/nZ の位数 2 の部分群となるの部分がよく分かりませんでした。
②nが偶数のときgが1個とありますが、準同型gを実際に構成出来ることをどのように示せばよいのでしょうか?
解説いただだければ幸いです。
【No.1の回答の方】
----------------------
nが奇数のとき
Imgの元の個数は奇数で偶数2個にならないから0個
nが偶数のとき
x=0(mod2)のときg(x)=0
x=1(mod2)のときg(x)=4
----------------------
①xが奇数のとき、Imgの元の個数は奇数で偶数2個にならないから0個、という論理がよく分かりませんでした。(gは単射とは言えないのでは)
②xが偶数のとき準同型gはその形になるというのは、どうやって示されるのでしょうか?
解説いただだければ幸いです。
A 回答 (7件)
- 最新から表示
- 回答順に表示
No.7
- 回答日時:
nが奇数ならば
n=2m+1
となるmがある
0=n=2m+1(mod n)
だから
0=g(0)=g(n)=g(2m+1)=g(2m)+g(1)=g(1)
g(1)=0
となって
すべてのkに対して
g(k)=kg(1)=0となるから
Img={0}
となって
Img={0,4}に矛盾するから
nは偶数でなければならない
No.6
- 回答日時:
g(k)=0ではありません
g(2k)=0
です
g(2k)=g(k+k)
gは準同型だから
g(k+k)=g(k)+g(k)
Img={0,4}だから
g(k)=0またはg(k)=4
g(k)=0のとき
g(k)+g(k)=0
だから
g(2k)=0
g(k)=4のとき
g(k)+g(k)=4+4=0mod8
だから
g(2k)=0
となるのです
任意のa,bに対して
g(a+b)=g(a)+g(b)となるときgを準同型というのです
a=0mod2,b=0mod2のとき
a+b=0mod2
g(a+b)=0
g(a)=0
g(b)=0
だから
g(a+b)=0=0+0=g(a)+g(b)
a=0mod2,b=1mod2のとき
a+b=1mod2
g(a+b)=4
g(a)=0
g(b)=4
だから
g(a+b)=4=0+4=g(a)+g(b)
a=1mod2,b=0mod2のとき
a+b=1mod2
g(a+b)=4
g(a)=4
g(b)=0
だから
g(a+b)=4=4+0=g(a)+g(b)
a=1mod2,b=1mod2のとき
a+b=0mod2
g(a+b)=0
g(a)=4
g(b)=4
だから
g(a+b)=0=4+4=g(a)+g(b)(mod8)
だから
g(a+b)=g(a)+g(b)となるからgは準同型
Img={0,4}だから
g(k)=0またはg(k)=4
g(k)=0のとき
g(k)+g(k)=0
gは準同型だから
g(k+k)=g(k)+g(k)
↓g(k+k)=g(2k),g(k)+g(k)=0だから
g(2k)=0
g(k)=4のとき
g(k)+g(k)=4+4=0mod8
gは準同型だから
g(k+k)=g(k)+g(k)
↓g(k+k)=g(2k),g(k)+g(k)=0だから
g(2k)=0
だから
すべてのkに対して
g(2k)=0
となるから
x=0mod2 のとき
x=2k となるkがあるから
g(x)=g(2k)=0
Img={0,4}だから
g(x)=4 となるxが存在する
x=0mod2と仮定すると
g(x)=0となって
g(x)=4に矛盾するから
x=1mod2
だから
x=2k+1
となるkがある
g(x)=g(2k+1)
↓gは準同型だから
g(2k+1)=g(2k)+g(1)
↓g(x)=g(2k+1),g(2k)=0だから
g(x)=g(1)
↓g(x)=4だから
g(1)=4
x=1mod2 となる任意のxに対して
x=2k+1 となるkがある
g(x)=g(2k+1)
↓gは準同型だから
g(2k+1)=g(2k)+g(1)
↓g(x)=g(2k+1),g(2k)=0だから
g(x)=g(1)
↓g(1)=4だから
g(x)=4
詳しい解説ありがとうございます。
回答ありがとうございます。
先のお礼で書いたg(k)=0はg(2k)=0のタイプミスでした。申し訳ありません。
今回の解説を見る限り、最初に示したnが偶数という条件は使ってないように見えます。どこで使っているのでょうか?
No.5
- 回答日時:
g:Z/nZ→Z/8Z={0,1,2,3,4,5,6,7}
像Imgの元の個数が2個であるものは
Img={0,4}だから
g(k)∈Img{0,4}⊂Z/8Z
だから
g(k)=0またはg(k)=4
g(k)=0のとき
g(2k)=2g(k)=g(k)+g(k)=0+0=0
g(k)=4のとき
g(2k)=2g(k)=g(k)+g(k)=4+4=0mod8
g(1)=0またはg(1)=4
g(1)=0と仮定すると
すべてのkに対して
g(k)=kg(1)=0となるから
Img={0}
となって
Img={0,4}に矛盾するから
∴
g(1)=4
回答ありがとうございます。
g(1)=4とg(k)=0になる理由は分かりました。
①gが準同型になっていることは証明しなくてよいのですか。
②最初の回答でx=0(mod2)のとき、x=1(mod2)のとき
と場合分けしていますが、どうしてmod2で場合分けしようと思われたのですか。
No.4
- 回答日時:
g:Z/nZ→Z/8Z={0,1,2,3,4,5,6,7}
像Imgの元の個数が2個であるものは
Img={0,4}だから
4+4=0mod8
g(k)∈Img{0,4}⊂Z/8Z
g(1)∈Img{0,4}⊂Z/8Z
g(k)=0.or.g(k)=4だから
2g(k)=g(k)+g(k)∈Img{0,4}⊂Z/8Z
mod2ではなくmod8です
g(0)=0
g(1)=4
となるのです
No.2
- 回答日時:
nは2以上の整数とする
群準同型g:Z/nZ→Z/8Z={0,1,2,3,4,5,6,7}
像Imgの元の個数が2個であるものは
Img={0,4}
準同型定理により (Z/nZ)/Kerg と Img は同型
(Z/nZ)/Kerg ~ Img
だから
(Z/nZ)/Kergの位数n/|kerg|はImgの位数|Img|=2に等しい
n/|kerg|=|Img|=2
n=2|kerg|
だから
nは偶数でなければならない
nが奇数のとき
Imgの元の個数n/|kerg|は奇数nの約数n/|kerg|は奇数で偶数2個にならないから
0個
nが偶数のとき
x=0(mod2)のとき
x=2kとなるkがあるから
g(x)=g(2k)=2g(k)=0
x=1(mod2)のとき
x=2k+1となるkがあるから
g(x)=g(2k+1)=2g(k)+g(1)=g(1)=4
1個
丁寧に再回答いただきありがとうございます。
・2g(k)=0、g(1)=4となるのは、どうしてでしょうか?
・なぜmod2で考えればよいと思われたのでしょうか?
Z/nZなのでmod nで考えるのかなと最初思ったのですが。
No.1
- 回答日時:
No.2
①
g が Z/nZ 上の準同型なら、Ker g は Z/nZ の正規部分群であり、
その商群 (Z/nZ)/Ker g は Im g と同型である。これが準同型定理。
一般に商群 G/H は G のある部分群と同型であり、
Im g の位数は 2 だと与えられているから、
(Z/nZ)/Ker g は Z/nZ の位数 2 の部分群。
②
準同型 g が存在するような n を求めているのであり、
g を実際に構成することを要求している問題ではない。
g を構成しようとすると Z/nZ の具体的な群構造に踏み込むことになるが、
この問題はもっと基本的な群の性質だけから解決できるので
具体例の細部に触れることは下品だと思う。
再び丁寧な回答ありがとうございます。
①「一般に商群 G/H は G のある部分群と同型であり、」が分かりませんでした。例えばG=Z、H=nZ (n≠0)であればG/Hは有限群であり、Gの部分群は無限群なので同型にならないのではと思いました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 群準同型の個数 2 2023/08/21 22:13
- 工学 ご質問です。機械設計の問題です。 通常ローラーチェーンを使う場合、そのリンク数は偶数とすることが望ま 1 2021/12/28 04:54
- 数学 数学 3 2021/12/03 15:38
- 数学 数学 8 2021/12/03 16:41
- その他(データベース) Accessを開きなおすとテキストボックスの値がエラー#Name?になる 1 2021/11/17 08:37
- 数学 偏導関数の応用の問題です。 与えられた正数aを3つの正数x,y,zに分けて、x^m・y^n・z^pが 1 2021/11/24 20:21
- JavaScript 助けてください‼︎ javascriptで質問があります。 配列を定義して、 29342、45342 3 2022/06/26 22:06
- その他(データベース) Access Nz関数の合計値の小数点桁数について 1 2021/12/14 14:51
- 数学 命題の証明がわかりません 5 2022/02/03 12:56
- 数学 複素数平面の質問です 6 2021/11/30 19:58
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
小学4年生の問題
-
群準同型の個数の再質問
-
(s+1)/(s+5)の逆ラプラス変換
-
なぜ割れるのですか?
-
縮尺の1/100から1/250への変更...
-
自動車免許試験2回落ちました。...
-
電極棒 満減水テストについて
-
免許センターの当日の試験問題...
-
中途採用で、筆記試験があるよ...
-
自動車学校の授業を寝ていてほ...
-
100均のセリアに電工ペンチやギ...
-
社労士試験勉強のやめどき
-
玉掛け講習
-
工具にワイヤーストラップを付...
-
契約アンペアを40Aに変更します...
-
免許センター一発合格 普通免...
-
VVFケーブルの劣化で発火にいた...
-
資格の正式名称(履歴書用)
-
「差込形コネクターの信頼性」...
-
指定校推薦の基礎学力試験
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
小学4年生の問題
-
微分方程式の吸水解法や多項式展開
-
(t-1)u(t-2)のラプラス変換はど...
-
(s+1)/(s+5)の逆ラプラス変換
-
3人でじゃんけんをするときの確率
-
分からなすぎて嫌になります……...
-
センター試験追試
-
整数の問題
-
数1 P=|x-1|+|x-2|+|x-3|を簡単...
-
この問題の ト、ナ、二、ヌ を...
-
平板の運動方程式
-
東北大 整数問題 過去問
-
中学数学 数の計算
-
ベルトラン・チェビシェフの定...
-
(1)の解説で 2の2乗をXとおく。...
-
x(t)のラプラス変換をX(s)と書...
-
数学の質問です。3以上9999以下...
-
解説にはこう書いてあったので...
-
なぜ割れるのですか?
-
高校数学を動画で解説公開して...
おすすめ情報