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.
10<br />
ADVANCED ABSTRACT ALGEBRA<br />
F<br />
F<br />
HG I K J F H G I K J ∈<br />
1 1 1 0<br />
, GL 2,<br />
0 1 1 1<br />
1 1<br />
1 1<br />
HG I 0 1K J F =<br />
H G<br />
a b I K JF H G I x<br />
0 1K J =<br />
c d<br />
F<br />
b IRg<br />
Fa a + b<br />
HG<br />
I + K J c c d<br />
I<br />
HG KJ<br />
1 1 1 1<br />
HG I 0 1K J F =<br />
H G I 0 1K JF H G<br />
a b I K J F+ a c b+<br />
d<br />
x<br />
=<br />
c d c d<br />
(1) and (2) gives<br />
F<br />
a a + b<br />
HG I c c + dK J =<br />
F+ a c b + d<br />
c d<br />
HG<br />
Hence c = 0, a = d<br />
I<br />
KJ<br />
.... ( 1)<br />
.... ( 2)<br />
Similarly,<br />
gives<br />
b = 0.<br />
Therefore x<br />
F a<br />
= where a o a<br />
H G 0 I aK J , ≠ , ∈R<br />
0<br />
Remark:<br />
is a scalar matrix and so commutes with all 2 x 2 matrices, (nonsingular or not) Hence Z (GL(Z,R), the<br />
center of GL (2, R) Consists of all nonzero scalar matrices.<br />
This can be generalised that the center of GL (n, R), the general linear group of nonsingular n × n matrices<br />
over IR, consists of all nonzero scalar matrices.<br />
Coset of a subgroup H in G:<br />
Let G be a group and H be a subgroup of G. For any a ∈G, Ha = {ha / h H}. This set is called right coset<br />
of H in G. As e H, so a = e a Ha. Similarly aH = {ah / a h} is called left coset of H in G, containing a.<br />
Some simple but basic results of Cosets:<br />
Lemma 1: Let H be a subgroup of G and let a, b<br />
Then<br />
1. a<br />
Ha<br />
2. Ha = H<br />
a<br />
H<br />
3. Either two right cosets are same or disjoint i.e. Ha = H b or<br />
4. Ha = H b<br />
5.<br />
Proof:<br />
b a -1<br />
H<br />
1. a = ea ∈Ha e ∈H<br />
2. Let<br />
i.e. there is one-one correspondence between two right Cosets<br />
, Now h<br />
Θb<br />
g<br />
G.<br />
due to closure in H.<br />
∈<br />
⇔<br />
a∀<br />
H F x G