21.09.2013 Views

Topics in algebra Chapter IV: Commutative rings and modules I - 1

Topics in algebra Chapter IV: Commutative rings and modules I - 1

Topics in algebra Chapter IV: Commutative rings and modules I - 1

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Lemma 2.32 If R is a U.F.D. then for every f<strong>in</strong>ite set {a1, . . . , an} of R<br />

there exists a greatest common divisor.<br />

Def<strong>in</strong>ition 2.33 If d is a greatest common divisor of a f<strong>in</strong>ite set {a1, . . . , an},<br />

then we use d = (a1, . . . , an) for this fact. If (a1, . . . , an) = 1, then we say<br />

that a1, . . . , an are relatively prime.<br />

Def<strong>in</strong>ition 2.34 Let D be a U.F.D. <strong>and</strong> f =<br />

n<br />

aix i ∈ D[x] be a poly-<br />

nomial. A greatest common divisor of the coefficients a0, . . . , an is called a<br />

content of f <strong>and</strong> is denoted C(f). f is said to be primitive if C(f) is a unit.<br />

In particular, if f is monic then f is primitive.<br />

Lemma 2.35 (Gauss lemma) If D is a U.F.D. <strong>and</strong> f, g ∈ D[x], then C(fg) =<br />

C(f)C(g). In particular, the product of any two primitive polynomials is<br />

primitive.<br />

Proof. S<strong>in</strong>ce f = C(f)f1 <strong>and</strong> g = C(g)g1 with f1, g1 primitive, C(fg) =<br />

C(C(f)f1C(g)g1) = C(f)C(g)C(f1g1). Therefore, it suffices to show that<br />

n<br />

f1g1 is primitive. Let f1 = aix i m<br />

<strong>and</strong> g1 = bix i m+n <br />

; then f1g1 = ckx k ,<br />

with ck = <br />

i+j=k<br />

i=0<br />

i=0<br />

i=0<br />

k=0<br />

aibj. If f1g1 is not primitive, then there is a prime element<br />

p ∈ R such that p|ck for all k. S<strong>in</strong>ce C(f1) is a unit, there is an <strong>in</strong>teger s<br />

such that<br />

p|ai for i < s <strong>and</strong> p ∤ as.<br />

Similarly, there is an <strong>in</strong>teger t such that<br />

p|bi for i < t <strong>and</strong> p ∤ bt.<br />

S<strong>in</strong>ce p is a factor of cs+t = b0as+t+b1as+t−1+· · ·+btas+· · ·+bs+t−1a1+bs+ta0,<br />

asbt ∈ (p), a contradiction. Therefore, f1g1 is primitive.<br />

Lemma 2.36 Let D be a U.F.D. with quotient field F <strong>and</strong> let f <strong>and</strong> g be<br />

primitive polynomials of D[x] such that f <strong>and</strong> g are associate <strong>in</strong> F [x]; then<br />

f <strong>and</strong> g are associate <strong>in</strong> D[x].<br />

110

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!