Template:Pivotal subgroup property