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: High Entry average rating: No information on entry rating
UFD's are integrally closed (Theorem)

Theorem: Every UFD is integrally closed.

Proof: Let $R$ be a UFD, $K$ its field of fractions, $u\in K, u$ integral over $R$ . Then for some $c_0,\ldots,c_{n-1}\in R$ , $$ u^n+c_{n-1}u^{n-1}+\ldots+c_0= $$ Write $u=\frac{a}{b}, a,b\in R$ , where $a,b$ have no non-unit common divisor (which we can assume since $R$ is a UFD). Multiply the above equation by $b^n$ to get $$ a^n+c_{n-1}ba^{n-1}+\ldots+c_0b^n= $$ Let $d$ be an irreducible divisor of $b$ . Then $d$ is prime since $R$ is a UFD. Now, $d\lvert a^n$ since it divides all the other terms and thus (since $d$ is prime) $d\lvert a$ . But $a, b$ have no non-unit common divisors, so $d$ is a unit. Thus $b$ is a unit and hence $u\in R$ .




"UFD's are integrally closed" is owned by rm50. [ full author list (2) ]
(view preamble | get metadata)

View style:

Log in to rate this entry.
(view current ratings)

Cross-references: unit, terms, divides, prime, irreducible, equation, divisor, integral, field of fractions, proof, integrally closed, UFD, theorem

This is version 3 of UFD's are integrally closed, born on 2006-03-30, modified 2008-05-01.
Object id is 7790, canonical name is UFDsAreIntegrallyClosed.
Accessed 1502 times total.

Classification:
AMS MSC13G05 (Commutative rings and algebras :: Integral domains)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

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