« previous | Thursday, November 7, 2013 | next »
Exam Next Tuesday
Extra office hours Monday 15:00–16:00
Review
A function
is called irreducible if and only if
cannot be expressed as product of two nonconstant polynomials
.
Let
, where
. Let
.
is irreducible over
if and only if
is irreducible over
Uniqueness of Factorization
Divisibility
Theorem. Let
be irreducible. If
divides
for
, then
divides either
or
.
Corollary. If
divides
, then
divides
for some
. (by induction of previous theorem).
Theorem 23.20
If
is a field, then every nonconstant polynomial
can be factored into a product of irreducible polynomials, the irreducible polynomials being unique up to the ordering and unit (i.e. nonzero constant) factors in
.
Uniqueness
Suppose
. Then

- there is a permutation
, and
, where
and
are constants (units).
Proof. If
, then
for some
. Since
is irreducible, we have
for some nonzero constant
.
Example
. At the same time,
Review for Exam 2
- Groups
- Homomorphisms (
)


- Kernel of
is normal subgroup of
, and ![{\displaystyle \phi [G]\simeq G/\mathrm {Ker} \,\phi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/40772c8f6e1d551c2d6f1815428fcb76145d23c4)
- Image of
is a subgroup of 
- Trivial homomorphism:

- page 134, exercises 33–42
- exercise 33:
must be trivial since
must divide 12 and 5, so
.
- excrcise 44:
, then
is also finite and
is divisor of
.
- exercise 45:
, then
also finite and divisor of
(because it is subgroup of
; use lagrange's theorem
- Factor Groups.
- Find order of
.
- Classify given group according to Fundamental Theorem of Finitely Generated Abelian Groups (examples 15.10–15.12 and exercises 15.1–15.12)
- Fermat's Little Theorem
- Find all solutions to congruence

- Describe all units in a ring of form

- Find characteristic of ring (least
such that
for all
)
- Find Zeroes of polynomial in finite ring
Back to Material
As stated at beginning,
is reducible if and only if
is reducible, where
for coefficients
of
. If
and
are reducible, then
for
, and
for
. In particular,
and
.
Corollary. If
[1] is in
with
, and if
has a zero in
, then it has a zero
in
, and
must divide
.
Proof.
. Hence
is a zero of
.
- ↑ A polynomial whose highest degree term has coefficient 1 is called monic