PlanetMath (more info)
 Math for the people, by the people.
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)

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 1492 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)