« 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
- 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