Template:Pivotal group property