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.
18<br />
ADVANCED ABSTRACT ALGEBRA<br />
f is 1–1 since f ( kg ) f ( )<br />
=<br />
2<br />
1<br />
kg<br />
( g ) f ( ),<br />
−1<br />
f<br />
1<br />
= g 2<br />
hence f ( g1 ) f ( g2<br />
) = e<br />
−1<br />
and f ( g g ) = e ( Θ f is a homo).<br />
1<br />
2<br />
− 1<br />
So g g ∈ K ker f , which shows that kg 1 = kg 2<br />
. Thus<br />
1 2<br />
=<br />
G<br />
k<br />
homorphism. So ≅ f ( G) ⊆G.<br />
Consider Again Example 4:<br />
( R) GL( n,R)<br />
f : GLn = R*<br />
A<br />
f<br />
( AB) = det ( AB) = det( A) det( B)<br />
is 1–1. By definition f is onto. Hence f is<br />
So<br />
is a homomorphism.<br />
the identity of R*.<br />
⇔ A∈<br />
SLn =<br />
( R) SL( n, R),<br />
the subgroup of<br />
By above fundmental homomorphism theorem, we get<br />
( n,R)<br />
GL<br />
ker f<br />
≅<br />
Im( f )<br />
of all n×n matrices with determinant 1.<br />
Ga<br />
= ⇔<br />
HA<br />
f<br />
i.e<br />
GL<br />
SL<br />
( n,R)<br />
( n,R)<br />
≅<br />
Im( f )<br />
But f is onto, since for<br />
Hence<br />
a<br />
A =<br />
<br />
<br />
0<br />
<br />
1 1 1. . .1<br />
( , R)<br />
( n,<br />
R)<br />
GL n<br />
SL<br />
0<br />
<br />
<br />
<br />
n×<br />
n<br />
≅ R<br />
*<br />
∈GL<br />
( n,R)<br />
Theorem 5 (First Isomorphism Theorem)<br />
such that f ( A) = det A=<br />
a<br />
Let G be a group with normal subgroup N and H such that<br />
N ⊆ H<br />
Then<br />
and