環の基礎用語～準同型・部分環・イデアル～

準備

環とは，大雑把にいうと足し算とかけ算ができるような代数系です。きちんとした定義は環の定義とその具体例を参照してください。
なお，リンク先の記事では，環を表す記号として $R$ を用いていますが，この記事では $A$ を用います。どちらを使うかは好みの問題です。
今回の記事では可換環のみ考え，可換環のことを単に環と呼びます。すなわち， $x,y \in A$ に対して $xy = yx$ であることを仮定します。
環には加法の単位元と乗法の単位元がありますが，複数の環が登場するとき単位元を区別するために，環 $A$ の加法・乗法の単位元をそれぞれ $0_A , 1_A$ と書くことがあります。

準同型

写像は，2つの集合があるときに，これらの要素の間の対応関係を表す概念です。

環などの代数的な集合を考えるとき，写像の中でも特に性質の良い準同型というものを考えることが多いです。

定義

準同型の定義

$A,B$ を環とする。 $\phi : A \rightarrow B$ が次の条件を満たすとき， $\phi$ を準同型という。

任意の $x,y \in A$ に対して次の式が成り立つ。 $\phi (x+y) = \phi (x) + \phi (y)\\ \phi (xy) = \phi (x) \phi (y)$
$\phi (1_A) = 1_B$ である。

1は「演算をしてから写像」しても「写像してから演算」しても結果が同じという意味です。
大雑把に言うと「準同型によって環 $A$ の構造が $B$ に引き継がれる」「 $A$ と $B$ はほぼ同じ構造」という感じです。
2は乗法の単位元に関する条件です。加法の単位元については定義に含まれませんが，以下のように1つめの条件から $\phi (0_A) = 0_B$ が従います。

証明

$\phi (0_A) = \phi (0_A + 0_A) = \phi (0_A) + \phi (0_A)$ である。両辺から $\phi (0_A)$ を引くことで $\phi (0_A) = 0_B$ が従う。

写像に関して準同型よりも強い性質として，同型というものもあります。

同型の定義

準同型 $\phi$ が逆写像を持ち， $\phi^{-1}$ もまた準同型であるとき， $\phi$ を同型という。このとき $A$ と $B$ は同型であるといい， $A \simeq B$ と表記する。

部分環

環の部分集合として重要なものに部分環とイデアルがあります。まずは部分環から解説します。

定義

部分環の定義

環 $A$ の部分集合 $B$ が次の条件を満たすとき， $B$ を $A$ の部分環という。また $A$ を $B$ の拡大環という。

環 $A$ の加法と乗法によって $B$ は環になる。
$B$ は $A$ の乗法の単位元を含む。

1は面倒です。つまり， $B$ が部分環であることを確認するために，分配法則などを丁寧に確かめるのは大変です。

しかし，以下のように，より弱い条件のみ確認すれば，部分環であることを保証できます。

定理

$A$ を環， $B$ を $A$ の部分集合であるとする。 $B$ が部分環であることと $B$ が次の3つの条件を満たすことと同値である。

$B$ は加法について $A$ の部分群である。すなわち以下が成り立つ。

任意の $x,y \in B$ に対して $x+y \in B$
$0_A \in B$
任意の $x\in B$ に対して $-x \in B$

任意の $x,y \in B$ に対して $xy \in B$ である。
$1_A \in B$

具体例

例：整数と有理数

有理数全体の集合 $\mathbb{Q}$ は（通常の積と和について）環をなす。整数全体の集合 $\mathbb{Z}$ は $\mathbb{Q}$ の部分環である。

実際に，上記の定理の条件1～3を満たしていることが簡単に確認できる。

ちなみに， $\mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$ は部分環の列になっています。

例：整数の拡大

集合 $\mathbb{Z}\left[\sqrt{2}\right]$ を次のように定義する。

$\mathbb{Z} \left[\sqrt{2}\right] = \{ a+b\sqrt{2} \mid a,b \in \mathbb{Z} \}$

このとき $\mathbb{Z}$ の加法と乗法を $\mathbb{Z} \left[\sqrt{2}\right]$ に拡張する。具体的には， $+, \cdot$ を通常の $\mathbb{Z}$ の加法・乗法としたとき， $(a+b \sqrt{2}) + (c + d\sqrt{2}) = (a+c) + (b+d) \sqrt{2}\\ (a+\sqrt{2})\cdot (c+d\sqrt{2}) = (a\cdot c + 2\cdot b\cdot d) + (a\cdot d+b\cdot c)\sqrt{2}$ と定める。この演算により $\mathbb{Z} \left[\sqrt{2}\right]$ は環の構造を持つ。逆に $\mathbb{Z} \left[\sqrt{2}\right]$ の加法・乗法を $\mathbb{Z}$ に制限した（すなわち $b=0$ のときを考えた）とき， $\mathbb{Z}$ は環になる。

