H,K:アーベル群
H×K={(h,k)|h∈H,k∈K}
H×K∋x1=(h1,k1),x2=(h2,k2)
x1+x2=(h1+h2,k1+k2)
この+に関して、H×Kはアーベル群であることを示したいんです。
アーベル群の定義
(G,+)はアーベル群⇔(ⅰ)(a+b)+c=a+(b+c)
(ⅱ)a+b=b+a
(ⅲ)∃0∈G st.a+0=a
(ⅳ)Gの各元aに対して
a+a´=0をみたすGの元a´が存在する。
自分の見解としては、上記の定義の合うようにH,Kかろそれぞれいくつかの元を取ってきて式変形をしていき、H×Kにおいても定義(ⅰ)~(ⅳ)を示していくというものです。しかし、「+に関して」というところに躓いてしまい証明することが出来ません。
また、定義の(ⅰ)~(ⅳ)全てを証明しなければアーベル群を証明することが出来ないのかというのも疑問です。
No.1ベストアンサー
- 回答日時:
意味が分かれば、それほど難しい問題ではなので、
おそらくどこかで何か勘違いしてるんじゃないかと思うんですが…
ちなみに(i)~(iv)の条件は、特定の元a,b,cについて成り立つものではなく
「任意の元」a,b,c,について成り立つものだと言うことをお忘れなく。
百聞は一見にしかず、実際に(ii)と(iii)を証明してみます。
(ii)
a1=(h1,k1),a1=(h2,k2)∈H×Kを任意にとると
a1+a1=(h1,k1)+(h2,k2)=(h1+h2,k1+k2)=(h2+h1,k2+k1)=(h2,k2)+(h1,k1)=a2+a1
(iii)
0=(0,0)とおけばこれが(iii)の零元の条件を満たす。
実際a=(h,k)∈H×Kについて
a+0=(h,k)+(0,0)=(h+0,k+0)=(h,k)=0である。
分かっていれば、かなりくどい証明ですが、
(i),(iv)において何を示すべきか多少は伝わったでしょうか?
私は群論に関してほとんど無知なのでhandarinさんのような解説をしていただけると大変助かります。
本当にありがとうございました。
群論頑張ります。
No.3
- 回答日時:
群の定義で「+」という記号が単なる写像の略記であることに注意すればよいでしょう。
Hで定義された「+」とKで定義された「+」、H×Kで定義された「+」すべてが異なるという点のみが、
ひっかかる箇所と言えるのではないでしょうか。
私は群論がとても苦手です。
しかし、koko_u_さんのような解説をしていただけると大変助かります。本当にありがとうございました。群論頑張ります。
No.2
- 回答日時:
当然に4つすべてを証明しなければ、アーベル群ではありません。
疑問なのはむしろ、何処につまずく所があるかです。失礼とは思いますが、つまずく所を見せていただきたい。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 工学 フィードバック制御の問題です。 1 2022/12/11 20:15
- 数学 加群におけるテンソル積の存在証明 1 2022/09/26 02:36
- 数学 加群の双線形について 2 2022/10/20 22:11
- 数学 以下 n を自然数, p を素数とする. (a) 整数10000を 10000=(a_4)7^4+( 3 2022/05/19 16:54
- 数学 ある大学の入試問題に a[1]=2, a[n+1]=1+1/(1-Σ[k=1→n]1/a[k]) で 4 2022/07/25 14:45
- C言語・C++・C# LU分解法のピボット選択機能実装について(C言語・gcc-9) 1 2022/07/22 15:20
- Visual Basic(VBA) VBAで質問があります 1 2022/10/19 10:32
- 数学 位数36のアーベル群で非同型なものを全て書出せ 大学数学の代数学の問題ですがどなたか教えて貰えますか 3 2023/01/14 18:51
- 数学 位数18のアーベル群は同型を除いて何個あるか答えよ。 わからないので考え方や解き方を教えてください。 1 2023/02/08 18:35
- 化学 化学 クエン酸の解離 2 2022/06/08 17:44
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
べき乗
-
皆さん定義を教えてください 「...
-
ACCESS VBAでインポート定義の場所
-
「logx^2=2logx」が間違って...
-
1未満と1以下の違い
-
無限から無限を引いたら何にな...
-
eの0乗は1ってどういう原理です...
-
日本語 ことば ひとまわり ふた...
-
Excelファイルの「数式」タブ→...
-
p⇒q=(¬p)∨qについて
-
強者男性、弱者男性の定義って...
-
交換法則が成り立って、結合法...
-
最大元と極大元の定義の違いが...
-
Excel関数で、セル内の文字列の...
-
マイナス7は素数ですか?
-
フーリエ変換について質問です。
-
全順序集合と半順序集合
-
三角関数(たとえばf(x)=sinxと...
-
1wordとは、何文字ですか?
-
なぜ、直角三角形ではないのにs...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
1未満と1以下の違い
-
無限から無限を引いたら何にな...
-
理論物理学でよく用いられる地...
-
(-1) ^2πってなんで1じゃないん...
-
ACCESS VBAでインポート定義の場所
-
変数の宣言の名称を教えてくだ...
-
「互いに素」の定義…「1と2は互...
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
質問の定義が分からないので確...
-
なぜ、直角三角形ではないのにs...
-
min関数 一橋大学過去問
-
質問の定義が分からないので確...
-
ヘシアンが0の場合どうやって極...
-
excel vba 名前付きセルが存在...
-
数字の1とは何なのか?
-
マイナス7は素数ですか?
-
「logx^2=2logx」が間違って...
おすすめ情報