Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

Eisenstein's Criterion

Algebra

Eisenstein's Criterion gives a sufficient condition for a polynomial with integer coefficients to be irreducible over the rational numbers: if some prime divides every coefficient except the leading one, does not divide the leading coefficient, and its square does not divide the constant term, the polynomial cannot be factored into lower-degree polynomials with rational coefficients. Named for Ferdinand Eisenstein, it is a standard tool for proving irreducibility without directly searching for factorizations.

Facts
Statement
If there exists a prime number p such that p divides every coefficient of the polynomial except the leading one, p does not divide the leading coefficient, and p squared does not divide the constant term, then the polynomial is irreducible over the rational numbers. 1
Proof Year
1850 1
Proof Method
Contradiction 2
Classification
Statement Form
Existence Theorem 1
Connections

Has Statement Form

In Branch

Source Eisenstein's criterion - Wikipedia

Principal Result Of

Source Eisenstein's criterion - Wikipedia

Proved By

Source Eisenstein's criterion - Wikipedia
Sources
1. Eisenstein's criterion - Wikipedia
  • History
    Subsequently, Eisenstein published a somewhat different version in 1850, also in Crelle's Journal.
  • History section
    Subsequently, Eisenstein published a somewhat different version in 1850, also in Crelle's Journal.
  • Principal Result Of: Gotthold Eisenstein, Lead sentence of the article on the result
    This criterion is named after Gotthold Eisenstein.
  • In Group: Polynomials and Elementary Algebra, Lead section
    Eisenstein's criterion gives a sufficient condition for a polynomial with integer coefficients to be irreducible over
  • In Branch: Algebra, Lead section
    Eisenstein's criterion gives a sufficient condition for a polynomial with integer coefficients to be irreducible over the rational numbers -
  • Proved By: Gotthold Eisenstein, Lead
    This criterion is named after Gotthold Eisenstein.
View the Source
2. ProofWiki: Schönemann-Eisenstein Theorem
ProofWikiProof section
Quote, Proof section
Aiming for a contradiction, suppose that $f = g h$ where $g, h \in \Z \sqbrk x$ are both non-constant.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.