代数学の基本｜群・環・体の定義と具体例をゼロから解説

代数学は数学の構造を考える分野であり，群・環・体は代数学における基本的な概念です．

この群・環・体といった代数構造を定義するためには集合と２項演算が必要で，例えば

• 「整数の集合$\Z$」は「通常の加法$+$」によって群
• 「実数係数の１変数多項式の集合$\R[x]$」は「通常の加法$+$と乗法$\cdot$」によって環
• 「実数の集合$\R$」は「通常の加法$+$と乗法$\cdot$」によって体

となります．

この記事では，

• 二項演算
• 群の定義と具体例
• 環の定義と具体例
• 体の定義と具体例

を順に説明します．

二項演算

まず，二項演算について説明します．

二項演算の定義

例えば，整数の足し算や掛け算は

• $2+3=5$
• $2\cdot3=6$

のように「２つの実数」から新たな「１つの実数」を生み出すものとなっています．

この足し算や掛け算は実数上の二項演算の１つで，一般に集合$A$上の二項演算は次で定義されます．

$a\star b$という記法は足し算を$a+b$で表したり，掛け算を$a\times b$で表すのと同じ気持ちです．

２つの元$a,b\in A$に対して，行き先が$A$上に１つに決まればそれだけで演算というわけですから，演算は無数に考えられますね．例えば，任意の$a,b\in\R$に対して

• $f(a,b)=ab$
• $f(a,b)=a+4b$
• $f(a,b)=b\sin^3{a}$

で定まる$f:\R\times\R\to\R$はいずれも$\R$上の演算です．

もちろん無茶苦茶な演算を考えることもできるので，演算は必ずしも「良い性質」をみたすとは限りません．そのため代数学では「良い性質をもった演算」が定まっている集合を考えるのが普通です．

２項演算の３法則

いま「良い性質をもった演算」と書きましたが，ここで「良い性質」とは

• 結合法則
• 交換法則
• 分配法則

のことを指しています．

［結合法則］と［交換法則］は１つの演算に関する性質であり，［分配法則］は２つの演算に関する性質であることに注意してください．

算数以来，実数の加法$+$と乗法$\times$においてこれらの３法則は当たり前に成り立ってきました．

しかし，大学以降の数学においては交換法則が成り立たないことも珍しくなく，交換法則が成り立つことを可換といい，交換法則が成り立たないことを非可換といいます．

群の定義と具体例

この節では，群を定義し，群の例を挙げます．

群の定義

群の定義は次の通りです．

(1)の$e\in G$を単位元（identity element）といい，(2)の$h\in G$を$g$の逆元（inverse element）といいます．単位元は全ての元に対して$e\star g=g\star e=g$を満たさなければなりませんが，逆元は$g\in G$ごとに決まることに注意してください．

群の定義から分かるように，群は「集合」と「演算」により定まるわけですね．

乗法と加法の使い分け

群における慣習的な乗法と加法という言葉の使い分け方について説明します．

可換群の場合にも非可換群の場合にも群に定まっている演算は「乗法」と呼ばれることが多く，「乗法」と呼ぶ場合には演算の記号は$\cdot$や$\times$で表すことが多いです．

一方，群に定まっている演算を「加法」と言った場合には，その演算は可換であることが普通です．すなわち，非可換な演算を「加法」と呼ぶことはまずありません．

他に

• 乗法$\cdot$の記号は省略することも多いが，加法$+$の記号は省略しない
• 乗法に関する$g$の逆元は$g^{-1}$で表し，加法に関する$g$の逆元は$-g$で表す

という慣習もあります．また，乗法による計算結果を積，加法による計算結果を和といいます．

群の具体例

以下に群の例を挙げます．

例１（自明な群）

１つの元のみからなる集合$X=\{x\}$を考えます．

このとき，$X$上の演算は$(x,x)\mapsto x$しかあり得ませんが，この演算を乗法$\cdot$とすることにより$(X,\cdot)$は可換群となります．

この群１つの元のみからなる集合を自明な群(trivial group)といいます．

例２（可換群$(\Z,+)$）

整数の集合$\Z$と，通常の加法$+$の組$(\Z,+)$を考えます．

ここで，「通常の加法」とは小学校から扱ってきた単なる足し算のことで，

