# Schönemann-Eisenstein Theorem

(Redirected from Eisenstein's Criterion)

## Theorem

Let $\map f x = a_d x^d + a_{d - 1} x^{d - 1} + \dotsb + a_0 \in \Z \sqbrk x$ be a polynomial over the ring of integers $\Z$.

Let $p$ be a prime such that:

$(1): \quad p \divides a_i \iff i \ne d$
$(2): \quad p^2 \nmid a_0$

where $p \divides a_i$ signifies that $p$ is a divisor of $a_i$.

Then $f$ is irreducible in $\Q \sqbrk x$.

## Proof

By Gauss's Lemma on Irreducible Polynomials, it suffices to show that $f$ is irreducible in $\Z \sqbrk x$.

Aiming for a contradiction, suppose that $f = g h$ where $g, h \in \Z \sqbrk x$ are both non-constant.

Let:

$\map g x = b_e x^e + b_{e - 1} x^{e - 1} + \dotsb + b_0$
$\map h x = c_f x^f + c_{f - 1} x^{f - 1} + \dotsb + c_0$

Then we have for each $i$:

$\displaystyle a_i = \sum_{j + k \mathop = i} {b_j c_k}$

In particular, it follows that:

$a_0 = b_0 c_0$

Possibly after exchanging $g$ and $h$, we may arrange that:

$p \nmid c_0$

by condition $(2)$.

From condition $(1)$, it follows that then necessarily:

$p \divides b_0$

We also have:

$a_d = b_e c_f$

and by condition $(1)$:

$p \nmid a_d$

and hence:

$p \nmid b_e$

It follows that there exists a smallest positive $i$ such that:

$p \nmid b_i$

Naturally, $i \le e$.

By assumption, both $g$ and $h$ are non-constant.

$i < d$

Consider:

$a_i = b_0 c_i + b_1 c_{i - 1} + \dotsb + b_i c_0$

with the convention that $c_j = 0$ if $j > f$.

By the minimality of $i$, it follows that:

$p \divides b_k$

for $0 \le k < i$.

Also, since neither $c_0$ nor $b_i$ is divisible by $p$, the last term $b_i c_0$ is not divisible by $p$.

Thus, we conclude that:

$p \nmid a_i$

which contradicts condition $(1)$.

Therefore, $f$ is irreducible.

$\blacksquare$

## Also known as

This result is also (and usually) known as Eisenstein's criterion.

## Source of Name

This entry was named for Theodor Schönemann and Ferdinand Gotthold Max Eisenstein.
{"ft_lang_label":"__label__en","ft_lang_prob":0.76640195,"math_prob":0.99998736,"size":2365,"snap":"2020-10-2020-16","text_gpt3_token_len":808,"char_repetition_ratio":0.0944515,"word_repetition_ratio":0.057077624,"special_character_ratio":0.36363637,"punctuation_ratio":0.16176471,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000091,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-02-19T15:58:06Z\",\"WARC-Record-ID\":\"<urn:uuid:fd13a024-c4c0-4a59-b877-6ef6ddbbc370>\",\"Content-Length\":\"40519\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:531e9cbf-e795-46c8-9d0f-041be1120911>\",\"WARC-Concurrent-To\":\"<urn:uuid:ce5c8cd5-52b1-45fa-a190-c4bc58b2905e>\",\"WARC-IP-Address\":\"104.27.169.113\",\"WARC-Target-URI\":\"https://proofwiki.org/wiki/Eisenstein%27s_Criterion\",\"WARC-Payload-Digest\":\"sha1:7IQ2PQR7LOVY3IX5P6UAJEGUGXC5GQI3\",\"WARC-Block-Digest\":\"sha1:MZHNNKHRTCSGNOXFXXXMVTS4LAEDVZCR\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-10/CC-MAIN-2020-10_segments_1581875144165.4_warc_CC-MAIN-20200219153707-20200219183707-00342.warc.gz\"}"}