Category:Subgroup property implications in nilpotent groups