Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
UNIT-IV 89<br />
We define addition and multiplication in S as follow :<br />
(m, a) + (n, b) = (m+n, a+b)<br />
(m, a) (n, b) = (mn, na+ mb + ab)<br />
We now prove that S is a ring with unity under these binary operations. Let (m, a), (n, b), (p, c) ∈ S.<br />
Then<br />
(i)<br />
[(m,a) + (n, b)] + (p, c) = (m+n, a+b) + (p,c)<br />
= (m+n+p, a+b+c)<br />
= (m+(n+p), a+(b+c))<br />
(by Associativity of R and Z)<br />
= (m,a) + (n+p, b+c)<br />
= (ma) + [(n,b) + (p,c)]<br />
(ii)<br />
(0,0) + (m,a) = (m,a)<br />
(m,a) + (0,0) = (m,a)<br />
Therefore (0,0) is additive, identity.<br />
(iii)<br />
Therefore<br />
(iv)<br />
(v)<br />
and<br />
Hence<br />
(vi)<br />
and<br />
(m,a) + (−m, −a) = (0,0)<br />
(−m,−a) + (m,a) = (0,0)<br />
(−m, −a) is the inverse of (m,a).<br />
(m,a) + (n,b) = (m+n, a+b)<br />
= (n+m, b+a) (by commutativity of R and Z)<br />
= (n,b) + (m,a)<br />
[(m,a) (n,b)] (p,c) = [mn, na + mb + ab] (p,c)<br />
= [(mn)p, p(na+ mb + ab) + mnc + c(na+mb+ab)]<br />
= [(mn)p, p(na) + p(mb) + p(ab)<br />
+(mn)c +(na)c+(mb)c+(ab)c]<br />
(m,a) [(n,b) (p,c)] = (m,a) [np, pb + nc + bc]<br />
= [m(np), anp + m(pb) + m(nc) + m(bc) +a(pb+nc+bc)]<br />
= [(mn)p, p(na) + p(mb) + p(ab) + (mn) c<br />
+ (na) c + (mb)c + (ab) c]<br />
(by Associativity and commutativity of R and Z).<br />
(m,a) [(n,b) (p,c)]<br />
[(m,a) + (n,b)] (p,c)<br />
= [(m,a) (n,b)] (p,c)<br />
= (m+n, a+b)(p,c)<br />
= [(m+n)p, p(a+b) + (m+n)c + (a+b)c]<br />
= (mp+np, pa + pb + mc+ nc + ac + bc)