PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] 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:
  1. $\alpha$ is integral over $R$
  2. $\alpha$ belongs to $R[\alpha^{-1}]$
  3. $\alpha$ is unit of $R[\alpha^{-1}]$
  4. $\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$

Bibliography

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)

View style:

Other names:  characterisations of integral
Keywords:  integral over a ring

This object's parent.

Attachments:
integrity characterized by places (Theorem) by pahio
Log in to rate this entry.
(view current ratings)

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 MSC13B21 (Commutative rings and algebras :: Ring extensions and related topics :: Integral dependence)
 12E99 (Field theory and polynomials :: General field theory :: Miscellaneous)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)