環の基礎用語~準同型・部分環・イデアル~
この記事では環論において極めて重要な準同型・部分環・イデアルについて説明します。
準備
準備
-
環とは,大雑把にいうと足し算とかけ算ができるような代数系です。きちんとした定義は環の定義とその具体例を参照してください。
-
なお,リンク先の記事では,環を表す記号として を用いていますが,この記事では を用います。どちらを使うかは好みの問題です。
-
今回の記事では可換環のみ考え,可換環のことを単に環と呼びます。すなわち, に対して であることを仮定します。
-
環には加法の単位元と乗法の単位元がありますが,複数の環が登場するとき単位元を区別するために,環 の加法・乗法の単位元をそれぞれ と書くことがあります。
準同型
準同型
写像は,2つの集合があるときに,これらの要素の間の対応関係を表す概念です。
環などの代数的な集合を考えるとき,写像の中でも特に性質の良い準同型というものを考えることが多いです。
定義
を環とする。 が次の条件を満たすとき, を準同型という。
-
任意の に対して次の式が成り立つ。
-
である。
-
1は「演算をしてから写像」しても「写像してから演算」しても結果が同じという意味です。
-
大雑把に言うと「準同型によって環 の構造が に引き継がれる」「 と はほぼ同じ構造」という感じです。
-
2は乗法の単位元に関する条件です。加法の単位元については定義に含まれませんが,以下のように1つめの条件から が従います。
である。両辺から を引くことで が従う。
写像に関して準同型よりも強い性質として,同型というものもあります。
準同型 が逆写像を持ち, もまた準同型であるとき, を 同型 という。このとき と は同型である といい, と表記する。
例
を包含写像とします。これは準同型になります。
を に を代入する写像とすると,これは準同型になります。
部分環
部分環
環の部分集合として重要なものに部分環とイデアルがあります。まずは部分環から解説します。
定義
環 の部分集合 が次の条件を満たすとき, を の部分環という。また を の拡大環という。
-
環 の加法と乗法によって は環になる。
-
は の乗法の単位元を含む。
1は面倒です。つまり, が部分環であることを確認するために,分配法則などを丁寧に確かめるのは大変です。
しかし,以下のように,より弱い条件のみ確認すれば,部分環であることを保証できます。
を環, を の部分集合であるとする。 が部分環であることと が次の3つの条件を満たすことと同値である。
- は加法について の部分群である。すなわち以下が成り立つ。
- 任意の に対して
- 任意の に対して
- 任意の に対して である。
具体例
有理数全体の集合 は(通常の積と和について)環をなす。整数全体の集合 は の部分環である。
実際に,上記の定理の条件1~3を満たしていることが簡単に確認できる。
ちなみに, は部分環の列になっています。
集合 を次のように定義する。
このとき の加法と乗法を に拡張する。具体的には, を通常の の加法・乗法としたとき, と定める。この演算により は環の構造を持つ。逆に の加法・乗法を に制限した(すなわち のときを考えた)とき, は環になる。
こうして は の拡大環であることがわかる。
「拡大」という言葉は,体論のときに頻繁に使う印象があります。また代数的整数論でも拡大環を考えることが多いです。
最後に準同型と部分環が両方関係する例を紹介します。
を環の準同型とする。 の 像 を次のように定める:
すると, は の部分環である。
イデアル
イデアル
次はイデアルです。部分環と同じく環の部分集合ですが,条件が異なります。
定義
環 の空でない部分集合 が次の条件を満たすとき, を のイデアルという。
- 任意の に対して, (すなわち, は加法に関して の部分群)
- 任意の に対して,
なお,環が非可換である場合, を右から掛けるか左から掛けるかが問題になります。この場合,単にイデアルではなく「右イデアル」と「左イデアル」を区別します。ここでは詳細を省きます。
例
イデアルは定義だけ見てもわかりにくいですが,具体例を見ると一瞬でイメージがつくと思います。
非常に簡単な例
はイデアルの構造を持つ。これを零イデアルという。以下 によって表す。
環 そのものもイデアルになる。また を含むイデアルは環 と一致する。
倍数
環として を考える。今,整数 に対して を次のように定める。
つまり は の倍数全体の集合である。これは のイデアルになる。
実際に条件を満たしていることを確認する。
-
を任意にとる。このとき,ある整数 を用いて と表される。 である。よって となる。
-
を任意にとる。このとき,ある整数 を用いて と表される。 であるため である。よって となる。
倍数のアイデアは多項式などにも拡張できます。
(一変数多項式環)とする。
で割り切れる多項式全体,つまり という集合はイデアルになる。
生成されるイデアル
に対して は のイデアルになる。これを と書く。特に によって生成されるイデアルという。
さらに に対して は のイデアルになる。これを と書く。特に によって生成されるイデアルという。
核
部分環と準同型に関連する例として像を紹介しましたが,同様にイデアルと準同型に関連する例として核を紹介します。
を環の準同型とする。 の核 を次のように定める。
核 は のイデアルになる。実際に証明しよう。
-
を任意にとる。このとき である。 より である。
-
, を任意にとる。このとき より である。
核は極めて重要なイデアルです。覚えておきましょう。
核に関連して,一般に次が成立します。
を環の準同型, を のイデアルとする。このとき はイデアルになる。
, を任意に取る。このとき である。
は準同型であるため である。(イデアルは和に閉じる)
よって である。
同じく は準同型であるため である。(イデアルは環の元倍に閉じる)
よって である。
特に核は の場合だと考えることもできますね。
イデアルの和・積
イデアルから新たなイデアルを作ることができます。
を環 のイデアルとする。このとき はそれぞれ のイデアルである。
特に である。
- について
和は明らか。
積について,,, とする。 イデアルの定義より , である。よって である。
- について
同様
- 包含関係
ほとんど明らかである。
任意に を取る。このとき,ある , が存在して である。特に であるため,イデアルの定義から である。
よって である。 も同様である。(ただし が可換の場合のみできる議論であることに注意したい)こうして である。
とする。 である。 でもあるため である。同様に である。
,, とする。
, である。
イデアルの積について注意
の定義は ではありません。なぜならイデアルの定義を満たさなくなるからです。特に和について閉じなくなる場合があります。
例えば (四変数多項式環)とする。
, とする。
はイデアルにならない。
実際, であるが, は と の元の積で表すことができない。
準同型の単射性と全射性
準同型の単射性と全射性
核・像という言葉を用いて準同型が単射・全射であることを言い換えることができます。
を環の準同型とする。
- が単射である
- が全射である
-
を任意に取る。 である。一方, であるため, を得る。
は単射であったため, である。 を任意であったため を得る。
は を満たすとする。
移項すると となるため である。今,仮定より より ,すなわち である。 -
明らか
展望
展望
今回紹介した話題に関連するより難しい話題を簡単に説明します。
-
イデアルの具体例として の倍数の集合を考えました。(正の)整数において が素数が合成数かは重要な問題でしたが,イデアルについても素数に対応する,素イデアル という概念があります。
-
イデアルに関して,剰余環 というものを考えたりします。実はこれは mod 演算の一般化になっています。
-
準同型の像と核について説明しました。実は 準同型定理 という定理によってこれらは結びつきます。
これらは様々な数学の分野で活躍する重要な概念です。
ところでイデアルは英語で ideal と書きます。英単語 ideal の発音は「アイディール」となります。海外で「イデアル」と言わないようにしましょう。