# Semantic search

Extraspecial and critical implies whole group, Extraspecial and normal rank one implies quaternion group, Extraspecial implies Camina, Extraspecial implies inner automorphism group is self-centralizing in automorphism group, IA equals inner in extraspecial, Outer automorphism group of finite p-group that is not elementary abelian or extraspecial has a nontrivial normal p-subgroup