1. 任意の$n\in\Z$に対して$n+0=0+n=n$が成り立つので，単位元は０です．
2. 任意の$n\in\Z$に対して$n+(-1)n=(-1)n+n=0$が成り立つので$-n=(-1)n$です．
3. 整数の足し算なので［結合法則］は成り立ちます．
4. 整数の足し算なので［交換法則］は成り立ちます．

よって，組$(\Z,+)$が可換群であることが分かりました．

例３（可換群$(\Q\setminus\{0\},\cdot)$）

有理数の集合から０を除いた集合$\Q\setminus\{0\}$と，通常の乗法$\cdot$の組$(\Q\setminus\{0\},\cdot)$を考えます．

ここで，「通常の乗法」とは小学校から扱ってきた単なる掛け算のことで，

1. 任意の$x\in\Q\setminus\{0\}$に対して$1\cdot x=x\cdot1=x$が成り立つので，単位元は１です．
2. 任意の$x\in\Q\setminus\{0\}$に対して$x\cdot\dfrac{1}{x}=\dfrac{1}{x}\cdot x=1$が成り立つので，$x^{-1}=\dfrac{1}{x}$です．
3. 有理数の掛け算なので［結合法則］は成り立ちます．
4. 有理数の掛け算なので［交換法則］は成り立ちます．

よって，組$(\Q\setminus\{0\},\cdot)$が可換群であることが分かりました．

例４（群でない組$(\Z,\cdot)$）

整数の集合$\Z$と，通常の乗法$\cdot$の組$(\Z,\cdot)$を考えます．

• 任意の$n\in\Z$に対して$1\cdot n=n\cdot1=n$が成り立つ
• $2\in\Z$に対して$2\cdot n=1$をみたすような$\Z$の元は存在しないから，$2\in\Z$は逆元を持たない

となっています．群は任意の元が逆元を持たなければなりませんから，組$(\Z,\cdot)$は群でないことが分かりました．

例５（可換群$(\Mat_{mn}(\R),+)$）

実数成分の$m\times n$行列全部の集合$\Mat_{mn}(\R)$と，通常の加法$+$の組$(\Mat_{mn}(\R),+)$は可換群です．

1. 任意の$A\in\Mat_{mn}(\R)$に対して$A+O=O+A=A$が成り立つので，単位元は零行列$O$です．
2. 任意の$A\in\Mat_{mn}(\R)$に対して$A+(-1)A=(-1)A+A=0$が成り立つので，$(-1)A$が$A$の逆元です．
3. 各成分で$\R$の加法なので［結合法則］は成り立ちます．
4. 各成分で$\R$の加法なので［交換法則］は成り立ちます．

よって，組$(\Mat_{mn}(\R),+)$が可換群であることが分かりました．

例６（非可換群$(\mathrm{GL}_n(\R),\cdot)$）

実数成分の$n$次正則行列の集合$\mathrm{GL}_n(\R)$と，通常の乗法$\cdot$の組$(\mathrm{GL}_n(\R),\cdot)$は群ですが，可換ではありません．

1. 任意の$A\in\mathrm{GL}_n(\R)$に対して$AI=IA=A$が成り立つので，単位元は単位行列$I$です．
2. 任意の$A\in\mathrm{GL}_n(\R)$に対して，逆行列$A^{-1}$が$A$の逆元です．
3. 行列の積なので［結合法則］は成り立ちます．
4. 行列の積なので［交換法則］は成り立ちません．

よって，組$(\mathrm{GL}_n(\R),\cdot)$は群ですが，可換群ではないことが分かりました．

例７（非可換群$(S_n,\cdot)$）

$n$次の置換全部の集合$S_n$と，置換の合成$\circ$として定まる積$\cdot$の組$(S_n,\cdot)$は群ですが，可換ではありません．

1. $\epsilon\in S_n$を単位置換とすると，任意の$\sigma\in S_n$に対して$\sigma\cdot\epsilon=\epsilon\cdot\sigma=\sigma$が成り立つので，単位元は$\epsilon$です．
2. 任意の$\sigma\in S_n$に対して，$\sigma^{-1}$が$\sigma$の逆元です．
3. 置換の積（合成）なので［結合法則］は成り立ちます．
4. 置換の積（合成）なので［交換法則］は成り立ちません．

よって，組$(S_n,\cdot)$は群ですが，可換群ではないことが分かりました．

参考文献

以下は群論の参考文献です．

