characterizations of integral
Theorem.
Let be a subring of a field , and let be a non-zero element of . The following conditions are equivalent:
- 1.
is integral over .
- 2.
belongs to .
- 3.
is unit of .
- 4.
.
Proof. Supposing the first condition that an equation
with ’s belonging to , holds. Dividing both by gives
One sees that belongs to the ring even being a unit of this (of course ). Therefore also the principal ideal of the ring coincides with this ring. Conversely, the last circumstance implies that is integral over .
References
- 1 Emil Artin: . Lecture notes. Mathematisches Institut, Göttingen (1959).