Omega-1 is large
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.
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.