|
|
|
|
alternative definition of algebraically closed
|
(Derivation)
|
|
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$ 
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)
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 MSC: | 12F05 (Field theory and polynomials :: Field extensions :: Algebraic extensions) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|