環準同型
表示
(環同型から転送)
環論や抽象代数学において、環準同型︵英: ring homomorphism︶は2つの環の間の構造を保つ関数である。
きちんと書くと、R と Sが環であれば、環準同型は以下を満たす関数 f : R→ Sである[1][2][3][4][5][6]。
●R のすべての元 aと bに対して、f(a + b) = f(a) + f(b)
●R のすべての元 aと bに対して、f(ab) = f(a) f(b)
●f(1R) = 1S
︵加法の逆元と加法の単位元も構造の一部であるが、それらを明示的に要求する必要はない。というのもその条件は上記の条件から従うからである。一方、条件 f(1R) = 1S を落とすと下記の性質のいくつかは成り立たなくなる。
環は乗法に関して群であることは要請していないため、演算は保つからといって Rの乗法単位元が必ずしも Sの乗法単位元に移ることは保証されない。︶
R と Sがrng︵擬環や非単位的環ともいう︶であれば、自然な概念[7]はrng 準同型であり、これは上記から3つ目の条件 f(1R) = 1S を除いたものとして定義される。︵単位的︶環の間の環準同型でない rng 準同型を考えることができる。
2つの環準同型の合成は環準同型である。これによってすべての環からなるクラスは射を環準同型として圏をなす︵cf. 環の圏︶。とくに、環自己準同型、環同型、環自己同型の概念を得る。
性質[編集]
f : R→S を環準同型とすると、その定義から直接次のことが出る。 ●f(0R) = 0S. ●R のすべての元 aに対して f(−a) = −f(a) である。 ●R の任意の単元 aに対し、f(a) は f(a−1) = f(a)−1 であるような単元である。とくに、f は Rの単元のなす︵乗法︶群から S︵あるいは im(f)︶の単元のなす︵乗法︶群への群準同型を誘導する。 ●f の像 im(f) は Sの部分環である。 ●f の核は ker(f) = {a ∈ R : f(a) = 0} と定義され、これは Rのイデアルである。可換環 Rのすべてのイデアルはある環準同型からこのようにして生じる。 ●準同型 fが単射であることと ker(f) = {0} であることは同値である。 ●f が全単射であれば、その逆写像 f−1 もまた環準同型である[8]。この場合、f は同型写像と呼ばれ、環 Rと Sは同型であるという。環論の見方では、同型な環は区別できない。 ●環準同型 f : R→S があれば、S の標数は Rの標数を割り切る。このことは、ある環 Rと Sの間に環準同型 R→ Sが存在しえないことを示すのに使えることがある。 ●Rp が Rに含まれる最小の部分環で、Sp が Sに含まれる最小の部分環であれば、すべての環準同型 f : R→ Sは環準同型 fp : Rp→ Spを誘導する。 ●R が体で Sが零環でなければ、f は単射である。 ●R と Sが両方体であれば、im(f) は Sの部分体である。なので Sは Rの体拡大の見ることができる。 ●R と Sが可換環で Sが整域であれば、ker(f) は Rの素イデアルである。 ●R と Sが可換環で、S が体で、f が全射であれば、ker(f) は Rの極大イデアルである。 ●f が全射で、P が Rの素︵極大︶イデアルで、ker(f) ⊆ P であれば、f(P) は Sの素︵極大︶イデアルである。 さらに、
●環準同型の合成は環準同型である。
●恒等写像は環準同型である︵が零写像はそうでない︶。
●それゆえ、すべての環と環準同型からなるクラスは圏、環の圏をなす。
●すべての環 Rに対して、唯一の環準同型 Z→ Rが存在する。このことが言っているのは、整数環は環の圏において始対象であるということである。
●すべての環 Rに対して、唯一の環準同型 R→ 0 が存在する、ただし 0 は零環︵その唯一の元が 0 であるような環︶を表す。このことが言っているのは、零環は環の圏において終対象であるということである。
例[編集]
●f(a) = [a]n = amod nによって定義された関数 f : Z→ Znは全射環準同型でその核は nZである︵合同式を見よ︶。 ●f([a]6) = [4a]6 によって定義される関数 f : Z6→ Z6は rng 準同型︵かつ rng 自己準同型︶であり、その核は3Z6 で、像は2Z6︵でありこれは Z3と同型︶である。 ●n ≥ 1 に対して環準同型 Zn→ Zは存在しない。 ●複素共役をとる写像 C→C は環準同型である︵実は環自己同型の例である︶。 ●R と Sが環であれば、R から Sへの零写像が環準同型であることと Sが零環であることは同値である。︵そうでなければ1R が1S に行かない。︶一方、零写像はつねに rng 準同型である。 ●R[X] が実数体 Rに係数をもち変数が Xの多項式すべてからなる環を表し、C が複素数体を表しているとすると、 f(p) = p(i) によって定義される関数 f : R[X] → C︵多項式 pの変数 Xに虚数単位 iを代入する︶は全射環準同型である。f の核は X2+ 1 で割り切れるような R[X] のすべての多項式からなる。 ●f : R→ Sが可換環 Rと Sの間の環準同型であれば、f は行列環の間の環準同型 Mn(R) → Mn(S) を誘導する。環の圏[編集]
詳細は「en:Category of rings」を参照
自己準同型、同型、自己同型[編集]
●環自己準同型 (ring endomorphism) は環から自身への環準同型である。 ●環同型 (ring isomorphism) は環準同型であるような両側逆元をもった環準同型である。環準同型が同型であることと台集合上の関数として全単射であることは同値であることを証明できる。2つの環 Rと Sの間に環同型が存在すれば、R と Sは同型 (isomorphic) と呼ばれる。同型な環は元の名前を付け替えただけの違いしかない。例‥同型の違いを除いて、位数4の環は4つ存在する。︵このことが意味するのは、どの2つも同型でないような4つの位数4の環が存在して、すべての他の位数4の環はそれらのうちの1つに同型であるということである。︶一方、同型を除いて、位数4のrngは11存在する。 ●環自己同型 (ring automorphism) は環から自身への環同型である。単射準同型と全射準同型[編集]
単射環準同型は環の圏におけるモノ射 (monomorphism) と同じである[9]。もし f : R→ Sが単射でないモノ射であれば、ある r1と r2が Sの同じ元に送られる。x を r1と r2にそれぞれ写すZ[x] から Rへの2つの写像 g1と g2を考えよう。f ∘ g1と f∘ g2は同じであるが、f はモノ射なので、これは不可能である。
しかしながら、全射環準同型は環の圏におけるエピ射 (epimorphism) とは異なる[9]。例えば、包含 Z⊆ Qは環のエピ射であるが、全射ではない。しかしながら、全射環準同型は strong epimorphism とちょうど全くおなじである。
脚注[編集]
- ^ Artin, p. 353
- ^ Atiyah and Macdonald, p. 2
- ^ Bourbaki, p. 102
- ^ Eisenbud, p. 12
- ^ Jacobson, p. 103
- ^ Lang, p. 88
- ^ Hazewinkel et al. (2004), p. 3. Warning: They use the word ring to mean rng.
- ^ Lang, p. 91
- ^ a b マックレーン 2012, p. 32.
参考文献[編集]
- マックレーン『圏論の基礎』丸善出版、2012年。
- Michael Artin, Algebra, Prentice-Hall, 1991.
- M. F. Atiyah and I. G. Macdonald, Introduction to commutative algebra, Addison-Wesley, 1969.
- N. Bourbaki, Algebra I, Chapters 1–3, 1998.
- David Eisenbud, Commutative algebra with a view toward algebraic geometry, Springer, 1995.
- Michiel Hazewinkel, Nadiya Gubareni, Vladimir V. Kirichenko. Algebras, rings and modules. Volume 1. 2004. Springer, 2004. ISBN 1-4020-2690-0
- Nathan Jacobson, Basic algebra I, 2nd edition, 1985.
- Serge Lang, Algebra Revised 3rd ed., Springer, 2002.