代数学1 群論入門 (雪江明彦 著/日本評論社)

なお，本書について，詳しくは以下の書評を参照してください．

オススメ入門書｜代数学１ 群論入門（雪江明彦著，日本評論社）

代数学の群論の入門書です．具体例と演習問題が豊富な上に説明が丁寧なので，「具体例→抽象化」のステップで理解を深めやすく，初学者や独習者にも強くオススメできます．

math-note.xyz

環の定義と具体例

この節では，環を定義し，環の例を挙げます．

環の定義

環の定義は次の通りです．

条件１の加法$+$に関する単位元を加法単位元（additive identity）と零元（zero element）といい０で表し，条件２の$e\in R$を乗法単位元（multiplicative identity）といい１で表します．

• 条件１は加法$+$に関する条件
• 条件２と条件３は乗法$\cdot$に関する条件
• 条件４は加法と乗法に関する条件

ですね．

加法$+$と乗法$\cdot$は別々に勝手にとっていいわけではなく，条件４の［分配法則］が成り立つ程度に加法$+$と乗法$\cdot$の整合性を保っていなければならないというわけですね．

また，環においては，乗法$\cdot$に関して逆元を持たない元があっても構いません．

群においてもそうでしたが，「有理数の集合$\Q$は環か？」などと問われても演算が何であるか分からないため環であるかどうか答えようがなく，「$\Q$に定義されている加法と乗法は何ですか？」と逆に問い返すことになります．

環の具体例

以下に環の例を挙げます．

例１（零環）

１つの元のみからなる集合$X=\{x\}$を考えます．

このとき，$X$上の演算は$(x,x)\mapsto x$しかあり得ませんが，この演算を加法$+$と乗法$\cdot$とすることにより$(X,+,\cdot)$は可換環となります．

この群１つの元のみからなる集合を零環(zero ring)といいます．

環に関する多くの理論は加法単位元０と乗法単位元１が異なるとして考える方が都合が良く，これらが一致する零環には一般論が通用せず都合が悪いことが多いです．

そのため，環を考える際には初めから$0\neq1$として零環を除いておくことが多いです．

例２（可換環$(\Q,+,\cdot)$）

有理数の集合$\Q$と，通常の加法$+$と乗法$\cdot$の組$(\Q,+,\cdot)$は可換環です．

1. 加法$+$に関して$\Q$は可換群です：
   1. 任意の$x\in\Q$に対して$x+0=0+x=x$が成り立つので，加法単位元は０です．
   2. 任意の$x\in\Q$に対して$x+(-1)x=(-1)x+x=0$が成り立つので，$-x=(-1)x$です．
   3. 有理数の足し算なので，［結合法則］は成り立ちます．
   4. 有理数の足し算なので，［交換法則］は成り立ちます．
2. 任意の$r\in\Q$に対して$1\cdot r=r\cdot 1=r$が成り立つので，乗法単位元は１です．
3. 有理数の掛け算なので［結合法則］が成り立ちます．
4. 有理数の足し算と掛け算なので［分配法則］は成り立ちます．
5. 有理数の掛け算なので［交換法則］は成り立ちます．

したがって，組$(\Q,+,\cdot)$が可換環であることが分かりました．

例３（可換環$(\R[x],+,\cdot)$）

実数係数多項式の集合$\R[x]$と，通常の加法$+$と乗法$\cdot$の組$(\R[x],+,\cdot)$は可換環です．

1. 加法$+$に関して$\R[x]$は可換群です：
   1. 任意の$f(x)\in\R[x]$に対して$f(x)+0=0+f(x)=f(x)$が成り立つので，加法単位元は０(恒等的に値０の多項式)です．
   2. 任意の$f(x)\in\R[x]$に対して$f(x)+(-1)f(x)=(-1)f(x)+f(x)=0$が成り立つので，$-f(x)=(-1)f(x)$です．
   3. 有理数の足し算なので［結合法則］は成り立ちます．
   4. 有理数の足し算なので［交換法則］は成り立ちます．
2. 任意の$f(x)\in\R[x]$に対して$1\cdot f(x)=f(x)\cdot 1=r$が成り立つので，乗法単位元は１(恒等的に値１の多項式)です．
3. 多項式の掛け算なので［結合法則］が成り立ちます．
4. 多項式の足し算と掛け算なので［分配法則］は成り立ちます．
5. 多項式の掛け算なので［交換法則］は成り立ちます．

