694: グループ(群)たち間マップ(写像)で2要素たちのプロダクト(積)を要素たちのイメージ(像)たちのプロダクト(積)へマップするものはグループ(群) ホモモーフィズム(準同形写像)である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
グループ(群)たち間マップ(写像)で2要素たちのプロダクト(積)を要素たちのイメージ(像)たちのプロダクト(積)へマップするものはグループ(群) ホモモーフィズム(準同形写像)であることの記述/証明
話題
About:
グループ(群)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、任意のグループ(群)たち間の任意のマップ(写像)で任意の2要素たちのプロダクト(積)を当該要素たちのイメージ(像)たちのプロダクト(積)へマップするものはグループ(群) ホモモーフィズム(準同形写像)であるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ(実体)たち:
:
:
:
//
ステートメント(言明)たち:
//
2: 自然言語記述
任意のグループ(群)たち、任意のマップ(写像)に対して、もしも、各に対してである場合、はグループ(群) ホモモーフィズム(準同形写像)である。
3: 注1
頻繁に見られるある定義によると、が要求されている全てであるが、私たちはそのスタンスを取らない: %ストラクチャー(構造)種類名%ホモモーフィズム(準同形写像)の定義に対する注を参照。
4: 証明
全体戦略: ステップ1: はアイデンティティ(単位要素)をアイデンティティ(単位要素)へマップすることを見る; ステップ2: は各要素のインバース(逆)を当該要素のイメージ(像)のインバース(逆)へマップすることを見る。
ステップ1:
はアイデンティティ(単位要素)をアイデンティティ(単位要素)へマップすることを見よう。
、したがって、。
ステップ2:
は各要素のインバース(逆)を当該要素のイメージ(像)のインバース(逆)へマップすることを見よう。
各に対して、および、それが意味するのは、。
5: 注2
がアイデンティティ(単位要素)をアイデンティティ(単位要素)へマップすることをいかのようには証明できない: "各に対して、"、なぜなら、たちは必ずしも全体をカバーしない。実のところ、それが、頻繁に見られるリング(環)ホモモーフィズム(準同形写像)の定義(%ストラクチャー(構造)種類名%ホモモーフィズム(準同形写像)の定義に対する注を参照)さえも、マルチプリカティブ(乗法)アイデンティティ(単位要素)をマルチプリカティブ(乗法)アイデンティティ(単位要素)へマップする要求を、定義内に持たなければならない理由である。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>