查看“︁整环”︁的源代码

[[分类:环与模与域]]
{{InfoBox
|name=整环
|eng_name=integral domain
}}
'''整环'''('''integral domain''')指[[环]]同时是[[交换环]]和[[无零因子环]]。

<blockquote>
关于环是否有幺元，定义上有一定争议。
本 wiki 采用的体系中，环默认是有幺元的，因此术语有差异。

在不默认有幺元的体系下，整环对应的定义是无零因子的交换幺环。
</blockquote>

== 定义 ==

对环 <math>R</math> ，若其既是无零因子环，又是交换环，称其是一个'''整环'''('''integral domain''')。

注：交换和无零因子说明乘法满足交换律和对非零元的消去律。


{{环与模与域}}