Unformatted text preview: 5.4. GROUP ACTIONS AND GROUP STRUCTURE 253 Proof. We prove this statement by induction on n , the case n D 1 being Cauchy’s theorem. We assume inductively that G has a subgroup H of order p n 1 . Then OEG W HŁ is divisible by p . Let H act on G=H by left multiplication. We know that OEG W HŁ is equal to the number of fixed points plus the sum of the cardinalities of nonsingleton orbits. The size of every nonsingleton orbit divides the cardinality of H , so is a power of p . Since p divides OEG W HŁ , and p divides the size of each nonsingleton orbit, it follows that p also divides the number of fixed points. The number of fixed points is nonzero, since H itself is fixed. Let’s look at the condition for a coset xH to be fixed under left mul- tiplication by H . This is so if, and only if, for each h 2 H , hxH D xH . That is, for each h 2 H , x 1 hx 2 H . Thus x is in the normalizer of H in G (i.e., the set of g 2 G such that gHg 1 D H )....
View Full Document
This note was uploaded on 12/15/2011 for the course MAC 1105 taught by Professor Everage during the Fall '08 term at FSU.
- Fall '08