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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

9.2 Subrings 293<br />

In addition to properties R1–R10, a field K must have the following features.<br />

(K11) There exists a nonzero element e such that e · k = k for all k ∈ K (G4).<br />

(K12) For all nonzero k ∈ K, there exists k−1 such that k · k−1 = e (G5).<br />

(K13) Multiplication is commutative (abelian).<br />

Notice that properties K11–K13 complete the requirements for K × to be an<br />

abelian group under multiplication. Thus a shorthand way <strong>of</strong> defining a field K is<br />

to say that K is an abelian group under addition and that K × is an abelian group<br />

under multiplication.<br />

Example 9.1.10 The rational numbers and the real numbers are fields. Also,<br />

the complex numbers are a field. In Section 8.1, we showed that C with addition is<br />

an abelian group, and in Exercise 8.1.20, you showed that C × with multiplication<br />

is an abelian group. �<br />

Example 9.1.11 R2×2 is not a field because multiplication is not commutative.<br />

�<br />

EXERCISE 9.1.12 Not only is multiplication in R2×2 not commutative, � �but<br />

also<br />

1 0<br />

many elements do not have a multiplicative inverse. Show that has no<br />

0 0<br />

inverse by showing that the equation<br />

� �� � � �<br />

1 0 a b 1 0<br />

=<br />

(9.11)<br />

0 0 c d 0 1<br />

has no solution<br />

9.2 Subrings<br />

� �<br />

a b<br />

.<br />

c d<br />

Suppose R is a ring and S is a subset <strong>of</strong> R. IfS is also a ring under the same<br />

operations, we say that S is a subring <strong>of</strong> R. Demonstrating S is a subring, some <strong>of</strong><br />

the properties R1–R10 are inherited from R, while some (the closure properties)<br />

must be shown for S.<br />

(S1) S is closed under addition (R2, H1).<br />

(S2) S contains the additive identity (R4, H2).<br />

(S3) S is closed under additive inverses (R5, H3).<br />

(S4) S is closed under multiplication (R8, H1).

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

Saved successfully!

Ooh no, something went wrong!