15.12.2012 Views

Why Read This Book? - Index of

Why Read This Book? - Index of

Why Read This Book? - Index of

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

308 Chapter 9 Rings<br />

Example 9.5.7 Let E be the ring <strong>of</strong> even integers. Then<br />

is an ideal <strong>of</strong> E that does not contain 6. �<br />

6E ={...,−24, −12, 0, 12, 24,...} (9.42)<br />

Example 9.5.8 For the polynomial ring Z[t], (3t + 2)Z[t] is the ideal <strong>of</strong> all<br />

multiples <strong>of</strong> 3t + 2inZ[t]. Since Z[t] has unity, 3t + 2 ∈ (3t + 2)Z[t]. �<br />

All the previous examples <strong>of</strong> ideals are in commutative rings. The next<br />

exercise illustrates an interesting possibility in a noncommutative ring.<br />

EXERCISE 9.5.9 Let M =<br />

Z2×2 but not a left ideal.<br />

�� � �<br />

a b<br />

: a, b ∈ Z . Show that M is a right ideal in<br />

0 0<br />

A result similar to Exercise 9.2.10 holds for ideals, but we must distinguish<br />

between left and right ideals.<br />

Theorem 9.5.10 Suppose F is a family <strong>of</strong> left (or right) ideals <strong>of</strong> a ring R. Then<br />

∩I∈F I is a left (or right) ideal <strong>of</strong> R.<br />

EXERCISE 9.5.11 Prove the left-sided case <strong>of</strong> Theorem 9.5.10.<br />

In a commutative ring, where there is no difference between left and right<br />

ideals, Exercise 9.5.11 says that the intersection <strong>of</strong> a family <strong>of</strong> ideals is an ideal. In<br />

the next section, you will show that the intersection <strong>of</strong> a left ideal and a right ideal<br />

need not be either a left or right ideal.<br />

EXERCISE 9.5.12 Demonstrate a ring R and two ideals I1 and I2 such that<br />

I1 ∪ I2 is not an ideal in R.<br />

Although the union <strong>of</strong> two ideals is not necessarily an ideal, there is a theorem<br />

that will come in handy in Section 9.9 that says something about the union across<br />

a special family <strong>of</strong> ideals.<br />

Theorem 9.5.13 Suppose {In} ∞ n=1 is a family <strong>of</strong> left (or right) ideals <strong>of</strong> a ring<br />

with the property that In ⊆ In+1 for all n. Then ∪∞ n=1In is a left (or right)<br />

ideal.<br />

EXERCISE 9.5.14 Prove the left-sided case <strong>of</strong> Theorem 9.5.13.<br />

EXERCISE 9.5.15 Let R be a commutative ring and Z the set <strong>of</strong> all zero<br />

divisors in R. What is wrong with the following pro<strong>of</strong> that Z ∪{0} is an ideal<br />

in R?

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

Saved successfully!

Ooh no, something went wrong!