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

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

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

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

となります．

この記事では，

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

を順に説明します．

スクロールできます

二項演算
1. 二項演算の定義
2. ２項演算の３法則
群の定義と具体例
環の定義と具体例
1. 環の定義
2. 環の具体例
体の定義と具体例
1. 体の定義
2. 体の具体例
参考文献

二項演算

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

二項演算の定義

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

$2 + 3 = 5$
$2 \cdot 3 = 6$

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

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

［二項演算］集合 $A$ に対して，写像 $f : A \times A \to A$ を $A$ 上の二項演算(または，単に演算)という．

また「演算を $⋆$ とする」と書いた場合は， $a, b \in A$ の $⋆$ による演算を $a ⋆ b$ と表す．

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

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

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

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

$R$ は実数全部の集合を指します．そのため，「 $a, b \in R$ に対して」は「実数 $a$ , $b$ に対して」と同じ意味です．

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

２項演算の３法則

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

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

のことを指しています．

［結合法則］集合 $A$ に演算 $⋆$ が定まっているとする．このとき，任意の $a, b, c \in A$ に対して，

$\begin{align*}(a\star b)\star c=a\star (b\star c)\end{align*}$

が成り立つことを，結合法則（associative law）が成り立つという．

［交換法則］集合 $A$ に演算 $⋆$ が定まっているとする．このとき，任意の $a, b, c \in A$ に対して，

$\begin{align*}a\star b=b\star a\end{align*}$

が成り立つことを，交換法則（commutative law）が成り立つという．

［分配法則］集合 $A$ に２つの演算 $\circ$ と $⋆$ が定まっているとする．このとき，任意の $a, b, c \in A$ に対して，

$\begin{align*}a\star(b\circ c)=(a\star b)\circ (a\star c),\quad (a\circ b)\star c=(a\star c)\circ (b\star c)\end{align*}$

が成り立つことを，分配法則（distributive law）が成り立つという．

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

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

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

スクロールできます

群の定義と具体例

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

群の定義

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

［群］集合 $G$ に演算 $⋆$ が定まっているとする．次の３条件を満たすとき，集合と演算の組 $(G, ⋆)$ を群 (group)という．演算が明らかな場合は，単に $G$ を群ということも多い．

ある $e \in G$ が存在して，任意の $g \in G$ に対して $e ⋆ g = g ⋆ e = g$ が成り立つ．
任意の $g \in G$ に対して，ある $h \in G$ が存在して $g ⋆ h = h ⋆ g = e$ が成り立つ．
演算 $⋆$ に関して［結合法則］が成り立つ．

加えて次を満たすとき，群 $(G, ⋆)$ は可換群（commutative group）またはアーベル群（abelian group）であるという．

演算 $⋆$ に関して［交換法則］が成り立つ．

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

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

そのため，「自然数の集合 $Z$ は群か？」と問われても，演算が何か分からないため群であるかどうか答えようがないので，「 $Z$ に定義されている演算は何ですか？」と逆に問い返すことになります．

乗法と加法の使い分け

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

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

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

他に

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

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

群の具体例

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

例１（自明な群）

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

例２，例３，例４から，次のことが分かりますね．

例２と例４から，同じ集合であっても演算が異なれば群であったりなかったりする
例３と例４から，同じ演算であっても集合が異なれば群であったりなかったりする

例５（可換群 $({Mat}_{m n} (R), +)$ ）

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

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

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

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

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

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

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

$({GL}_{n} (R), \cdot)$ は一般線形群（general linear group）とよばれており，重要な非可換群のひとつです．

例７（非可換群 $(S_{n}, \cdot)$ ）

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

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

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

群 $(S_{n}, \cdot)$ は $n$ 次対称群（symmetric group）とよばれており，重要な非可換群のひとつです．

参考文献

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

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

本書は群論の入門書です．

具体例が多く行間が少ないため，初学者にも非常に読みやすい良著です．さらに，章末問題が豊富な上に解答の解説も非常に丁寧です．

章末問題のレベルもその章で学んだ基本的な内容から，少し考える問題まで様々なので理解を深めるのに非常に便利です．

また，「群論入門」は予備知識をあまり仮定せず，必要事項を第１章にまとめてあり，１から独学で学ぶことができる点も嬉しいところですね．

Amazon 楽天市場

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

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

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

環の定義と具体例

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

環の定義

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

［環］集合 $R$ に２つの演算 $+$ , $\cdot$ が定まっているとする．次の４条件を満たすとき，集合と演算の組 $(R, +, \cdot)$ を環（ring）という．演算が明らかな場合は，単に $R$ を環ということも多い．

$(R, +)$ は可換群である．
ある $e \in R$ が存在して，任意の $r \in R$ に対して $e \cdot r = r \cdot e = r$ が成り立つ．
演算 $\cdot$ に関して［結合法則］が成り立つ．
演算 $+$ と $\cdot$ に関して［分配法則］が成り立つ．

このとき， $+$ を加法， $\cdot$ を乗法という．加えて次をみたすとき，環 $(R, +, \cdot)$ は可換環（commutative ring）であるという．

演算 $\cdot$ に関して［交換法則］が成り立つ．

群の場合の演算は $+$ や $\cdot$ などいろんな書き方をすることがありますが，環の場合にはほぼ加法を $+$ ，乗法を $\cdot$ (または $\times$ )と書きます．

条件１の加法 $+$ に関する単位元を加法単位元（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 \neq 1$ として零環を除いておくことが多いです．

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

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

