Omega-1 is large
(Redirected from Omega-1 is normality-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.