This preview shows page 1. Sign up to view the full content.
Unformatted text preview: p or 1 . If a e , then the subgroup h a i is not f e g , so must be G . The last assertion also follows from the rst, since the kernel of a homomorphism is a subgroup. n Any two groups of prime order p are isomorphic, since each is cyclic. This generalizes (substantially) the results that we obtained before on the uniqueness of the groups of orders 2, 3, and 5. Corollary 2.5.9. Let G be any nite group, and let a 2 G . Then the order o.a/ divides the order of G . Proof. The order of a is the cardinality of the subgroup h a i . n The index of subgroups satises a multiplicativity property: Proposition 2.5.10. Suppose K H G are subgroups. Then G W K D G W HH W K: Proof. If the groups are nite, then by Lagranges theorem, G W K D j G j j K j D j G j j H j j H j j K j D G W HH W K:...
View Full
Document
 Fall '08
 EVERAGE
 Algebra, Sets

Click to edit the document details