大学数学基礎解説

文献あり

剰余群の定義

代数学,群論,入門

284

おはなし

前回は置換群とかしていたのですが、今回は剰余群です。理由は特にない！！

本文

同値関係

集合 $S$ 上の関係 $\sim$ が同値関係であるとは、 $\sim$ が次の(i),(ii),(iii)をみたすときをいう。
$\begin{aligned} i) & x & \sim x \\ ii) & x & \sim y \Rightarrow y \sim x \\ iii) & x & \sim y, y \sim z \Rightarrow x \sim z \end{aligned}$
ただし、 $x, y, z \in S$

同値類

集合 $S$ 上に同値関係 $\sim$ が定義されているとき、各 $x \in S$ に対して $S$ の部分集合

C (x) := {y \in S | x \sim y}

を、

x

が定める同値類という。

C (x)

に属する一つの元を

C (x)

の代表元ともいう。

商集合

$S$ に同値関係 $\sim$ が与えられたとき、新しい集合

S / \sim := {C (x) \in 2^{S} | x \in S} \subset 2^{S}

を同地関係

\sim

による商集合という。

S

から商集合

S / \sim

への写像

p : S ↠ S / \sim (x \mapsto C (x))

は全射で、

p

の各ファイバーが同値類である。この写像

p

を(自然な)射影という。

次からが本題のはじまり！

剰余類

$G$ を群とし、その部分群 $H$ を一つ固定する。このとき、 $G$ の元 $x, y$ に対して、関係 $\sim$ を

x \sim y \overset{def}{\Leftrightarrow} x^{- 1} y \in H

と定めると、

\sim

は

G

の同値関係を与える。(実際に成り立つか検証せよ。)
この部分群

H

による同値関係において、

x \in G

の定める同値類は

C (x) = {y \in G | x^{- 1} y \in H}

である。ところで、

x^{- 1} y \in H

ということは、ある

h \in H

に対して

y = x h

であることを意味するから、

G

の部分集合

x H

を

x H := {x h \in G | h \in H}

と定義すると、

C (x) = x H

となる。このような、

x

が代表元となる同値類

x H

のことを、群論においては、

H

による左剰余類という。したがって、

H

による左剰余類全体の集合が、この関係

\sim

による商集合

G / \sim

である。この商集合を

G / H

とかいて、

G

の

H

による左剰余類集合、または、記号に従って

G

を

H

で右から割った集合(または空間)ともいう。
上の代わりに

x \sim^{'} y

を

x y^{- 1} \in H

と定義しても

\sim^{'}

は同値関係となり、

x \in G

が代表元となる同値類は

H x := {h x \in G | h \in H}

である(右剰余類という)この同値関係

\sim^{'}

による商集合

G / \sim^{'}

を

H ∖ G

とかく。

$G$ の部分群 $H$ に対して、 $H$ の左右の剰余類が必ず一致するためには、 $H$ が正規部分群であることが、必要十分である。

左右の剰余類が一致する、すなわち、任意の $x \in G$ に対して、ある $y \in G$ が存在して $x H = H y$ となるとする。このとき $x \in H y$ だから $H x = H y$ が成り立つ。したがって $x H = H x$ となり、これは $x H x^{- 1} = H$ を導く。ゆえに $H ⊲ G$
逆に $H ⊲ G$ ならば $x H x^{- 1} = H (x \in G)$ ゆえ、 $x H = H x$ がすべての $x \in G$ に対して成り立つ。

$H ⊲ G$ とする。
$G / H$ の2つの元 $x H, y H$ に対し、演算を

(x H) (y H) := x y H (x, y \in G)

と定めると。

G / H

は再び群となる。

まず、この定義がうまいくいっていることを確認しなければならない。具体的には、剰余類の代表元の取り方によらず確定することを言わなければならない。すなわち、

x H = x^{'} H, y H = y^{'} H \Rightarrow x y H = x^{'} y^{'} H

をいわなければならない。
よってこれを確かめる。条件からある

h, h^{'} \in H

が存在して、

x = x^{'} h, y = y^{'} h^{'}

とかける。したがって、

x y = x^{'} h y^{'} h^{'}

.ところが、

H ⊲ G

だから

(y^{'})^{- 1} h y^{'} \in H

.したがって、

x y = x^{'} h y^{'} h^{'} = x^{'} y^{'} ((y^{'})^{- 1} h y^{'}) h^{'} \in x^{'} y^{'} H

を得る。これは、

x y H = x^{'} y^{'} H

を意味しており、演算が成り立っていることが確認できた。

$H$ が正規でなければこの演算は写像として無意味であることに注意。

剰余群

正規部分群 $H$ による剰余集合 $G / H$ がなす群を $G$ の $H$ による剰余群(または商群)という。

無限巡回群 $Z$ とその部分群 $n Z$ に対し $n \neq 0$ のとき剰余群 $Z / n Z$ は位数 $| n |$ の有限巡回群である。

メモ

いろいろ命題をいれる。

参考文献

[1]

堀田良之, 代数入門, 裳華房, 2021, pp.18~24

[2]

雪江明彦, 群論入門, 日本, 2010

投稿日：2023年7月19日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Fefr

3048

好きなこと書きます

他の人のコメント

コメントはありません。

読み込み中

Fefr

剰余群の定義

おはなし
本文
次からが本題のはじまり！
メモ
参考文献