Algebraically closed field

From Wikipedia, the free encyclopedia

In mathematics, a field $F$ is said to be algebraically closed if every polynomial in one variable of degree at least $1$ , with coefficients in $F$ , has a zero (root) in $F$ .

1 Examples
2 Equivalent properties
3 Other properties
4 References

[edit] Examples

As an example, the field of real numbers is not algebraically closed, because the polynomial equation

3 x 2 + 1 = 0

has no solution in real numbers, even though both of its coefficients (3 and 1) are real. The same argument proves that the field of rational numbers is not algebraically closed. Also, no finite field $F$ is algebraically closed, because if $a 1$ , $a 2$ , …, $a n$ are the elements of $F$ , then the polynomial

(x - a 1)(x - a 2)

···

(x - a n) + 1

has no zero in $F$ . By contrast, the field of complex numbers is algebraically closed: this is stated by the fundamental theorem of algebra. Another example of an algebraically closed field is the field of algebraic numbers.

[edit] Equivalent properties

Given a field $F$ , the assertion “ $F$ is algebraically closed” is equivalent to each one of the following:

Every polynomial $p (x)$ of degree $n$ ≥ $1$ , with coefficients in $F$ , splits into linear factors. In other words, there are elements $k$ , $x 1$ , $x 2$ , …, $x n$ of the field $F$ such that

p (x) = k (x - x 1)(x - x 2)

···

(x - x n)

The field $F$ has no proper algebraic extension.

For each natural number $n$ , every linear map from $F n$ into itself has some eigenvector.

Every rational function in one variable $x$ , with coefficients in $F$ , can be written as the sum of a polynomial function with rational functions of the form $a / (x - b) n$ , where $n$ is a natural number, and $a$ and $b$ are elements of $F$ .

[edit] Other properties

If $F$ is an algebraically closed field, $a$ is an element of $F$ , and $n$ is a natural number, then $a$ has an $n$ ^th root in $F$ , since this is the same thing as saying that the equation $x n - a = 0$ has some root in $F$ . However, there are fields in which every element has an $n$ ^th root (for each natural number $n$ ) but which are not algebraically closed. In fact, even assuming that every polynomial of the form $x n - a$ splits into linear factors is not enough to assure that the field is algebraically closed.