« previous | Thursday, November 14, 2013 | next »
Irreducibility
Example
If
, where
, we must have
, so
. However,
If
, then we must have
. In particular,
However, this system is inconsistent.
Theorem 23.5: Eisenstein Criterion
Let
be a prime. Suppose that the polynomial
is in
, and
, but
for all
, with
. Then
is irreducible over rationals.
Proof. Assume
with
and
. Let
and
with coefficients
in
and
in
:
If
, then neither
nor
are congruent to 0 (mod
). We must have
and
.
Let
be the smallest
such that
. We have
This implies
, so
.
implies
, which means
is a constant function. Contradiction!
quod erat demonstrandum
Example 1
Show that
is irreducible in
.

for
, then 
,
,
,
,
,
, and 
Therefore this function is irreducible by Eisenstein Criterion.
Example 2
Show that
is irreducible over
.
.
.
Irreducible
Let
. This is called the
th cyclotonic polynomial.
is irreducible over
.
To prove this, we will need a well-defined homomorphism
(Take a look at the Remark after 22.5).
Since

maps
![{\displaystyle \mathbb {Q} [x]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da33ddef34ad0c677b6eb7e042f574ee0e7553f7)
to itself, it is an automorphism.
Proof. Seeking a contradiction, assume
, where
. Because
is a homomorphism, we have
Hence
Since
is prime, we have
for
. Thus Eisenstein Criteroin applies, so the original function is irreducible.
Section 24: Noncommutative Rings
Rings of Endomorphisms
Let
be an abelian group. A homomorphism
is called an endomorphism.
Note: An automorphism is an isomorphisom of a group onto itself, but an endomorphism is a homomorphism of a group onto itself.
Let
be the set of endomorphisms of
.
We define the addition operation
, and we get
is an abelian group with
given by the trivial homomorphism
.
We construct the product
. This satisfies the left and right distributive laws, so
is a ring.