Normal of order equal to least prime divisor of group order implies central

From Groupprops
Revision as of 22:55, 23 September 2007 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article describes a fact or result that is not basic but it still well-established and standard. The fact may involve terms that are themselves non-basic
View other semi-basic facts in group theory
VIEW FACTS USING THIS: directly | directly or indirectly, upto two steps | directly or indirectly, upto three steps|
VIEW: Survey articles about this
This page describes additional conditions under which a subgroup property implication can be reversed, viz a weaker subgroup property, namely Central subgroup (?), can be made to imply a stronger subgroup property, namely normal subgroup
View other subgroup property implication-reversing conditions

Statement

In a finite group, a normal subgroup whose order is the least prime divisor of the order of the group, must be a central subgroup (viz, it is contianed inside the center).

Proof

Take any element inside the normal subgroup. The size of the conjugacy class of that element is strictly less than the least prime divisor (because the identity element is in a different conjugacy class from other elements). Since the conjugacy class of the element is an orbit of the element under the group action under conjugation, the size of the conjugacy class divides the order of the group. The only divisor of the order of the group, which is less than the least prime divisor, is 1. Thus every conjugacy class has size 1, and the subgroup is thus contained in the center.