Difference between revisions of "Algebraic closure"

From Conservapedia
Jump to: navigation, search
m (forgot category tags)
(top: clean up & uniformity)
 
(4 intermediate revisions by 3 users not shown)
Line 1: Line 1:
A [[Field_(mathematics)|field]] F is '''algebraically closed''' if there is a solution to every [[Polynomial|polynomial]] over F in one variable. Every field is contained in an algebraically closed field and there is a minimal one, called the algebraic closure of F.
+
A [[Field (mathematics)|field]] F is '''algebraically closed''' if there is a solution to every [[polynomial]] over F in one variable. Every field is contained in an algebraically closed field and there is a minimal one, called the '''algebraic closure''' of F. This general fact uses [[Zorn's Lemma]], which is equivalent to the [[Axiom of Choice]] (AC). In specific cases AC may sometimes be avoided.
  
 
The definition of algebraically closed has several other equivalent forms:
 
The definition of algebraically closed has several other equivalent forms:
Line 5: Line 5:
 
<li> For every <math>a\in F</math> and every polynomial f(x), there is a <math>b\in F</math> such that <math>f(b)=a</math>.
 
<li> For every <math>a\in F</math> and every polynomial f(x), there is a <math>b\in F</math> such that <math>f(b)=a</math>.
 
<li> The only irreducible polynomials in F[x] have degree 1.
 
<li> The only irreducible polynomials in F[x] have degree 1.
<li> F has no finite [[Field_extension|extensions]] other than itself.
+
<li> F has no finite [[Field extension|extensions]] other than itself.
<li> F is a maximal field of its [[Transcendence_degree|transcendence degree]].
+
<li> F is a maximal field of its [[transcendence degree]].
<li> F is the union of all its [[Finitely-generated|finitely-generated]] [[Localization|localized]] [[Ring_(mathematics)|subrings]].
+
<li> F is the union of all its [[finitely-generated]] [[Localization|localized]] [[Ring (mathematics)|subrings]].
<li> Every [[Algebraic_variety|algebraic variety]] defined over F has a [[Point_(mathematics)|point]].
+
<li> Every [[algebraic variety]] defined over F has a [[point]].
<li> F is not finite and the [[Automorphism|automorphism]] group of F has [[Cardinality|cardinality]] strictly greater than the cardinality of F.
+
<li> F is not finite and the [[automorphism]] group of F has [[cardinality]] strictly greater than the cardinality of F.
 
</ol>
 
</ol>
  
The [[Complex_number|complex numbers]] <math>\mathbb{C}</math> are algebraically closed by the [[Fundamental_Theorem_of_Algebra|Fundamental Theorem of Algebra]], however the [[Rational_number|rational numbers]] <math>\mathbb{Q}</math> are not since x<sup>2</sup>+1 does not have a root. This same polynomial shows the [[Real_number|real numbers]] <math>\mathbb{R}</math> are also not algebraically closed, yielding as a [[Corollary|corollary]] (by the equivalence) that <math>\textrm{Aut}(\mathbb{R})</math> has [[Cardinality|cardinality]] the [[Continuum|continuum]].
+
The [[complex number]]s <math>\mathbb{C}</math> are algebraically closed by the [[Fundamental Theorem of Algebra]], however the [[rational number]]s <math>\mathbb{Q}</math> are not since x<sup>2</sup>+1 does not have a root. This same polynomial shows the [[real number]]s <math>\mathbb{R}</math> are also not algebraically closed, yielding as a [[corollary]] (by the equivalence) that <math>\textrm{Aut}(\mathbb{R})</math> has [[cardinality]] the [[continuum]].
 +
 
 +
The complex numbers are the algebraic closure of both the real numbers and the rational numbers.
  
[[Category:Mathematics]]
 
 
[[Category:Algebra]]
 
[[Category:Algebra]]

Latest revision as of 19:20, 12 July 2016

A field F is algebraically closed if there is a solution to every polynomial over F in one variable. Every field is contained in an algebraically closed field and there is a minimal one, called the algebraic closure of F. This general fact uses Zorn's Lemma, which is equivalent to the Axiom of Choice (AC). In specific cases AC may sometimes be avoided.

The definition of algebraically closed has several other equivalent forms:

  1. For every and every polynomial f(x), there is a such that .
  2. The only irreducible polynomials in F[x] have degree 1.
  3. F has no finite extensions other than itself.
  4. F is a maximal field of its transcendence degree.
  5. F is the union of all its finitely-generated localized subrings.
  6. Every algebraic variety defined over F has a point.
  7. F is not finite and the automorphism group of F has cardinality strictly greater than the cardinality of F.

The complex numbers are algebraically closed by the Fundamental Theorem of Algebra, however the rational numbers are not since x2+1 does not have a root. This same polynomial shows the real numbers are also not algebraically closed, yielding as a corollary (by the equivalence) that has cardinality the continuum.

The complex numbers are the algebraic closure of both the real numbers and the rational numbers.