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
[parent] proof of transcendental root theorem (Proof)
Proposition 1   Let $F\subset K$ be a field extension with $K$ an algebraically closed field. Let $x\in K$ be transcendental over $F$ . Then for any natural number $n\geq 1$ , the element $x^{1/n}\in K$ is also transcendental over $F$ .
Proof. Suppose $x$ is transcendental over a field $F$ , and assume for a contradiction that $x^{1/n}$ is algebraic over $F$ . Thus, there is a polynomial $P(y)\in F[y]$ such that $P(x^{1/n})=0$ (note that the polynomial $y^n-x$ is not a polynomial with coefficients in $F$ , so $P(y)$ might be more involved). Then the field $H=F(x^{1/n})\subseteq K$ is a finite algebraic extension of $F$ , and every element of $H$ is algebraic over $K$ . However $x\in H$ , so $x$ is algebraic over $F$ which is a contradiction. $ \qedsymbol$




"proof of transcendental root theorem" is owned by alozano.
(view preamble | get metadata)

View style:

See Also: algebraic, algebraic closure, algebraic, algebraic extension, a finite extension of fields is an algebraic extension


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: algebraic extension, finite, coefficients, polynomial, algebraic, contradiction, natural number, transcendental, field, algebraically closed, field extension
There is 1 reference to this entry.

This is version 3 of proof of transcendental root theorem, born on 2004-02-25, modified 2004-02-25.
Object id is 5625, canonical name is ProofOfTranscendentalRootTheorem.
Accessed 1954 times total.

Classification:
AMS MSC11R04 (Number theory :: Algebraic number theory: global fields :: Algebraic numbers; rings of algebraic integers)

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

No messages.

Interact
post | correct | update request | add example | add (any)