Unformatted text preview:  K  . Assume that H is a subgroup of G having order  K  . Since K C G , the quotient group G/K is deﬁned; let π : G → G/K be the natural map (of course, π ( a ) = aK for all a ∈ G ). If h ∈ H , then π ( h ) = hK has ﬁnite order, say, n . By Exercise 2.76(i), we have n   H  =  K  . But n   G/K  = [ G : K ], by Lagrange’s Theorem, and so n is a common divisor of  K  and  G/K  . But (  K  , [ G : K ]) = 1, so that n = 1. Thus, h ∈ ker π = K , and so H ⊆ K . As H and K have the same (ﬁnite) order, weh ave H = K ....
View
Full
Document
This note was uploaded on 11/15/2010 for the course MATH 417 taught by Professor Staff during the Spring '08 term at University of Illinois, Urbana Champaign.
 Spring '08
 Staff
 Algebra

Click to edit the document details