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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

UNIT-I<br />

17<br />

Proof:<br />

Consider the diagram<br />

f<br />

G<br />

where<br />

The above diagram should be completed to<br />

G<br />

f<br />

f<br />

( g ) = Kg<br />

GφG φ<br />

f<br />

K<br />

We shall use<br />

g<br />

f<br />

( g)<br />

f<br />

Kg<br />

to complete the previous diagram.<br />

f kg = f g coset Kg G<br />

s<br />

∀ ∈<br />

Define ( ) ( )<br />

K<br />

f is well defined: Let<br />

Kg = Kg<br />

2,<br />

g1,g<br />

2<br />

1<br />

∈<br />

G<br />

Then kg , k ∈ ker ( f ) K,<br />

g1 2<br />

=<br />

= and<br />

( g ) = f ( kg ) = f ( k ) f ( g ) = ef ( g ) f ( )<br />

f =<br />

1 2<br />

2<br />

2<br />

g2<br />

is a homomorphism since<br />

( Kg Kg ) = f ( Kg g ) = f ( g g ) f ( g ) f ( )<br />

f =<br />

1 2<br />

1 2 1 2 1<br />

g<br />

2<br />

(Θ f is a homomorphism).

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

Saved successfully!

Ooh no, something went wrong!