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] alternative definition of algebraically closed (Derivation)
Proposition 1   If $K$ is a field, the following are equivalent:
(1)
$K$ is algebraically closed, i.e. every nonconstant polynomial $f$ in $K[x]$ has a root in $K$
(2)
Every nonconstant polynomial $f$ in $K[x]$ splits completely over $K$
(3)
If $L|K$ is an algebraic extension then $L = K$
Proof. If (1) is true then we can prove by induction on degree of $f$ that every nonconstant polynomial $f$ splits completely over $K$ Conversely, (2)$\Rightarrow$ (1) is trivial.
(2)$\Rightarrow$ (3) If $L|K$ is algebraic and $\alpha\in L$ then $\alpha$ is a root of a polynomial $f\in K[x]$ By (2) $f$ splits over $K$ which implies that $\alpha\in K$ It follows that $L=K$
(3)$\Rightarrow$ (1) Let $f\in K[x]$ and $\alpha$ a root of $f$ (in some extension of $K$ . Then $K(\alpha)$ is an algebraic extension of $K$ hence $\alpha\in K$ $ \qedsymbol$
Examples 1) The field of real numbers $\mathbb{R}$ is not algebraically closed. Consider the equation $x^2+1=0$ The square of a real number is always positive and cannot be $-1$ so the equation has no roots.
2) The $p$ adic field $\mathbb{Q}_p$ is not algebraically closed because the equation $x^2-p=0$ has no roots. Otherwise $x^2=p$ implies $2v_{p}x = 1$ which is false.




"alternative definition of algebraically closed" is owned by polarbear.
(view preamble | get metadata)

View style:


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

Cross-references: positive, square, equation, real numbers, extension, implies, algebraic, conversely, degree, induction, algebraic extension, root, polynomial, algebraically closed, the following are equivalent, field

This is version 5 of alternative definition of algebraically closed, born on 2007-04-02, modified 2007-06-22.
Object id is 9145, canonical name is AlternativeDefinitionOfAlgebraicallyClosed.
Accessed 1101 times total.

Classification:
AMS MSC12F05 (Field theory and polynomials :: Field extensions :: Algebraic extensions)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy
allignment by polarbear on 2007-06-22 16:32:20
do you know why (1) is not alligned with its line?
it has the same effect with itemize or enumerate
[ reply | up ]

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