![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
![](http://oshiete.xgoo.jp/images/v2/common/profile/M/noimageicon_setting_13.png?e8efa67)
Z/18Z×Z/24Z
≒(Z/2Z×Z/9Z)×(Z/3Z×Z/8Z)
≒(Z/2Z×Z/3Z)×(Z/9Z×Z/8Z)
≒Z/6Z×Z/72Z
(≒は同型の意味で使いました)
は正しいですか?
1行目→2行目,3行目→4行目は中国剰余定理より正しいと思いますが,2行目→3行目で直積を入れ替えています.これも問題ない操作でしょうか?
一般にX×Y≠Y×X(≠は集合の意味での)ですが,上で「Z/9Z×Z/3Z」の順序を入れ替えているのは,"同型"という意味で同じということになるのですか?
この辺りが混乱してしまったので教えてください.
No.2ベストアンサー
- 回答日時:
同型です。
(1) 一般に、XとYを任意の群とするとき、X×YとY×Xは、同型です。これは、X×Yの元 (x,y)にY×Xの元 (y,x)を対応させる写像が同型であることから、明らかです。
(2) また、Zも任意の群とするとき、結合法則が成立します。すなわち、(X×Y)×ZとX×(Y×Z)も同型です。これは、((x,y),z)に(x,(y,z))を対応させる写像を考えれば、明らかです。
ご質問の、2行目→3行目の変換は、(1)と(2)により正当化されます。
(3) (1)と(2)は、いわゆるabstract nonsenseです。すなわち、集合、多元環、位相空間、可微分多様体、確率空間など、任意のカテゴリーでの直積について、可換性と結合法則が成立します。
なお、集合として、X×Y≠Y×Xかも知れませんが、それでも、X×YとY×Xは同型です。集合における「同型」とは、全単射が存在すること、すなわち、濃度が等しいことを意味します。
No.1
- 回答日時:
同型かどうかは、同型写像が存在するかどうか、だけで決定します。
しかし、中国剰余定理での同型と、直積の順序を入れ替えた時の同型では「自然に同型」かという点で若干の差があります。
そこは経験で補うしかないので、まずは Z/18Z×Z/24Z と Z/6Z×Z/72Z の同型写像を具体的に求めるのがよいでしょう。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- Visual Basic(VBA) Excelで下記のようにマクロを作ったところ、一回目は実行できたのですが、二回目以降「実行時エラー1 1 2022/03/25 08:08
- 工学 ガウスビーム、がウシアンビームの式についてです。以下の問題について教えてください。 位置zでz軸に直 1 2022/10/31 16:22
- 数学 中一数学の【最大公約数と最小公倍数】の問題です。 1問だけでも教えていただけると嬉しいです。 (1) 4 2022/08/01 10:19
- 工学 画像はテイラー展開の公式です。 <マクローリン展開> f(z)=Σ_{n=-∞~∞}a(n)(z-a 1 2022/09/01 22:56
- 数学 「<マクローリン展開> f(z)=Σ_{n=-∞~∞}a(n)(z-a)^n(ローラン展開の式)より 3 2022/09/01 08:19
- 数学 この問題を極座標にして積分を解いて行くのですが π0:z=2x+2y S:z=x^2+y^2 D:{ 2 2023/04/14 14:01
- 数学 <テイラー展開> 「f(z)=Σ_{n=-∞~∞}a(n)(z-a)^n(ローラン展開の式)より、テ 3 2022/09/21 16:25
- 計算機科学 二次曲線の標準形 4 2022/12/25 21:57
- 物理学 最後の(c)が分からりません。 流れの把握のため(a).(b)の解答(多分あっています)を記述してい 2 2023/04/18 22:49
- 数学 テイラー展開版は以下であっているでしょうか? 間違いがある場合は、どこが間違っているか教えて下さい。 1 2022/09/01 23:44
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
線形、非線型ってどういう意味...
-
内積の ・内積あるいはエルミー...
-
四次対称群S4が可解群であるこ...
-
「十人十色」ならば「百人百色...
-
微分方程式の線形、非線形の証明
-
全射・部分写像の個数の問題
-
初めての複素関数の勉強
-
写像がwell-definedであること...
-
射と写像の違い
-
NからN×Nの全単写
-
f^(-1)(f(P))=Pを示したい
-
基本的な事ですが…(単射、全射...
-
線形・非線形って何ですか?
-
有限アーベル群の基本定理の証...
-
行列の階数
-
代数学「素体」
-
この写像がwell definedである...
-
写像の基本定理:B1⊂B2⇒f~(B1)⊂...
-
族(数学)について
-
同型写像の証明問題
おすすめ情報