06.08.2013 Views

Commutative algebra - Department of Mathematical Sciences - old ...

Commutative algebra - Department of Mathematical Sciences - old ...

Commutative algebra - Department of Mathematical Sciences - old ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

1.5. UNIQUE FACTORIZATION 15<br />

1.4.3. Corollary. Let P1, . . . , Pk be pairwise different maximal ideals in a ring R.<br />

Then<br />

and<br />

P n1<br />

1 · · · P nk n1<br />

nk<br />

k = P1 ∩ · · · ∩ Pk R/P n1<br />

1 · · · P nk<br />

n1<br />

nk<br />

k → R/P1 × · · · × R/Pk is an isomorphism.<br />

1.4.4. Definition. An element e in a ring R is idempotent if e = e 2 . A nontrivial<br />

idempotent is an idempotent e = 0, 1.<br />

1.4.5. Proposition. A ring R is a product <strong>of</strong> two nonzero rings if and only if it<br />

contains a nontrivial idempotent e.<br />

Pro<strong>of</strong>. Use that the ideals Re and R(1 − e) are proper and comaximal.<br />

1.4.6. Exercise. (1) Show that for a prime number p the rings Z/(p2 ) and Z/(p) ×<br />

Z/(p) are not isomorphic.<br />

(2) Let n = p n1<br />

1 be a factorization into different primes. Show that<br />

. . . pnk<br />

k<br />

Z/(p n1<br />

1<br />

· · · pnk<br />

k<br />

) → Z/(pn1 1 ) × · · · × Z/(pnk k )<br />

is an isomorphism.<br />

(3) Let elements e1 + e2 = 1 with e1e2 = 0 be given in a ring R. Show that R <br />

R/(e1) × R/(e2).<br />

(4) Let I, J be ideals such that √ I, √ J are comaximal. Show that I, J are comaximal.<br />

1.5. Unique factorization<br />

1.5.1. Lemma. Let R be a domain and (a) = (b) principal ideals. Then there is a<br />

unit u ∈ R such that b = ua.<br />

Pro<strong>of</strong>. b = ua and a = vb giving b = uvb. If b = 0 then uv = 1 showing that u is<br />

a unit.<br />

1.5.2. Definition. Let R be a domain and P the set <strong>of</strong> principal ideals different<br />

from (0) and R. By 1.5.1 multiplication <strong>of</strong> generators gives a well defined multiplication<br />

<strong>of</strong> principal ideals on P. An element in P maximal for inclusion is an<br />

irreducible principal ideal. A generator <strong>of</strong> an irreducible element is an irreducible<br />

element in R.<br />

1.5.3. Definition. A domain R is a unique factorization domain if<br />

(1) Every irreducible element in P is a prime ideal.<br />

(2) Every element in P is a product <strong>of</strong> irreducible elements.<br />

1.5.4. Proposition. In a unique factorization domain the factorization <strong>of</strong> elements<br />

in P into irreducibles is unique up to order.<br />

Pro<strong>of</strong>. Proceed by induction on the shortest factorization <strong>of</strong> an element in P. Let<br />

(a1) . . . (am) = (b1) . . . (bn) be factorizations into irreducibles. (a1) is a prime<br />

ideal, so by 1.3.2 and reordering (b1) = (a1). By cancellation m − 1 = n − 1 and<br />

(ai) = (bi) after a reordering.<br />

1.5.5. Definition. A domain R is a principal ideal domain if every ideal is principal.<br />

1.5.6. Proposition. A principal ideal domain R is a unique factorization domain.

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

Saved successfully!

Ooh no, something went wrong!