したがって，組$(\R[x],+,\cdot)$が可換環であることが分かりました．

例４（可換環$(\Z/6\Z,+,\cdot)$）

$\Z/6\Z=\{0,1,2,3,4,5\}$において，加法$+$と乗法$\cdot$を

• 加法$+$：$a,b\in\Z/6\Z$に対して，$\Z$の通常の加法で$a+b$を計算して，６で割った余りを$\Z/6\Z$の和とする．
• 乗法$\cdot$：$a,b\in\Z/6\Z$に対して，$\Z$の通常の乗法で$a\cdot b$を計算して，６で割った余りを$\Z/6\Z$の積とする．

と定めると，組$(\Z/6\Z,+,\cdot)$は可換環です．

例えば，加法に関しては

• $1+2=3$
• $2+3=5$
• $3+5=2$

であり，乗法に関しては

• $1\cdot3=3$
• $2\cdot3=0$
• $3\cdot5=3$

ですね．イメージとしては，$0,1,2,3,4,5,0,1,2,\dots$のように６になると０に戻る演算だと思えばよいですね．

1. 加法$+$に関して$\Z/6\Z$は可換群です：
   1. 任意の$x\in\Z/6\Z$に対して$n+0=0+n=n$が成り立つので，加法単位元は０です．
   2. $0+0=0$, $1+5=5+1=0$, $2+4=4+2=0$, $3+3=0$なので，$-0=0$, $-1=5$, $-2=4$, $-3=3$, $-4=2$, $-5=1$となって，任意の$n\in\Z/6\Z$に対して，$n$の逆元が存在します．
   3. $\Z$の通常の加法$+$では［結合法則］が成り立つから，$\Z$の計算をして６で割った余りを考えることで［結合法則］は成り立ちます．
   4. $\Z$の通常の加法$+$では［交換法則］が成り立つから，$\Z$の計算をして６で割った余りを考えることで［交換法則］は成り立ちます．
2. 任意の$n\in\Z/6\Z$に対して$1\cdot n=n\cdot 1=n$が成り立つので，乗法単位元は１です．
3. $\Z$の通常の乗法$\cdot$では［結合法則］が成り立つので，$\Z$の計算をして６で割った余りを考えることで［結合法則］は成り立ちます．
4. $\Z$の通常の加法$+$と乗法$\cdot$では［分配法則］が成り立つので，$\Z$の計算をして６で割った余りを考えることで［分配法則］は成り立ちます．
5. $\Z$の通常の乗法$\cdot$では［交換法則］が成り立つので，$\Z$の計算をして６で割った余りを考えることで［交換法則］は成り立ちます．

したがって，組$(\Z/6\Z,+,\cdot)$が可換環であることが分かりました．

例５（非可換環$(\Mat_(\R),+,\cdot)$）

実数成分の$n$次正方行列の集合$\Mat_n(\R)$と，通常の加法$+$と乗法$\cdot$の組$(\Mat_n(\R),+,\cdot)$は環ですが，可換環ではありません．

1. 加法$+$に関して$\Mat_n(\R)$は可換群です：
   1. 加法単位元は零行列$O$です．
   2. 任意の$A\in \Mat_n(\R)$に対して，$(-1)A$が$A$の逆元です．
   3. 通常の行列の加法$+$なので［結合法則］は成り立ちます．
   4. 通常の行列の加法$+$なので［交換法則］は成り立ちます．
2. 乗法単位元は単位行列$I$です．
3. 通常の行列の乗法$\cdot$なので［結合法則］は成り立ちます．
4. 通常の行列の加法$+$と乗法$\cdot$なので［分配法則］は成り立ちます．
5. 通常の行列の乗法$\cdot$なので［交換法則］は成り立ちません．

したがって，組$(\Mat_n(\R),+,\cdot)$が環ですが，可換環ではないことが分かりました．

体の定義と具体例

この節では，体を定義し，体の例を挙げます．

体の定義

体の定義は次の通りです．

可換環においては，乗法$\cdot$に関する逆元は条件に含まれていませんでした．そこで「可換環の全ての元に逆元が存在する」という条件を付け加えたものが体というわけです．

大雑把に言えば，体は可換な加乗除ができる集合ということですね．

なお，

