편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
3번째 줄: | 3번째 줄: | ||
{{다른 뜻|정의역}} | {{다른 뜻|정의역}} | ||
== 정의 == | == 정의 == | ||
[[가환환]] | [[가환환]] \(R\)에 대해 [[항등원]] <math>1_R\ne 0_R</math>이 존재하고 임의의 두 원소 \(a,b\)에 대해 | ||
: <math>ab=0 \Rightarrow a=0_R \text{ or }b=0_R</math> | : <math>ab=0 \Rightarrow a=0_R \text{ or }b=0_R</math> | ||
이면 '''정역(integral domain)'''이라고 한다. 즉, 정역은 항등원이 존재하고 [[영인자]]가 없는 가환환이다. | 이면 '''정역(integral domain)'''이라고 한다. 즉, 정역은 항등원이 존재하고 [[영인자]]가 없는 가환환이다. | ||
== 예시 == | == 예시 == | ||
* | * \(\mathbb{Z}\) | ||
* | * \(p\)가 [[소수]]일 때, \(\mathbb{Z}_p\) | ||
* | * \(D\)가 정역일 때, [[다항식환]] \(D[x]\) | ||
* 임의의 [[체 (수학)|체]]<ref>영인자는 단위원이 될 수 없기 때문이다. 혹은 나눗셈이 가능하면 소거법칙은 당연히 성립하기 때문이다.</ref> | * 임의의 [[체 (수학)|체]]<ref>영인자는 단위원이 될 수 없기 때문이다. 혹은 나눗셈이 가능하면 소거법칙은 당연히 성립하기 때문이다.</ref> | ||