You are here
Home ›alternative definition of algebraically closed
Primary tabs
alternative definition of algebraically closed
Proposition 1.
If is a field, the following are equivalent:
- (1)
is algebraically closed, i.e. every nonconstant polynomial in has a root in .
- (2)
Every nonconstant polynomial in splits completely over .
- (3)
If is an algebraic extension then .
Proof.
If (1) is true then we can prove by induction on degree of that every nonconstant polynomial splits completely over . Conversely, (2) (1) is trivial.
(2) (3) If is algebraic and , then is a root of a polynomial . By (2) splits over , which implies that . It follows that .
(3) (1) Let and a root of (in some extension of ). Then is an algebraic extension of , hence .
∎
Examples 1) The field of real numbers is not algebraically closed. Consider the equation . The square of a real number is always positive and cannot be so the equation has no roots.
2) The -adic field is not algebraically closed because the equation has no roots. Otherwise implies , which is false.
Mathematics Subject Classification
12F05 Algebraic extensions- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by unlord
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new image: AbstrExample3.jpg by m759
new image: four-diamond_figure.jpg by m759
May 16
new problem: Curve fitting using the Exchange Algorithm. by jeremyboden



Comments
allignment
do you know why (1) is not alligned with its line?
it has the same effect with itemize or enumerate