数学ナビゲーター掲示板 [One Tree All Message]

数学ナビゲーター掲示板

ツリー一括表示
群の問題 /もけ (19/11/20(Wed) 21:00) #50180
`└` Re[1]: 群の問題 /ast (19/11/20(Wed) 21:41) #50181
`└` Re[2]: 群の問題 /もけ (19/11/20(Wed) 22:46) #50182
`└` Re[3]: 群の問題 /ast (19/11/20(Wed) 23:03) #50183
`└` Re[4]: 群の問題 /m (19/11/21(Thu) 01:24) #50184
`└` Re[5]: 群の問題 /もけ (19/11/21(Thu) 16:47) #50185

親記事　/ ▼[ 50181 ]

■50180 / 親階層)

　群の問題

□投稿者/ もけ一般人(1回)-(2019/11/20(Wed) 21:00:49)

（G,・）を半群とする
Gの任意の元g,hに対して、あるGの元i,jが存在し、
g・i＝h
j・g＝h
が成立する。
（G,・）が群であることを示せ。

この問題がわかりません…どなたか教えてください

[ □ Tree ] 返信/引用返信 [メール受信/OFF] 削除キー/

▲[ 50180 ] / ▼[ 50182 ]

■50181 / 1階層)

　Re[1]: 群の問題

□投稿者/ ast 一般人(1回)-(2019/11/20(Wed) 21:41:00)

2019/11/20(Wed) 21:45:32 編集(投稿者)

[0] $2$G$ は半群だから結合法則はOK
[i] $2$h$ は任意だから特に $2$h=g$ のときを考えると, そのときの $2$i,j$ に対して $2$ij$ を考えれば $2$i=j$ となり, 任意の $2$g$ に対して $2$gi=ig=g$ が成り立つことになるので, 定義によりこの $2$i$ は $2$G$ の単位元. (以降この単位元を $2$e$ と書くことにする)
[ii] 上と同様に $2$h=e$ のときを考えると, そのときの $2$i,j$ に対して $2$jgi$ を考えれば $2$i=j$ となり, $2$g$ に対して $2$gi=ig=e$ が成り立つことになるので, 定義によりこの $2$i$ は $2$g$ の逆元.

[ 親 50180 / □ Tree ] 返信/引用返信 [メール受信/OFF] 削除キー/

▲[ 50181 ] / ▼[ 50183 ]

■50182 / 2階層)

　Re[2]: 群の問題

□投稿者/ もけ一般人(2回)-(2019/11/20(Wed) 22:46:44)

返信ありがとうございます。二つ質問させていただきたいのですが、
①単位元の証明で、ijを考えるとi＝jがどういうステップを踏んでいるのかがわかりません。
②単位元の証明で、これで証明したことは、あくまで「任意のg∈Gに対して、あるi∈Gが存在し、gi＝ig＝g」であり、単位元の定義である「あるi∈Gが存在し、任意のg∈Gに対して、gi＝ig＝g」ではない気がします。あると任意のの順番が変わるのはアウトだった気がします。
大変恐縮ですが、ご返事頂けると嬉しいです。

[ 親 50180 / □ Tree ] 返信/引用返信 [メール受信/OFF] 削除キー/

▲[ 50182 ] / ▼[ 50184 ]

■50183 / 3階層)

　Re[3]: 群の問題

□投稿者/ ast 一般人(2回)-(2019/11/20(Wed) 23:03:03)

そうですね, おっしゃる通りだいぶ勘違いしたようです. すみません.

[ 親 50180 / □ Tree ] 返信/引用返信 [メール受信/OFF] 削除キー/

▲[ 50183 ] / ▼[ 50185 ]

■50184 / 4階層)

　Re[4]: 群の問題

□投稿者/ m 一般人(1回)-(2019/11/21(Thu) 01:24:01)

単位元の存在のみ示します。
$2$g \in G$ を一つ固定する。
仮定より $2$\exists e_R \in G, g e_R = g$ が成り立つ。
この $2$e_R$ に対し、 $2$\forall h \in G, h e_R = h$ が成り立つ。
(∵ $2$\forall h \in G$ をとる。仮定より $2$\exists j \in G, j g = h$ で、
$2$ h e_R = j g e_R = j g = h$ )
同様にして $2$\forall h \in G, e_L h = h$ となる $2$e_L$ が存在する。
このとき $2$e_L = e_L e_R = e_R$ より $2$e := e_L = e_R$ が単位元。

どうでしょう。

[ 親 50180 / □ Tree ] 返信/引用返信 [メール受信/OFF] 削除キー/

▲[ 50184 ] / 返信無し

■50185 / 5階層)

　Re[5]: 群の問題

□投稿者/ もけ一般人(3回)-(2019/11/21(Thu) 16:47:57)

これなら良さそうですね、ありがとうございます！

[ 親 50180 / □ Tree ] 返信/引用返信 [メール受信/OFF] 削除キー/

- Child Tree -
Edit By 数学ナビゲーター