|
|
|
|
characterizations of integral
|
(Theorem)
|
|
Theorem 1 Let $R$ be a subring of a field $K$ $1\in R$ , and let $\alpha$ be a non-zero element of $K$ The following conditions are equivalent:
- $\alpha$ is integral over $R$
- $\alpha$ belongs to $R[\alpha^{-1}]$
- $\alpha$ is unit of $R[\alpha^{-1}]$
- $\alpha^{-1}R[\alpha^{-1}] = R[\alpha^{-1}]$
Proof. Supposing the first condition means that an equation $$\alpha^n+a_1\alpha^{n-1}+\ldots+a_{n-1}\alpha+a_n = 0,$$ with $a_j$ s belonging to $R$ holds. Dividing both sides by $\alpha^{n-1}$ gives $$\alpha = -a_1-a_2\alpha^{-1}-\ldots-a_n\alpha^{-n+1}.$$ One sees that $\alpha$ belongs to the ring $R[\alpha^{-1}]$ even being a unit of this (of course $\alpha^{-1}\in R[\alpha^{-1}]$ . Therefore
also the principal ideal $\alpha^{-1}R[\alpha^{-1}]$ of the ring $R[\alpha^{-1}]$ coincides with this ring. Conversely, the last circumstance implies that $\alpha$ is integral over $R$
- 1
- Emil Artin: Theory of Algebraic Numbers. Lecture notes. Mathematisches Institut, Göttingen (1959).
|
"characterizations of integral" is owned by pahio.
|
|
(view preamble | get metadata)
| Other names: |
characterisations of integral |
| Keywords: |
integral over a ring |
This object's parent.
|
|
Cross-references: implies, conversely, principal ideal, even, ring, equation, proof, unit, integral, equivalent, field, subring
This is version 8 of characterizations of integral, born on 2005-01-13, modified 2006-11-21.
Object id is 6642, canonical name is CharacterizationsOfIntegral.
Accessed 2131 times total.
Classification:
| AMS MSC: | 13B21 (Commutative rings and algebras :: Ring extensions and related topics :: Integral dependence) | | | 12E99 (Field theory and polynomials :: General field theory :: Miscellaneous) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|