商群

数学において、**商群**（しょうぐん、）あるいは**剰余群**、**因子群**とは、群構造を保つ同値関係を用いて、大きい群の要素を同一視できる関係により一塊としてみなすことで得られる群であり、それぞれの塊がその群の元となる。例えば、を法とした加法の巡回群は次の様にして得られる。大きい群として加法を演算とする整数の群を取り、差が  の倍数の元を同一視し、そのような各類（合同類と呼ばれる）を１つの要素とし、これによって得られるn個の要素の間に働く群構造を定義する。群論と呼ばれる数学の分野の一部である。

群の合同関係において、単位元となる同値類はつねにもとの群の正規部分群であり、他の同値類たちはちょうどその正規部分群の剰余類たちである。得られる商群は  と書かれる、ただし  はもとの群で  は正規部分群である。（これは「（ジーモッドエヌ）」と読まれる。"mod" は modulo の略である。）

商群の重要性の多くはその準同型との関係に由来する。第一同型定理は任意の群  の準同型による像はつねに  のある商と同型であると述べている。具体的には、準同型  による  の像は  と同型である、ただし  は  の核 を表す。

商群の双対概念は部分群であり、これらが大きい群から小さい群を作る2つの主要な方法である。任意の正規部分群  は、大きい群から部分群  の元の間の差異を除去して得られる、対応する商群を持つ。圏論では、商群は商対象の例であり、これは部分対象の双対である。商対象の他の例は、商環、商線型空間、商位相空間、商集合を参照。

## 定義と説明
群  と部分群  と、 の元  が与えられると、対応する左剰余類  を考えることができる。剰余類は群の部分集合の自然な類である；例えば、整数全体のなすアーベル群  と偶数全体からなる部分群  を考えよう。するとちょうど2つの剰余類があり、1つは  で、偶数全体からなり、もう1つは  で、奇数全体からなる（ここで二項演算には乗法的ではなく加法的な表記を用いている）。

一般の部分群  に対して、すべての剰余類 からなる集合に協調的な群演算を定義することが望ましい。これは以下に見るように  が正規部分群であるときにちょうど可能である。群  の部分群  が正規であるとは、 のすべての元  に対して剰余類の等式  が成り立つことをいう。 の正規部分群は  と書かれる。

### 定義

 を群  の正規部分群とする。集合  を  の  におけるすべての左剰余類からなる集合と定義する、すなわち、 とする。 上の演算を次のように定義する。 の各元  と  に対し、 と  の積は  である。これは  上の演算を定めている、なぜならば  の部分集合の次の等式が成り立つからである：

:

ここで  が正規部分群であることを本質的に用いている。 上のこの演算が結合的で、単位元  を持ち、 の元  の逆元は  であることが確かめられる。したがって、集合  に上で定義された演算を考えると群をなす；これは  の  による**商群** (quotient group) と呼ばれる。

 の正規性により、 の  における左剰余類たちと右剰余類たちは等しく、したがって代わりに  を  の  における右剰余類たちの集合として定義することもできた。

### 例：6を法とした加法

例えば、6を法とした加法の群  を考えよう。部分群  を考える。これは  が可換だから正規である。すると（左）剰余類全体の集合は3元からなる：

:

上で定義された二項演算はこの集合を商群と呼ばれる群にし、この場合位数 3 の巡回群に同型である。

## 名前「商」の動機づけ
 が商群と呼ばれる理由は整数の除法から来る。12 を 3 で割ると答えは 4 である、なぜならば 12 個のモノを 3 コのモノからなる 4 つのグループに分けることができるからである。商群は同じ思想であるが、最終的な答えは数ではなく群である、なぜならば群はモノの任意の集まりよりも多くの構造を持っているからである。

詳しく述べるため、 を  の正規部分群として、 を見ると、群構造は自然な「グループ分け」をするために用いられる。これらは  の  における剰余類である。群と正規部分群から始めたから、最終的な商は（通常の割り算が与える）単なる剰余類の個数よりも多くの情報を含んでおり、それ自身群構造を持つ。

## 例

整数  が加法についてなす群と、すべての偶数からなる部分群  を考える。これは  が可換群なので正規部分群である。剰余類は2つしかない：偶数全体の集合と奇数全体の集合である；したがって、商群  は2つの元を持つ巡回群である。この商群は2を法とする加法をもつ集合  に同型である；インフォーマルには、 は2を法とする加法をもつ集合  に「等しい」と言うこともある。

