異なるグループ（群）左アクションたちに対して、対応するグループ（群）右アクションたちは異なることの記述/証明
話題
About: セット（集合）
About: グループ（群）
この記事の目次
開始コンテキスト
- 読者は、グループ（群）左アクションに対応するグループ（群）右アクションの定義を知っている。
ターゲットコンテキスト
- 読者は、任意の異なるグループ（群）左アクションたちに対して、対応するグループ（群）右アクションたちは異なるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\(G\): \(\in \{ \text{ 全てのグループ（群）たち } \}\)
\(S\): \(\in \{ \text{ 全てのセット（集合）たち } \}\)
\(f_1\): \(: G \times S \to S\), \(\in \{\text{ 全てのグループ（群）左アクションたち }\}\)
\(f_2\): \(: G \times S \to S\), \(\in \{\text{ 全てのグループ（群）左アクションたち }\}\)
\(f'_1\): \(: S \times G \to S\), \(= f_1 \text{ に対応するグループ（群）右アクション }\}\)
\(f'_2\): \(: S \times G \to S\), \(= f_2 \text{ に対応するグループ（群）右アクション }\}\)
//
ステートメント（言明）たち:
\(f_1 \neq f_2\)
\(\implies\)
\(f'_1 \neq f'_2\)
//
2: 証明
全体戦略: ステップ1: \(f'_1 = f'_2\)であると仮定し、\(f_1 = f_2\)であることを見る; ステップ2: 本命題を結論する。
ステップ1:
\(f'_1 = f'_2\)であると仮定しよう。
各\((s, g) \in S \times G\)に対して、\(f'_1 ((s, g)) = f'_2 ((s, g))\)。
それが意味するのは、\(f_1 ((g^{-1}, s)) = f_2 ((g^{-1}, s))\)。
\((s, g^{-1}) \in S \times G\)であるから、\(f_1 (({g^{-1}}^{-1}, s)) = f_2 (({g^{-1}}^{-1}, s))\)。
それが意味するのは、\(f_1 ((g, s)) = f_2 ((g, s))\)。
したがって、結局、各\((g, s) \in G \times S\)に対して、\(f_1 ((g, s)) = f_2 ((g, s))\)、それが意味するのは、\(f_1 = f_2\)。
ステップ2:
対偶として、もしも、\(f_1 \neq f_2\)である場合、\(f'_1 \neq f'_2\)。
