Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
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