01.02.2015 Views

Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak

Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak

Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

UNIT-IV 109<br />

Lemma 4. If f(x) is an irreducible polynomial of positive degree in D[x], it is also irreducible in K[x]<br />

where K is the quotient field of D.<br />

Proof. Let if possible, f(x) be reducible in K[x] so that we have a relation of the form<br />

f(x) = g(x) h(x)<br />

where g(x), h(x) are in K[x] and are of positive degree.<br />

Now<br />

g(x) =<br />

h(x) =<br />

a<br />

b<br />

1<br />

1<br />

a<br />

b<br />

2<br />

2<br />

g 1 (x)<br />

h 1 (x)<br />

where a 1 , b 1 , a 2 , b 2 ∈ D and g 1 (x) and h 1 (x) are primitive in D[x].<br />

Thus we have<br />

a1a<br />

2<br />

f(x) = g 1 (x) h 1 (x)<br />

b b<br />

1<br />

2<br />

(b 1 b 2 ) f(x) = (a 1 a 2 ) g 1 (x) h 1 (x)<br />

But by Lemma 1, g 1 (x) h 1 (x) is primitive. The constant of right hand side in a 1 a 2 . Also f(x) being<br />

irreducible in D[x] is primitive and the constant of the left hand side is b 1 b 2 . Therefore, a 1 a 2 = b 1 b 2 .<br />

Therefore<br />

f(x) = g 1 (x) h 1 (x)<br />

This contradicts the fact that f(x) is irreducible in D[x].<br />

Therefore f(x) is irreducible in K[x].<br />

Theorem. The polynomial ring D[x] over a unique factorisation domain D is itself a unique factorisation<br />

domain.<br />

Proof. Let a(x) be any non-zero non-unit member of D[x]. We have<br />

a(x) = ga 0 (x)<br />

where g ∈ D and a 0 (x) is a primitive polynomial belonging to D[x].<br />

Since D is a U.F.D. we have<br />

g = p 1 p 2 …. p r<br />

where p i ’s are prime elements of D.<br />

If now a 0 (x) is reducible, we have<br />

a 0 (x) = a 01 (x) a 02 (x)<br />

where a 01 (x) and a 02 (x) are both primitive of positive degree.<br />

Proceeding in this manner, we shall after a finite number of steps, arrive at a relation of the form<br />

a(x) = p 1 p 2 …. p r a 1 (x) …. a s (x)<br />

where each factor on the right is irreducible.<br />

This shows that D[x] is a f.d.<br />

To show uniqueness, let us suppose that<br />

a(x) = p 1 p 2 …. p r a 1 (x) …. a s (x) = p 1 ′ p 2 ′ …. p l ′ a 1 ′(x) a 2 ′ (x) … a m ′(x)

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

Saved successfully!

Ooh no, something went wrong!