# Irreducible polynomial

In algebra , a branch of mathematics , an **irreducible polynomial is** a polynomial that cannot be written as the product of two non- invertible polynomials and thus cannot be broken down into "simpler" polynomials. Their meaning for the polynomial rings is in most cases (polynomials over factorial rings ) the same as the meaning of prime numbers for natural numbers.

## definition

The definition can already be formulated for integrity rings. It is known that the polynomial ring over an integrity ring is itself free of zero divisors . This is the reason that the definitions of irreducible elements can be adopted. Since in many cases only bodies are treated and the definition is simpler there, the definition for this special case is also given. In the general definition one can trivially restrict oneself to one variable.

### General definition of integrity rings

It is an integrity ring. Then a polynomial is called irreducible if is not invertible in and is either or invertible for and .

### Definition specific to body

It is a body . Then a polynomial from the polynomial ring in indefinite is called irreducible if is not constant and there are no non-constant polynomials , so that applies. If such polynomials exist, it is also called **reducible** or separable.

An equivalent description is: Irreducible polynomials are exactly the irreducible elements in the ring .

## Comparison of prime polynomials and irreducible polynomials

A polynomial is called a prime or prime polynomial if it follows for all with the property : or . If the ring is even factorial , then it is also factorial ( Gauss's theorem ). In particular, all body factorial and thus the associated polynomial rings.

For polynomials over factorial rings (also for polynomials over a body) prime elements are also irreducible elements and vice versa. There is also an unambiguous decomposition of polynomials into prime polynomials apart from associated.

In these factorial rings, the irreducibility of polynomials can also be traced back to the irreducibility of polynomials over the quotient field. However, this problem is not necessarily easier to solve. Note that a polynomial from a factorial ring is prime if and only if the polynomial is either constant as a prime element or irreducible and primitive (i.e. is the greatest common divisor of all coefficients ) in the quotient field over .

## Irreducibility criteria

In many areas there are polynomials in a variable, the irreducibility of which makes further conclusions possible, e.g. B. fundamentally in Galois theory and exemplarily as an application the chromatic polynomial in graph theory . *(See also minimal polynomial )* . It is therefore important to have simple decision criteria for irreducibility at hand.

### Eisenstein's irreducibility criterion

The Eisenstein criterion is a sufficient (but not necessary) criterion for the irreducibility of a polynomial in an extended set of coefficients . Let an integrity ring, a polynomial with coefficients from and the quotient field from . If one finds a prime element such that:

- for as well

then is irreducible about . It is often used for and . One can replace the condition of divisibility by the prime element everywhere by being contained in a prime ideal of .

If the polynomial is factorial and primitive, ie the greatest common divisor of all coefficients is , then in is also irreducible.

### Reduction criterion

Let it again be an integrity ring with a quotient field and a prime element. A polynomial with is then (not necessarily exactly then) irreducible in if the polynomial with the modulo reduced coefficients in is irreducible.

## Examples

- The following applies to bodies:
- Every polynomial of degree 1 is irreducible. If an irreducible polynomial has a zero, it has degree 1.
- In particular, every irreducible polynomial has over an algebraically closed field like degree 1.
- Every polynomial of degree 2 or degree 3 is irreducible if and only if it has no zero in .

- Every irreducible polynomial over the real numbers has degree 1 or 2, hence either the form with or with . This has to do with the fact that the algebraic degree has grade 2 above .

- irreducible over for a prime number , or is primitive and irreducible over

- is irreducible. To see this, one shows that all the irreducible factors of the polynomial have the same degree. Since is prime, the polynomial must either be irreducible or decompose into linear factors. However, the latter cannot be because the polynomial in has no zero. In order to show that they all have the same degree, one can consider a zero in the decay field of the polynomial. Since the polynomial is invariant under the mapping induced by , there are also zeros. In the decaying body the polynomial has the form . For every irreducible factor there is one , so that is the zero of the shifted polynomial . Mit is also irreducible, ie all irreducible factors have the same degree as the minimal polynomial of .

- The polynomial is irreducible because it is primitive and an irreducible polynomial in the rational numbers. To do this, apply the reduction criterion. The polynomial with the reduced coefficients modulo is included , and this is irreducible.

- is irreducible. This follows from the Eisenstein criterion only with the prime element .

- For a prime number , the polynomial is for , , irreducible over . The minimal polynomial of over is so . As a consequence, it follows, for example, that the square root of an irrational number (or a -th root of a prime number with ).

- (or as an element from - note that it is primitive.) is irreducible (Eisenstein's criterion). The prime element is there . However, this polynomial is not separable, ie it has a multiple zero in the algebraic ending of . This phenomenon does not occur in .

## literature

- Christian Karpfinger, Kurt Meyberg:
*Algebra. Groups - rings - bodies.*2nd Edition. Spektrum Akademischer Verlag, Heidelberg 2010, ISBN 978-3-8274-2600-0 , chapter 18.

## Web links

## Individual evidence

- ^ Ed Dubinsky, Uri Leron: Learning abstract algebra with ISETL . 2019, ISBN 978-3-662-25454-7 , pp. 232 (Theorem 6.17).