• 加法単位元０以外の全ての元に逆元を持つ環を可除環 (division ring)
• 非可換な可除環を斜体 (skew field)

といいます．ただし，「可除環」と「斜体」の定義を同じとする流儀もあるので注意が必要です．

体の具体例

以下に体の例を挙げます．

例１（体$(\Q,+,\cdot)$）

有理数の集合$\Q$と，通常の加法$+$と乗法$\cdot$の組$(\Q,+,\cdot)$は体です．

環の例１で可換環であることは確かめました．

また，乗法単位元は１であり，任意の$x\in\Q\setminus\{0\}$に対して，$x$の乗法$\cdot$に関する逆元$\dfrac{1}{x}\in\Q$が存在します．

したがって，組$(\Q,+,\cdot)$が体であることが分かりました．

例２（体$(\Z/7\Z,+,\cdot)$）

$\mathbb{F}_7=\Z/7\Z=\{0,1,2,3,4,5,6\}$において，加法$+$と乗法$\cdot$を

• 加法$+$：$a,b\in\mathbb{F}_7$に対して，$\Z$の通常の加法で$a+b$を計算して，７で割った余りを$\mathbb{F}_7$の和とする．
• 乗法$\cdot$：$a,b\in\mathbb{F}_7$に対して，$\Z$の通常の乗法で$a\cdot b$を計算して，７で割った余りを$\mathbb{F}_7$の積とする．

と定めると，組$(\mathbb{F}_7,+,\cdot)$は体です．

環の例４の$(\Z/6\Z,+,\cdot)$と同様にイメージとしては$0,1,2,3,4,5,6,0,1,2,\dots$のように７になると０に戻る演算だと思えばよく，環の例３と同様に考えて$\mathbb{F}_7$が可換環であることが分かります．

また，乗法単位元は１であり，

   

なので，任意の$n\in\mathbb{F}_7\setminus\{0\}$に対して，$n$の乗法$\cdot$に関する逆元が存在します．

よって，組$(\mathbb{F}_7,+,\cdot)$が体であることが分かりました．

実は，一般に２以上の整数$p$に対して

• $p$は素数である
• $(\Z/p\Z,+,\cdot)$は体である

が同値であり，素数$p$に対して$(\Z/p\Z,+,\cdot)$は体となり，$\Z/p\Z$を$\mathbb{F}_p$で表すことが多いです．

例３（体$(\Q[\sqrt{5}],+,\cdot)$）

集合$\Q[\sqrt{5}]=\set{a+b\sqrt{5}}{a,b\in\Q}$と，通常の加法$+$と乗法$\cdot$の組$(\Q[\sqrt{5}],+,\cdot)$は可換環です．

加法$+$と乗法$\cdot$が演算になっていることを確認しなければなりませんが，それは任意の$a+b\sqrt{5},c+d\sqrt{5}\in\Q[\sqrt{5}]$に対して，

   

なので，確かに加法$+$と乗法$\cdot$は$\Q[\sqrt{5}]$上の演算ですね．

1. 加法$+$に関して$\Q[\sqrt{5}]$は可換群です：
   1. 任意の$x\in\Q[\sqrt{5}]$に対して$x+0=0+x=x$が成り立つので，加法単位元は０です．
   2. 任意の$x\in\Q[\sqrt{5}]$に対して$x+(-x)=(-x)+x=0$が成り立つので，$-x$が$x$の逆元です．
   3. 実数の足し算なので［結合法則］は成り立ちます．
   4. 実数の足し算なので［交換法則］は成り立ちます．
2. 任意の$x\in\Q[\sqrt{5}]$に対して$1\cdot x=x\cdot 1=x$が成り立つので，乗法単位元は１です．
3. 実数の掛け算なので［結合法則］が成り立ちます．
4. 実数の足し算と掛け算なので［分配法則］は成り立ちます．
5. 有理数の掛け算なので［交換法則］は成り立ちます．
6. $\Q[\sqrt{5}]$の$0$でない任意の元$a+b\sqrt{5}$に対して，$\dfrac{a-b\sqrt{5}}{a^2-5b^2}\in\Q[\sqrt{5}]$が逆元として存在します．

したがって，組$(\Q[\sqrt{5}],+,\cdot)$が体であることが分かりました．

参考文献

以下は，環論と体論の参考文献です．

代数学２ 環と体とガロア理論 (雪江明彦著，日本評論社)