MATH 436 Notes: Applications of Unique
Factorization.
Jonathan Pakianathan
December 13, 2005
1
Euclidean rings
We have previously discussed the basic concepts and fundamental theorems
on unique factor
X
wv
Y jfdFF1Ffvdx WFxfdFG6G`FFFd
l v ly
f fyf v wv l v v l y y
Fh`FhFF Y dFFxfF`zfdFFxFy )Ffxgxd xf
y
f fv ly vy f fyf v wv l v y ly ufvy
c`c`FRwx`F1FxGuFc`FcFF Y dFF1dF`zfdFWxFfFdlx`c`FFx`
wv v v
c
w q i v i q w f p x b r b F
d y q h
d ue eFGPmFFgd Fby ~FFyyi rhdupiFbf FTFs Tf5gFe8v E 5# p gbb9vd
bcfw_ w v h s q 5 # D R
h
h
dcfw_piF
d d h v d hiv y i v d
"gFieghFnrfhoeFgbrbeoFibgbr4eyF
W
p v x X
)g) ~ h f~ d ~ W ~ ae f )rT f )kY'YDCe
h m qg h m bcvpb
v uv yy bc bpb b u ( 3 BU 4 8 w " I"
a5cCxCrECCYC n T)v cfw_ nA4&rk!A!ts$TS X
Xyx us j px bc ji
C)v)pbDuDcCCCrVYbj)Di wXh Y x f C
`
T 8! $ 55 2
bA%@97#a6`41 31 Y & )XWU3Q
15VTS
5 Q P 2 ! 1 $ " E " B 8! $ 55 2 `
3R%)[email protected]%@97#641 31 0 )'v%#
( & $ "!
n me y c gu e e
exyse vgsgfo dnEb(mSCs
a u ~ eu e
tsxbCmYb 4bFE
xw
MATH 436: Homework V.
Due in class on Wednesday, Oct 26
1. [Groups generated by 2 involutions.] Let G =< a, b > with o(a) =
o(b) = 2 and assume G is not cyclic. Let = ab.
(a) Show that aa1 = bb1 = 1 .
S
T c w Wy5drv
r wq yo w y
h v o h C h t e w
hf )S hCw YceQ"o g iT i w vegUChv Uep
y
wph w
pvo
p
h p
h
gp g y
l
Q
o)pggpov oIew eSo th g1Chlv ~QCm ghw @e UTp eeUUp d CTh l|wh v Qvv
p p y p y e U
Q
ue y u d q fq de q g qe u g
VedPwvzez ~R cfw_4udPdg p 'Scfw_dm2Sez|z PBq
R g UxdPvzlklweP
mu fqd d y de kq
s de u g mu o fqd d y de d i i q d
feveddvuulrSezwPUdPvzlklwevSdfewpd yPuheSshdzcfw_SdPo
b
c F | Fwu p | FwuwuwFu | xGk G dFGhwt
t
k yty
X
s q t q t
ty sq
qyq
Fw | u0cfw_yF duFwh | p | cfw_yF0uuF c wd0dhuFr | hwt
s p wFs | 2 | uGdF h0Hdqxvwdr | dFRwuqq | cfw_ywuFhwFF
qyt qy vts
q
MATH 436 Notes: Functions and Inverses.
Jonathan Pakianathan
September 12, 2003
1
Functions
Denition 1.1. Formally, a function f : A B is a subset f of A B with
the property that for every a A, there
a
hEhqpehgnEiqfgq v cEFvEl b cW)[email protected])gihgnpcE)1Tc1vFi
d e ey e ili ili g g e vli vu
e e gj m yt v v k e d e ey y d e mw vu t d q t r
htsEFioe1nE148vE1j5fksfEhqpehgnWvhhd1vhgUE1oj11fhevR1v8
b a |
MATH 436 Notes: Subgroups and Cosets.
Jonathan Pakianathan
September 15, 2003
1
Subgroups
Denition 1.1. Given a group (G, ), a subset H is called a subgroup of G
if it itself forms a group under . Exp
MATH 436 Notes: Rings.
Jonathan Pakianathan
November 13, 2003
1
Rings
Denition 1.1 (Rings). A ring R is a set with two binary operations +
and called addition and multiplication respectively such that
MATH 436 Notes: Finitely generated Abelian
groups.
Jonathan Pakianathan
November 1, 2003
1
Direct Products and Direct Sums
We discuss two universal constructions in this section. We start with the
dir
MATH 436 Notes: Factorization in
Commutative Rings.
Jonathan Pakianathan
December 2, 2003
1
Prime and Maximal Ideals
Throughout this section, ideal always means two-sided ideal.
The following proposit
MATH 436 Notes: Sylow Theory.
Jonathan Pakianathan
October 7, 2003
1
Sylow Theory
We are now ready to apply the theory of group actions we studied in the last
section to study the general structure of
MATH 436 Notes: Group Actions.
Jonathan Pakianathan
September 30, 2003
1
Group Actions
Denition 1.1. We say that a group G acts on a set X (on the left) if there
is an action G X X such that:
[A1:] e
MATH 436 Notes: Homomorphisms.
Jonathan Pakianathan
September 23, 2003
1
Homomorphisms
Denition 1.1. Given monoids M1 and M2 , we say that f : M1 M2 is a
homomorphism if
(A) f (ab) = f (a)f (b) for al
MATH 436 Notes: Series.
Jonathan Pakianathan
October 16, 2003
1
Series
We now generalize the process of cutting up a group into smaller parts with
the concept of a series:
Denition 1.1 (Series). Fix a
MATH 436 Notes: Examples of Rings.
Jonathan Pakianathan
November 20, 2003
1
Formal power series and polynomials
Let R be a ring. We will now dene the ring of formal power series on a
variable x with c
MATH 436 Notes: Chain conditions.
Jonathan Pakianathan
December 1, 2003
1
Chain conditions
We next consider sequences of ideals in a ring R.
Denition 1.1 (Chains). A sequence of (left) (right) ideals
MATH 436 Notes: Ideals.
Jonathan Pakianathan
December 1, 2003
1
Ideals and Subrings
Denition 1.1 (Subring). Let (R, +, ) be a ring and S a subset of R which
is itself a ring under + and with the same
MATH 436 Notes: Cyclic groups and Invariant
Subgroups.
Jonathan Pakianathan
September 30, 2003
1
Cyclic Groups
Now that we have enough basic tools, let us go back and study the structure of
cyclic gro
MATH 436: Homework I.
Due in class on Friday, Sep 19
1. Fix a set S. Let P (S) denote the power set of S, i.e., P (S) = cfw_A|A S.
(a) Check that P (S) is an Abelian monoid under the operation , where