In group theory, a branch of abstract algebra, extraspecial groups are analogues of the Heisenberg group over finite fields whose size is a prime. For each prime p and positive integer n there are exactly two (up to isomorphism) extraspecial groups of order p1+2n. Extraspecial groups often occur in centralizers of involutions. The ordinary character theory of extraspecial groups is well understood.