この例を少し一般化する。再び整数が加法についてなす群  を考える。 を任意の正整数とする。 のすべての倍数からなる  の部分群  を考える。 は可換なのでその部分群  は正規である。剰余類たちの集合は  である。整数  は、 を  で割った余りを  とすると、剰余類  に属する。商  は  で割った「余り」の群と考えることができる。これは位数  の巡回群である。

の  乗根全体を考えると、これは単位円周に乗っているが、乗法についてアーベル群  をなす。数が色つきの点で偏角とともに絵に描かれている。赤い点で示されている、1の4乗根全体のなす部分群  を考える。この正規部分群は群を赤、緑、青で示されている、3つの剰余類に分ける。剰余類たちが3元からなる群をなすことを確認できる（赤の元と青の元の積は青、青の元の逆元は緑、など）。したがって、商群  は3色の群で、3つの元をもつ巡回群であることが分かる。

実数が加法についてなす群  とその整数からなる部分群  を考える。 における  の剰余類はすべて、 を実数として  の形の集合である。そのような剰余類を足すことは対応する実数を足し、結果が 1 以上ならば 1 を引くことによってなされる。商群  は円周群  に同型であり、これは絶対値 1 の複素数が乗法についてなす群、あるいはそれに対応して、2次元で原点についての回転のなす群、すなわち特殊直交群  である。同型は  によって与えられる（オイラーの公式を参照）。

 が可逆 3 × 3 実行列全体の乗法群で、 がその行列式 1 の部分群であるとき、 は  において正規である（なぜなら行列式を取る準同型の核なので）。 の剰余類は与えられた行列式を持つ行列全体の集合であり、したがって  は非零実数のなす乗法群に同型である。群  は特殊線型群  と呼ばれる。

アーベル群 （すなわち 4 を法とする加法をもつ集合 ）とその部分群  を考える。商群  は  である。これの群の単位元は  であり、群の演算は  などとなる。部分群  と商群  はともに  に同型である。

乗法群 G=\mathbf{Z}^*_{n^2} を考える。 乗剰余の集合  は \mathbf{Z}^*_{n} に同型な乗法的部分群である。このとき  は  で正規であり、商群  は剰余類  である。Paillier暗号は  のランダムな元の剰余類を  の因数分解を知らずに決定することは難しいという予想に基づいている。

## 性質
商群  は自明群（ただ1つの元を持つ群）に、 は  に、同型である。

 の位数、すなわち元の個数は、 すなわち  の  における指数に等しい。 が有限ならば、指数は  の位数を  の位数で割ったものにも等しい。 と  がともに無限でも  は有限かもしれないことに注意（例えば ）。

 の各元  を  が属する  の剰余類に送る「自然な」全射群準同型  すなわち  が存在する。写像  はときに  の  の上への自然な射影と呼ばれるその核は  である。

 を含む  の部分群たちと  の部分群たちの間には全単射な対応がある； が  の  を含む部分群ならば、 の対応する部分群は  である。この対応は  と  の正規部分群たちに対しても成り立ち、対応定理として定式化される。

商群のいくつかの重要な性質は準同型定理と同型定理に含まれている。

 がアーベル、冪零、可解、巡回、あるいは有限生成ならば、 もそうである。

 が有限群  の部分群で、 の位数が  の位数の 1/2 ならば、 は正規部分群であることが保証され、商群  が存在し、 に同型である。この結果は「指数 2 の任意の部分群は正規である」と述べることもでき、この形では無限群にも適用できる。さらに、 が有限群  の位数を割り切る最小の素数であるとき、 の位数が  ならば、 は  の正規部分群でなければならない。

 と正規部分群  が与えられると、 は  の  による群拡大である。この拡大が自明あるいは分裂するかどうか問うことができる。言い換えると、 が  と  の直積あるいは半直積であるかどうかを問うことができる。これは拡大問題の特別な場合である。拡大が分裂しない例は以下である： とし、とする。 は  に同型である。このとき  も  に同型である。しかし  は自明な自己同型しか持たないから、 と  の半直積は直積しかない。 は  とは異なるから、 は  と  の半直積ではない。

## リー群の商
 がリー群で  が  の正規リー部分群であるとき、商  もまたリー群である。この場合、もとの群  は底空間が  ファイバーが  のファイバー束（具体的には主  束）の構造を持つ。

正規でないリー部分群  に対し、左剰余類の空間  は群ではないが、単に  が作用する可微分多様体である。これは等質空間と呼ばれる。

## 関連項目
*群の拡大
*対応定理
*
*短完全列

## 脚注

## 参考文献
* 
*