[[분류:가져온 문서/오메가]]
整域, integral domain, domain, entire ring
[[0]]이 아닌 [[영인자]]가 존재하지 않는 가환환을 말한다. 정역은 정수환을 일반화한 것으로, 가분성을 정의할 수 있다. 정역에서는 약분 법칙이 성립한다.
==정의==
가환환 R의 두 원소 a, b에 대해 '[math(ab=0)]이면 [math(a=0)]또는 [math(b=0)]이다.'가 성립할 때, 즉 R이 0이 아닌 [[영인자]]를 가지지 않을 때 R을 정역이라고 한다.
==예==
* [math(\mathbb{Z})]
* [math(\mathbb{Z}[i])]
* [math(\mathbb{Z}[x])]
* 임의의 [[체]]
[Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]
