抽象代数学 における整域 （せいいき、英 : integral domain 零因子 を持たない可換環 であって[ 1] 自明環 {0} でないものをいう。整域の概念は整数 全体の成す環の一般化になっており、整除可能性を調べるのに自然な設定を与える。環の定義に乗法単位元 を含めない場合であっても、単に可換環あるいは整域と言ったときには乗法単位元を持つと仮定することが少なくない。即ち、整域とは単位的可換域 のことをいう[ 2]
上記の如く「整域」を定めるのが広く採用されているけれども、いくらかの揺れもある。特に、非可換な整域を許すことが時としてある[ 3] 域 」(domain) を用いることにすると約束するのがたいていの場合には有効である（奇妙な話ではあるが、この文脈では形容辞「整」の中に「可換」の意も含まれるということになる）。別な文献では（ラング が顕著だが）整環 (entire ring ) を用いるものがある[ 4] [ 注 1]
いくつか特定の種類の整域のクラスについては、以下のような包含関係が成立する。
可換環 整域 整閉整域 一意分解環 単項イデアル整域 ユークリッド環 体 有限体 零因子 零積法則 ）は、整域において非零元による乗法の簡約律 が満足されることを意味する。つまり、a ≠ 0 のとき、等式 ab = ac から b = c が結論できる。
以下の同値な条件のうちの一つ（従って全部）を満足するものを整域 と定める。
単位元を持つ可換環で、その任意の非零元の積は非零である。
単位元を持つ可換環で、その零イデアル {0} が素イデアル となる。
可換体の部分環としての単位元を持つ（可換）環。体の部分環であるから可換性は自動的に成り立つので、可換性は明記してもしなくても同じである。
単位元を持つ可換環で、その任意の非零元 r に対して各元 x を r による積 xr へ写す写像が単射 になる。この性質を持つ元 r は正則 (regular) であるという。故に、この条件は「任意の非零元が正則元であるような、単位元を持つ可換環」と短く言うことができる。
整域の原型的な例は、整数 全体の成す環 Z である。
任意の体 は整域である。逆に任意のアルティン 整域は体になる。特に任意の有限整域は有限体 になる（より一般に、ウェダーバーンの小定理 により、任意の有限域 は有限体である）。整数環 Z は非アルティン的無限整域の例であって、体を成さない。アルティンでないことは、イデアルの無限降鎖
Z
⊃ ⊃ -->
2
Z
⊃ ⊃ -->
⋯ ⋯ -->
⊃ ⊃ -->
2
n
Z
⊃ ⊃ -->
2
n
+
1
Z
⊃ ⊃ -->
⋯ ⋯ -->
{\displaystyle \mathbb {Z} \supset 2\mathbb {Z} \supset \cdots \supset 2^{n}\mathbb {Z} \supset 2^{n+1}\mathbb {Z} \supset \cdots }
係数環が整域であるような多項式環 は整域となる。例えば、整係数の一変数多項式環 Z [X ] や実 係数の二変数多項式環 R [X , Y ] は整域である。
各整数 n ≥ 1 に対して、適当な整数 a , b を用いて a + b √ n 実数 全体の成す集合は R の部分環を成すから、それ自体整域となる。
各整数 n ≥ 0 に対して、適当な整数 a , b を用いて a + bi √ n 複素数 全体の成す集合は C の部分環となるから、整域を成す。特に n = 1 の場合の整域はガウス整数 環と呼ばれる。
p -進整数環U を複素数平面 C の領域 （連結 開集合 ）とするとき、正則函数 f : U → C 全体の成す環 H(U ) は整域である。同様に解析的多様体 の領域上で定義される解析函数 全体の成す環も整域を成す。可換環 R とそのイデアル P に対し、剰余環 R ⁄P が整域となるための必要十分条件は P が素イデアル となることである。また、R が整域であることは零イデアル (0) が素イデアルとなることと同値である。
任意の正則局所環 は整域である（実はUFD になる[ 5] [ 6] 以下のような環は整域にならない。
a と b が整域 R の元 であるとき、「a が b を割る （整除 する）」あるいは「a が b の約元 b が a の倍元 ax = b を満たす R の元 x が存在することを以って定義する。このとき、a | b と表す。
乗法単位元を割るような元は R の単元 と呼ぶ（これはちょうど R の可逆元の概念と一致する）。単元は他の全ての元を整除する。
a が b を整除し、かつ b が a を整除するならば a と b は同伴
単元でないような元 q について、q が既約元 q が単元でない二つの元の積に表されることが無いときにいう。
零元でも単元でもない元 p について、 p が素元 p が任意の積 ab を割るならば必ず p が a または b の約元となるときにいう。このことは、「その元が生成するイデアルが素イデアルであるような元を素元という」と言っても同じである。任意の素元は既約元である。逆にGCD整域 （例えば UFD）において任意の既約元は素元となる。
素元 の概念は、（負の素元が許されることを除けば）有理整数環 Z における素数 の概念の一般化になっている[ 注 2] 二次整数 環
Z
[
− − -->
5
]
{\displaystyle \mathbb {Z} [{\sqrt {-5}}]}
(
2
+
− − -->
5
)
(
2
− − -->
− − -->
5
)
,
3
× × -->
3
{\displaystyle (2+{\sqrt {-5}})(2-{\sqrt {-5}}),\quad 3\times 3}
という二種類の分解を持つが、このとき 3 は積
(
2
+
− − -->
5
)
(
2
− − -->
− − -->
5
)
{\displaystyle (2+{\sqrt {-5}})(2-{\sqrt {-5}})}
2
+
− − -->
5
{\displaystyle 2+{\sqrt {-5}}}
2
− − -->
− − -->
5
{\displaystyle 2-{\sqrt {-5}}}
2
± ± -->
− − -->
5
{\displaystyle 2\pm {\sqrt {-5}}}
a 2 + 5b 2 = 3 が整数解を持たないことなどから分かる。
上記の例では素元分解の一意性 が満たされないが、イデアル を考えれば一意的なイデアル分解が得られる。ラスカー-ネーターの定理 も参照。
R が整域ならば、R ⊂ S なる整域 S で、R 上超越的な元を含むようなものが存在する。任意の整域において簡約律 (cancellation property) が満足される。即ち、a , b , c を一つの整域の任意の元とするとき「a ≠ 0 かつ ab = ac ならば b = c 」が成り立つ。別な言い方をすると、整域において非零元 a の定める写像 x ↦ ax は単射になる。
任意の整域は、自身の極大イデアルにおける局所化全ての交わりとして表される。
体 の部分環は整域.
整域 R が与えられたとき、R を部分環として含む最小の体が同型を除いて 一意に定まり、R の分数体 あるいは商体 と呼ばれる。分数体は R の任意の元 a および b (≠ 0) に対する「分数」 a ⁄ b の全体（を適当な同値関係で割ったもの）からなるものと考えることができる。例えば、整数全体の成す整域の商体は有理数 全体の成す体である。また、体の商体は同型を除いて自分自身と一致する。
代数幾何学において整域は既約 代数多様体 に対応する。既約代数多様体は、零イデアルによって与えられる唯一つの生成点 (generic point) を持つ。整域は簡約 かつ既約 な環としても特徴付けられる。前者の条件はその環の冪零元根基 (nilradical) が零であることを保証するもので、それ故その環の極小素イデアルすべての交わりが零となることが出る。後者の条件はこの環の極小素イデアルがただ一つであることを保証するものである。これらのことから、簡約かつ既約な環の極小素イデアルは零イデアルただ一つということになり、これが整域であることを得る。逆は明らかで、任意の整域は冪零元を持たないから、零イデアルは唯一の極小素イデアルになる。
任意の整域に対してその標数 が定義され、その値は 0 または素数 の何れかに一致する。
正標数 p を持つ整域 R に対し、f (x ) = x p フロベニウス準同型 と呼ばれる単射 な環準同型 f : R → R を定める。
^ 「整環」という用語は、代数体 の整環 (order) などに対しても用いられる。
^ 素数の通常の定義は、ちょうど素数が Z の既約元 であることをいうものである。
^ Dummit and Foote, p.229
^ Rowen (1994), Algebra:Groups, Rings, and Fields (p. 99) , p. 99, - Google ブックス .
^ J.C. McConnel and J.C. Robson "Noncommutative Noetherian Rings" (Graduate studies in Mathematics Vol. 30, AMS)
^ pp.91-92 Lang, Serge (1993), Algebra (Third ed.), Reading, Mass.: Addison-Wesley Pub. Co. , ISBN 978-0-201-55540-0 , Zbl 0848.13001
^ Maurice Auslander; D.A. Buchsbaum (1959). “Unique factorization in regular local rings” . Proc. Natl. Acad. Sci. USA 45 (5): 733-734. doi :10.1073/pnas.45.5.733 . PMC 222624 . PMID 16590434 . https://www.ncbi.nlm.nih.gov/pmc/articles/PMC222624/ . ^ Masayoshi Nagata (1958). “A general theory of algebraic geometry over Dedekind domains. II”. Amer. J. Math. (The Johns Hopkins University Press) 80 (2): 382-420. doi :10.2307/2372791 . JSTOR 2372791 .
Iain T. Adamson (1972). Elementary rings and modules . University Mathematical Texts. Oliver and Boyd. ISBN 0-05-002192-3 Bourbaki, Nicolas (1988). Algebra . Berlin, New York: Springer-Verlag . ISBN 978-3-540-19373-9 Mac Lane, Saunders ; Birkhoff, Garrett (1967). Algebra . New York: The Macmillan Co.. ISBN 1-56881-068-7 . MR 0214415 Dummit, David S.; Foote, Richard M. (1999). Abstract algebra (2nd ed.). New York: John Wiley & Sons . ISBN 978-0-471-36857-1 Hungerford, Thomas W. (1974). Algebra . New York: Holt, Rinehart and Winston, Inc.. ISBN 0-03-030558-6 Lang, Serge (2002). Algebra . Graduate Texts in Mathematics. 211 . Berlin, New York: Springer-Verlag . ISBN 978-0-387-95385-4 . MR 1878556 David Sharpe (1987). Rings and factorization . Cambridge University Press . ISBN 0-521-33718-6 Louis Halle Rowen (1994). Algebra: groups, rings, and fields . A K Peters . ISBN 1-56881-028-8 Charles Lanski (2005). Concepts in abstract algebra . AMS Bookstore. ISBN 0-534-42323-X César Polcino Milies; Sudarshan K. Sehgal (2002). An introduction to group rings . Springer. ISBN 1-4020-0238-6
![{\displaystyle \mathbb {Z} [{\sqrt {-5}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a37499ef27234d8a67a65932184280bb17301312)
