Difference between revisions of "Omega-1 of center is normality-large in nilpotent p-group"
m (Omega-1 of center is normality-large moved to Omega-1 of center is normality-large in nilpotent p-group)
Revision as of 17:42, 3 September 2008
Let be a nilpotent p-group, i.e., a nilpotent group where the order of every element is a power of the prime . Then, the subgroup is a normality-large subgroup of : its intersection with every nontrivial normal subgroup is nontrivial.
Note that if is a finite p-group, i.e., a group of prime power order, then it is nilpotent.