環準同型

環論や抽象代数学において、環準同型は2つの環の間の構造を保つ関数である。

きちんと書くと、//R// と //S// が環であれば、環準同型は以下を満たす関数 //f// : //R// → //S//}} である。

//R// のすべての元 //a// と //b// に対して、//f// = //f// + //f//
//R// のすべての元 //a// と //b// に対して、//f// = //f// //f//
//f// = 1//S// 追記 環は乗法に関して群であることは要請していないため、演算は保つが群準同型にはならない。従ってRの乗法単位元が必ずしもR'の乗法単位元に移ることは保証されない。

//R// と //S// がrngであれば、自然な概念はrng 準同型であり、これは上記から3つ目の条件 //f// = 1//S// を除いたものとして定義される。環の間の環準同型でない rng 準同型を考えることができる。

2つの環準同型の合成は環準同型である。これによってすべての環からなるクラスは射を環準同型として圏をなす。とくに、環自己準同型、環同型、環自己同型の概念を得る。

1. 性質
-----

//f// : //R// →//S// を環準同型とすると、その定義から直接次のことが出る。

//f// = 0//S//.
//R// のすべての元 //a// に対して //f// = −//f// である。
//R// の任意の単元 //a// に対し、//f// は //f// = //f//−1 であるような単元である。とくに、//f// は //R// の単元のなす群から //S//の単元のなす群への群準同型を誘導する。
//f// の像 im は //S// の部分環である。
//f// の核は 1=ker = //a// ∈ //R// : //f// = 0}}} と定義され、これは //R// のイデアルである。可換環 //R// のすべてのイデアルはある環準同型からこのようにして生じる。
準同型 //f// が単射であることと 1=ker = 0}}} であることは同値である。
//f// が全単射であれば、その逆写像 //f//−1 もまた環準同型である。この場合、//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 は //S// の部分体である。なので //S// は //R// の体拡大の見ることができる。
//R// と //S// が可換環で //S// が整域であれば、ker は //R// の素イデアルである。
//R// と //S// が可換環で、//S// が体で、//f// が全射であれば、ker は //R// の極大イデアルである。
//f// が全射で、//P// が //R// の素イデアルで、1=ker ⊆ P}} であれば、//f// は //S// の素イデアルである。さらに、

環準同型の合成は環準同型である。
恒等写像は環準同型である。
それゆえ、すべての環と環準同型からなるクラスは圏、環の圏をなす。
すべての環 //R// に対して、唯一の環準同型 Z → //R//}} が存在する。このことが言っているのは、整数環は環の圏において始対象であるということである。
すべての環 //R// に対して、唯一の環準同型 //R// → 0}} が存在する、ただし 0 は零環を表す。このことが言っているのは、零環は環の圏において終対象であるということである。

2. 例
----

1=//f// = [//a//]//n// = //a// mod //n//}} によって定義された関数 //f// : Z → Z//n//}} は全射環準同型でその核は //n//Z である。
1=//f// = [//4a//]//6//}} によって定義される関数 //f// : Z6 → Z6}} は rng 準同型であり、その核は 3Z6 で、像は 2Z6である。
//n// ≥ 1}} に対して環準同型 Z//n// → Z}} は存在しない。
複素共役をとる写像 C →C}} は環準同型である。
//R// と //S// が環であれば、//R// から //S// への零写像が環準同型であることと //S// が零環であることは同値である。一方、零写像はつねに rng 準同型である。
R[//X//] が実数体 R に係数をもち変数が //X// の多項式すべてからなる環を表し、C が複素数体を表しているとすると、 1=//f// = //p//}} によって定義される関数 //f// : R[//X//] → C}} は全射環準同型である。//f// の核は //X//2 + 1}} で割り切れるような R[//X//] のすべての多項式からなる。
//f// : //R// → //S//}} が//可換//環 //R// と //S// の間の環準同型であれば、//f// は行列環の間の環準同型 M//n// → M//n//}} を誘導する。

3. 環の圏
------

3.1. 自己準同型、同型、自己同型
------------------

環自己準同型  は環から自身への環準同型である。
環同型  は環準同型であるような両側逆元をもった環準同型である。環準同型が同型であることと台集合上の関数として全単射であることは同値であることを証明できる。2つの環 //R// と //S// の間に環同型が存在すれば、//R// と //S// は同型  と呼ばれる。同型な環は元の名前を付け替えただけの違いしかない。例：同型の違いを除いて、位数 4 の環は 4 つ存在する。一方、同型を除いて、位数4のrngは11存在する。
環自己同型  は環から自身への環同型である。

3.2. 単射準同型と全射準同型
----------------

単射環準同型は環の圏におけるモノ射  と同じである。もし //f// : //R// → //S//}} が単射でないモノ射であれば、ある //r//1 と //r//2 が //S// の同じ元に送られる。//x// を //r//1 と //r//2 にそれぞれ写すZ[//x//] から //R// への2つの写像 //g//1 と //g//2 を考えよう。//f// ∘ //g//1}} と //f// ∘ //g//2}} は同じであるが、//f// はモノ射なので、これは不可能である。

しかしながら、全射環準同型は環の圏におけるエピ射  とは全く異なる。例えば、包含 Z ⊆ Q}} は環のエピ射であるが、全射ではない。しかしながら、全射環準同型は strong epimorphism とちょうど全くおなじである。

4. 脚注
-----

5. 参考文献
-------

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// 3rd ed., Springer, 2002.

6. 関連項目
-------

係数拡大