|
|
|
|
proof of transcendental root theorem
|
(Proof)
|
|
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. 
|
"proof of transcendental root theorem" is owned by alozano.
|
|
(view preamble | get metadata)
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 1947 times total.
Classification:
| AMS MSC: | 11R04 (Number theory :: Algebraic number theory: global fields :: Algebraic numbers; rings of algebraic integers) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|