2024年8月11日日曜日

724: グループ(群)はグループ(群)のリバースト(逆向きにされた)オペレーターグループ(群)へ'グループ(群)たち - ホモモーフィズム(準同形写像)たち'アイソモーフィック(同形写像)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

グループ(群)はグループ(群)のリバースト(逆向きにされた)オペレーターグループ(群)へ'グループ(群)たち - ホモモーフィズム(準同形写像)たち'アイソモーフィック(同形写像)であることの記述/証明

話題


About: グループ(群)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のグループ(群)は当該グループ(群)のリバースト(逆向きにされた)オペレーターグループ(群)へ'グループ(群)たち - ホモモーフィズム(準同形写像)たち'アイソモーフィック(同形写像)であるという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義たちの一覧があります。

本サイトにてこれまで議論された命題たちの一覧があります。


本体


1: 構造化された記述


ここに'構造化された記述'のルールたちがある

エンティティ(実体)たち:
G: ={ 全てのグループ(群)たち }で、オペレーターを持つもの
G~: =G のリバースト(逆向きにされた)オペレーターグループ(群) で、オペレーターを持つもの
f: :GG~,pp1
//

ステートメント(言明)たち:
GfG~、ここで、は、fによって'グループ(群)たち - ホモモーフィズム(準同形写像)たち'アイソモーフィック(同形写像)であることを表わす
//


2: 自然言語記述


任意のグループ(群)Gで、オペレーターを持つもの、Gのリバースト(逆向きにされた)オペレーターグループ(群)G~で、オペレーターを持つものに対して、GfG~、ここで、は、fによって'グループ(群)たち - ホモモーフィズム(準同形写像)たち'アイソモーフィック(同形写像)であることを表わす、ここで、f:GG~,pp1


3: 証明


全体戦略: ステップ1: fはバイジェクティブ(全単射)であることを見る; ステップ2: fはグループ(群)ホモモーフィック(準同形写像)であることを見る; ステップ3: 本命題を結論する。

注意として、p1は、G内およびG~内の両方でpのインバース(逆)である、グループ(群)のリバースト(逆向きにされた)オペレーターグループ(群)の定義に対する"注"内で示されているとおり。

ステップ1:

fはバイジェクティブ(全単射)であることを見よう。

p1,p2Gは以下を満たす任意のもの、つまり、p1p2、としよう。f(p1)=f(p2)であったと仮定しよう。p11=p21p1p11p2=p1p21p2p2=p1、矛盾。したがって、f(p1)f(p2)。したがって、fはインジェクティブ(単射)である。

pG~は任意のものであるとしよう。p1G、そして、f(p1)=p。したがって、fはサージェクティブ(全射)である。

ステップ2:

p1,p2Gは任意のものであるとしよう。f(p1p2)=(p2p1)1=p11p21=f(p1)f(p2)

したがって、fはグループ(群)ホモモーフィック(準同形写像)である、任意のグループ(群)たち間の任意のマップ(写像)で任意の2要素たちのプロダクト(積)を当該要素たちのイメージ(像)たちのプロダクト(積)へマップするものはグループ(群) ホモモーフィズム(準同形写像)であるという命題によって。

ステップ3:

fは、'グループ(群)たち - ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)である、任意のバイジェクティブ(全単射)グループ(群)ホモモーフィズム(準同形写像)は'グループ(群)たち - ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)であるという命題によって。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>