サブグループ（部分群）に関するコセット（剰余類）マップ（写像）に対して、サブセット（部分集合）のイメージ（像）のプリイメージ（前像）はサブグループにサブセット（部分集合）を掛けたものであることの記述/証明
話題
About: グループ（群）
この記事の目次
開始コンテキスト
ターゲットコンテキスト
- 読者は、任意のサブグループ（部分群）に関する左または右コセット（剰余類）マップ（写像）に対して、任意のサブセット（部分集合）のイメージ（像）のプリイメージ（前像）は当該サブグループ（部分群）に当該サブセット（部分集合）をそれぞれ左または右から掛けたものであるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のグループ（群）\(G_1\)、任意のサブグループ（部分群）\(G_2 \subseteq G_1\)、左または右コセット（剰余類）マップ（写像）\(\pi: G_1 \rightarrow G_1/G_2\)、任意のサブセット（部分集合）\(S \subseteq G_1\)に対して、\(\pi^{-1} \pi (S) = S G_2\)または\(\pi^{-1} \pi (S) = G_2 S\)。
2: 証明
それを左コセット（剰余類）マップ（写像）に対して証明しよう。任意の要素\(p \in \pi^{-1} \pi (S)\)に対して、\(\pi (p) \in \pi (S)\)。以下を満たすある要素\(p' \in S\)、つまり、\(\pi (p) = \pi (p')\)、それが意味するのは\(p G_2 = p' G_2\)、がある。したがって、\(p \in p' G_2\)、したがって、\(p \in S G_2\)。任意の要素\(p \in S G_2\)に対して、ある要素\(p' \in S\)に対して、\(p \in p' G_2\)。任意のサブグループ（部分群）に関して、グループ（群）の任意の要素によるコセット（剰余類）はあるコセット（剰余類）に等しい、もしも、当該要素が後者コセット（剰余類）の要素である場合、そしてその場合に限って、それらが左コセット（剰余類）たちであろうが右コセット（剰余類）たちであろうと、という命題によって、\(p G_2 = p' G_2\)。\(\pi (p) \in \pi (S)\)。\(p \in \pi^{-1} \pi (S)\)。
それを右コセット（剰余類）マップ（写像）に対して証明しよう。任意の要素\(p \in \pi^{-1} \pi (S)\)に対して、\(\pi (p) \in \pi (S)\)。以下を満たすある要素\(p' \in S\)、つまり、\(\pi (p) = \pi (p')\)、それが意味するのは、\(G_2 p = G_2 p'\)、がある。したがって、\(p \in G_2 p'\)、したがって、\(p \in G_2 S\)。任意の要素\(p \in G_2 S\)に対して、ある要素\(p' \in S\)に対して、\(p \in G_2 p'\)。任意のサブグループ（部分群）に関して、グループ（群）の任意の要素によるコセット（剰余類）はあるコセット（剰余類）に等しい、もしも、当該要素が後者コセット（剰余類）の要素である場合、そしてその場合に限って、それらが左コセット（剰余類）たちであろうが右コセット（剰余類）たちであろうと、という命題によって、\(G_2 p = G_2 p'\)。\(\pi (p) \in \pi (S)\)。\(p \in \pi^{-1} \pi (S)\)。
