Omega-1 is large

From Groupprops
Revision as of 20:19, 7 July 2008 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Let be a p-group, i.e., a group where the order of every element is a power of . Then, the subgroup defined by:

Then, is a large subgroup of : its intersection with every nontrivial subgroup of is nontrivial.