こうして $\mathbb{Z} \left[\sqrt{2}\right]$ は $\mathbb{Z}$ の拡大環であることがわかる。

「拡大」という言葉は，体論のときに頻繁に使う印象があります。また代数的整数論でも拡大環を考えることが多いです。

最後に準同型と部分環が両方関係する例を紹介します。

像

$\phi :A \rightarrow B$ を環の準同型とする。 $\phi$ の像 $\mathrm{Im} \; \phi$ を次のように定める： $\mathrm{Im} \; \phi = \{ y \in B \mid \text{ある}\:x \in A\: \text{が存在して}\:y = \phi (x). \}$

すると， $\mathrm{Im} \; \phi$ は $B$ の部分環である。

イデアル

次はイデアルです。部分環と同じく環の部分集合ですが，条件が異なります。

定義

イデアルの定義

環 $A$ の空でない部分集合 $I$ が次の条件を満たすとき， $I$ を $A$ のイデアルという。

任意の $x,y \in I$ に対して， $x+y \in I$ （すなわち， $I$ は加法に関して $A$ の部分群）
任意の $a \in A, x \in I$ に対して， $ax \in I$

なお，環が非可換である場合， $a$ を右から掛けるか左から掛けるかが問題になります。この場合，単にイデアルではなく「右イデアル」と「左イデアル」を区別します。ここでは詳細を省きます。

例

イデアルは定義だけ見てもわかりにくいですが，具体例を見ると一瞬でイメージがつくと思います。

例：nの倍数

環として $\mathbb{Z}$ を考える。今，整数 $n$ に対して $n \mathbb{Z}$ を次のように定める。

$n \mathbb{Z} = \{ kn \mid k \in \mathbb{Z}\}$

つまり $n \mathbb{Z}$ は $n$ の倍数全体の集合である。これは $\mathbb{Z}$ のイデアルになる。

実際に条件を満たしていることを確認する。

$x,y \in n \mathbb{Z}$ を任意にとる。このとき，ある整数 $k,l$ を用いて $x = kn , y = ln$ と表される。 $x+y = kn+ln = (k+l)n$ である。よって $x+y \in n \mathbb{Z}$ となる。
$m \in \mathbb{Z} , x \in n\mathbb{Z}$ を任意にとる。このとき，ある整数 $k$ を用いて $x = kn$ と表される。 $mx = m (kn) =(mk) n$ であるため $mx \in n \mathbb{Z}$ である。よって $mx \in n \mathbb{Z}$ となる。

部分環と準同型に関連する例として像を紹介しましたが，同様にイデアルと準同型に関連する例として核を紹介します。

核

$\phi :A \rightarrow B$ を環の準同型とする。 $\phi$ の核 $\mathrm{Ker} \; \phi$ を次のように定める。 $\mathrm{Ker} \; \phi = \{ x \in A \mid f(x) = 0 \}$

核 $\mathrm{Ker} \; \phi$ は $A$ のイデアルになる。実際に証明しよう。

$x,y \in \mathrm{Ker} \; \phi$ を任意にとる。このとき $f(x) =0,f(y)=0$ である。 $f(x+y) = f(x)+f(y) =0$ より $x+y \in \mathrm{Ker} \; \phi$ である。
$x \in \mathrm{Ker} \; \phi$ ， $a \in A$ を任意にとる。このとき $f(ax) = f(a) f(x) = 0$ より $ax \in \mathrm{Ker} \; \phi$ である。

核は極めて重要なイデアルです。覚えておきましょう。

展望

今回紹介した話題に関連するより難しい話題を簡単に説明します。

イデアルの具体例として $n$ の倍数の集合を考えました。（正の）整数において $n$ が素数が合成数かは重要な問題でしたが，イデアルについても素数に対応する，素イデアルという概念があります。
イデアルに関して，剰余環というものを考えたりします。実はこれは mod　演算の一般化になっています。
準同型の像と核について説明しました。実は準同型定理という定理によってこれらは結びつきます。

これらは様々な数学の分野で活躍する重要な概念です。

ところでイデアルは英語で ideal と書きます。英単語 ideal の発音は「アイディール」となります。海外で「イデアル」と言わないようにしましょう。