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

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)

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

Saved successfully!

Ooh no, something went wrong!