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-I<br />
35<br />
integers x and y. Note that x and y both cannot be +ve integers because if 1 in R.H.S. Let x be a +ve integer<br />
and y be -ve integer. Hence<br />
mx−ny<br />
ab = a b<br />
−F<br />
= a a<br />
mx−ny<br />
mx ny<br />
HG I K J<br />
-ny mx<br />
b b<br />
mx<br />
{ d i d i }<br />
y<br />
a<br />
n a n mx<br />
-y<br />
-y -y<br />
b a b G<br />
RST d i d i UVW d −<br />
Θ , ∈ i<br />
= mx -y<br />
n<br />
-y<br />
n<br />
a a b b<br />
mx<br />
a<br />
Claim: g g<br />
Consider<br />
Caution:<br />
m n n<br />
1 2 2<br />
= g g m v 1 g g ∈G<br />
v<br />
1 2<br />
We can not write mx times, if x ∈ N , x is -ve integer. Here mx is a+ve integer as<br />
d1 d1 2 1i i − 1 1 2<br />
2 1 id 2= 1gi g dg d2 ig1 ig2<br />
1 d2 1 i d2 1 i −<br />
1 2 i d3d i2 1di<br />
2 1 i<br />
g<br />
=<br />
mx + ny = 1 mx − ny = 1, x, y ∈ N, the set of natural numbers.<br />
m ∴<br />
m, m m n n m mx m n m = n m g − − − g n m n<br />
g mx 1<br />
n<br />
g 1 g m− −n− −m g g mx ng<br />
m<br />
1<br />
x<br />
g m n m mx −<br />
= ny n m<br />
mx−ny<br />
g m g g= g g<br />
mx<br />
1<br />
gn n ∈ g n g<br />
m<br />
2<br />
= N.<br />
2 1=<br />
where mx ∈ N times n<br />
d i<br />
m<br />
Also g g<br />
as ny ∈ N.<br />
d i<br />
m x<br />
= g g m −m n m<br />
1 3 g1 , where g 3 = g2 g1<br />
∈G<br />
d i<br />
2<br />
d i<br />
x<br />
= g m m −m m m m<br />
g g Θ a m b = b a v a, b ∈G<br />
3 1 1<br />
dg g i<br />
{ }<br />
n<br />
−ny<br />
m n ny<br />
1 2<br />
=<br />
1 2<br />
d i<br />
= g n g<br />
∴ g g =<br />
−1<br />
m ny 1<br />
{ 2 1 } − from above<br />
m n<br />
−ny<br />
n m<br />
−<br />
d g g<br />
ny<br />
1 2i d2 1 i (2)<br />
Hence from (1) and (2) we get<br />
g<br />
(1)<br />
<br />
v g1, g2<br />
∈ G,<br />
v<br />
(3)