加法 $+$ に関して $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. 有理数の足し算なので，［交換法則］は成り立ちます．
任意の $r \in Q$ に対して $1 \cdot r = r \cdot 1 = r$ が成り立つので，乗法単位元は１です．
有理数の掛け算なので［結合法則］が成り立ちます．
有理数の足し算と掛け算なので［分配法則］は成り立ちます．
有理数の掛け算なので［交換法則］は成り立ちます．

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

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

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

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

したがって，組 $(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 \cdot 3 = 3$
$2 \cdot 3 = 0$
$3 \cdot 5 = 3$

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

加法 $+$ に関して $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$ の計算をして６で割った余りを考えることで［交換法則］は成り立ちます．
任意の $n \in Z / 6 Z$ に対して $1 \cdot n = n \cdot 1 = n$ が成り立つので，乗法単位元は１です．
$Z$ の通常の乗法 $\cdot$ では［結合法則］が成り立つので， $Z$ の計算をして６で割った余りを考えることで［結合法則］は成り立ちます．
$Z$ の通常の加法 $+$ と乗法 $\cdot$ では［分配法則］が成り立つので， $Z$ の計算をして６で割った余りを考えることで［分配法則］は成り立ちます．
$Z$ の通常の乗法 $\cdot$ では［交換法則］が成り立つので， $Z$ の計算をして６で割った余りを考えることで［交換法則］は成り立ちます．

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

例５（非可換環 $({Mat}_{(} R), +, \cdot)$ ）

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

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

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

体の定義と具体例

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

体の定義

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

［体］零環でない可換環 $(F, +, \cdot)$ が体 (field)であるとは，任意の $a \in F ∖ {0}$ に対して乗法逆元 $a^{- 1}$ が存在することをいう．

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

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

なお，

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

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

体の具体例

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

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

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

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

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

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

同様にして，実数全部の集合 $R$ ，複素数全部の集合 $C$ も通常の加法 $+$ と乗法 $\cdot$ により体となります．

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

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

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

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

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

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

$\begin{align*}1\cdot1=1,\quad 2\cdot4=1,\quad 3\cdot5=1,\quad 6\cdot6=1\end{align*}$

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

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

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

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

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

環の例４の $(Z / 6 Z, +, \cdot)$ は体ではありません．これは逆元をもたない元が存在するためです．

例えば， $2 \in Z / 6 Z$ にはどの $0, 1, \dots, 5 \in Z / 6 Z$ をかけても１となりません．つまり，２の逆元は存在しません．

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

集合 $Q [\sqrt{5}] = {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}]$ に対して，

$\begin{align*}&(a+b\sqrt{5})+(c+d\sqrt{5})=(a+b)+(c+d)\sqrt{5}\in\Q[\sqrt{5}], \\&(a+b\sqrt{5})\cdot(c+d\sqrt{5})=(ac+5bd)+(ad+bc)\sqrt{5}\in\Q[\sqrt{5}]\end{align*}$

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

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

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

参考文献

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

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

本書は環論，体論の入門書です．

先ほど紹介した第１巻の「群論入門」と同じく，具体例と章末問題が豊富で，独学でも十分に読み進めることができます．

特に代数学の１つの大きな分野であるガロア理論について具体例を丁寧に扱っているのは初学者にありがたいですね．

なお，私の体験としてガロア理論で様々な例を扱うのは良い演習になるようで，本書のガロア理論の具体例をしっかり読み込むことで環論と体論の理解がより深まりました．

ただし，残念なのは誤植が散見されることで，読み進める際にはきちんと自身で行間を埋めつつ読むようにしてください．

Amazon 楽天市場

ごたんより:

2018-10-04 6:37 am

独学で代数学を勉強しております。専門書に載っている $(Q, +, \cdot)$ のような表記の意味などが良くわからずとても苦戦しておりましたが、この記事のお陰で理解が深まりました。ありがとうございます！！

返信
- yama-taku より:
  
  2018-10-05 4:59 am
  
  コメントをありがとうございます．
  お力になれたようで嬉しく思います！
  
  返信
sakamoto より:

2021-04-17 8:41 pm

とてもよくわかりました
一部難しいところもありましたが･･･またいずれ見に来ます
それにしても、高校を卒業してすぐこんな勉強をするなんて、大学生ってすごいんですねえ

返信
- yama-taku より:
  
  2021-04-18 7:56 pm
  
  コメントをありがとうございます！
  高校を卒業してすぐというわけではありませんが，大学に入ると高校のときよりも抽象度の高い数学を学ぶことになりますね．
  抽象度を高めるとそれだけ応用の幅が広くなるので，たとえば群は純粋数学だけではなく，化学の分子構造の対称性などに応用されたりします．
  
  ぜひまた勉強してみてください！
  
  返信

二項演算

二項演算の定義

２項演算の３法則

群の定義と具体例

群の定義

乗法と加法の使い分け

群の具体例

例１（自明な群）

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

例３（可換群(Q∖{0},⋅)）

例４（群でない組(Z,⋅)）

例５（可換群(Matmn(R),+)）

例６（非可換群(GLn(R),⋅)）

例７（非可換群(Sn,⋅)）

参考文献

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

環の定義と具体例

環の定義

環の具体例

例１（零環）

例２（可換環(Q,+,⋅)）

例３（可換環(R[x],+,⋅)）

例４（可換環(Z/6Z,+,⋅)）

例５（非可換環(Mat(R),+,⋅)）

体の定義と具体例

体の定義

体の具体例

例１（体(Q,+,⋅)）

例２（体(Z/7Z,+,⋅)）

例３（体(Q[5],+,⋅)）

参考文献

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

コメント

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

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

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

例５（可換群 $({Mat}_{m n} (R), +)$ ）

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

例７（非可換群 $(S_{n}, \cdot)$ ）

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

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

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

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

例５（非可換環 $({Mat}_{(} R), +, \cdot)$ ）

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

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

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

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