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.

92<br />

ADVANCED ABSTRACT ALGEBRA<br />

Now (ad + bc) (b 1 d 1 ) = adb 1 d 1 + bcb 1 d 1<br />

= a(db 1 )d 1 + b(cb 1 )d 1<br />

= ab 1 dd 1 + bb 1 cd 1 (by commutativity of D)<br />

= ba 1 dd 1 + bb 1 c 1 d (using (i))<br />

= bd (a 1 d 1 + b 1 c 1 )<br />

Therefore addition is well defined.<br />

If<br />

then<br />

that is<br />

Now<br />

a a =<br />

1 c c<br />

, =<br />

1<br />

b b1<br />

d d1<br />

ac a =<br />

1c1<br />

bd b1d1<br />

acb 1 d 1 = bda 1 c 1<br />

acb 1 d 1 = ab 1 cd 1<br />

= ba 1 dc 1<br />

= bda 1 c 1<br />

∴ multiplication is also well defined.<br />

We now prove that F is a field under these operations of addition and multiplications.<br />

Let<br />

(i)<br />

and<br />

Therefore<br />

(ii)<br />

Similarly<br />

a c e , , ∈ F . Then<br />

b d f<br />

a c e<br />

+ + =<br />

b d f<br />

a +<br />

b<br />

<br />

<br />

<br />

c<br />

d<br />

ad + bc<br />

+<br />

bd<br />

e <br />

+ f<br />

e<br />

f<br />

=<br />

=<br />

a cf + de<br />

= + b df<br />

=<br />

a c e<br />

+ + =<br />

b d f<br />

0 a 0 .b + ba<br />

+ =<br />

b b<br />

2<br />

b<br />

a 0 a + =<br />

b b b<br />

( ad + bc)f + bde<br />

bdf<br />

adf + bcf + bde<br />

bdf<br />

a +<br />

b<br />

<br />

<br />

<br />

c<br />

d<br />

adf + bcf + bde<br />

bdf<br />

e <br />

+ f<br />

ab a<br />

=<br />

2 = .<br />

b b<br />

Therefore<br />

0 is additive identity.<br />

b

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

Saved successfully!

Ooh no, something went wrong!