Extra special group

Last updated

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.

Contents

Definition

Recall that a finite group is called a p-group if its order is a power of a prime p.

A p-group G is called extraspecial if its center Z is cyclic of order p, and the quotient G/Z is a non-trivial elementary abelian p-group.

Extraspecial groups of order p1+2n are often denoted by the symbol p1+2n. For example, 21+24 stands for an extraspecial group of order 225.

Classification

Every extraspecial p-group has order p1+2n for some positive integer n, and conversely for each such number there are exactly two extraspecial groups up to isomorphism. A central product of two extraspecial p-groups is extraspecial, and every extraspecial group can be written as a central product of extraspecial groups of order p3. This reduces the classification of extraspecial groups to that of extraspecial groups of order p3. The classification is often presented differently in the two cases p odd and p = 2, but a uniform presentation is also possible.

p odd

There are two extraspecial groups of order p3, which for p odd are given by

If n is a positive integer there are two extraspecial groups of order p1+2n, which for p odd are given by

The two extraspecial groups of order p1+2n are most easily distinguished by the fact that one has all elements of order at most p and the other has elements of order p2.

p = 2

There are two extraspecial groups of order 8 = 23, which are given by

If n is a positive integer there are two extraspecial groups of order 21+2n, which are given by

The two extraspecial groups G of order 21+2n are most easily distinguished as follows. If Z is the center, then G/Z is a vector space over the field with 2 elements. It has a quadratic form q, where q is 1 if the lift of an element has order 4 in G, and 0 otherwise. Then the Arf invariant of this quadratic form can be used to distinguish the two extraspecial groups. Equivalently, one can distinguish the groups by counting the number of elements of order 4.

All p

A uniform presentation of the extraspecial groups of order p1+2n can be given as follows. Define the two groups:

M(p) and N(p) are non-isomorphic extraspecial groups of order p3 with center of order p generated by c. The two non-isomorphic extraspecial groups of order p1+2n are the central products of either n copies of M(p) or n−1 copies of M(p) and 1 copy of N(p). This is a special case of a classification of p-groups with cyclic centers and simple derived subgroups given in ( Newman 1960 ).

Character theory

If G is an extraspecial group of order p1+2n, then its irreducible complex representations are given as follows:

Examples

It is quite common for the centralizer of an involution in a finite simple group to contain a normal extraspecial subgroup. For example, the centralizer of an involution of type 2B in the monster group has structure 21+24.Co1, which means that it has a normal extraspecial subgroup of order 21+24, and the quotient is one of the Conway groups.

Generalizations

Groups whose center, derived subgroup, and Frattini subgroup are all equal are called special groups . Infinite special groups whose derived subgroup has order p are also called extraspecial groups. The classification of countably infinite extraspecial groups is very similar to the finite case, ( Newman 1960 ), but for larger cardinalities even basic properties of the groups depend on delicate issues of set theory, some of which are exposed in ( Shelah & Steprāns 1987 ). The nilpotent groups whose center is cyclic and derived subgroup has order p and whose conjugacy classes are at most countably infinite are classified in ( Newman 1960 ). Finite groups whose derived subgroup has order p are classified in ( Blackburn 1999 ).

Related Research Articles

In mathematics, a finite field or Galois field is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtraction and division are defined and satisfy certain basic rules. The most common examples of finite fields are given by the integers mod p when p is a prime number.

<span class="texhtml mvar" style="font-style:italic;">p</span>-group Group in which the order of every element is a power of p

In mathematics, specifically group theory, given a prime number p, a p-group is a group in which the order of every element is a power of p. That is, for each element g of a p-group G, there exists a nonnegative integer n such that the product of pn copies of g, and not fewer, is equal to the identity element. The orders of different elements may be different powers of p.

<span class="mw-page-title-main">Symmetric group</span> Type of group in abstract algebra

In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group defined over a finite set of symbols consists of the permutations that can be performed on the symbols. Since there are such permutation operations, the order of the symmetric group is .

<span class="mw-page-title-main">Clifford algebra</span> Algebra based on a vector space with a quadratic form

In mathematics, a Clifford algebra is an algebra generated by a vector space with a quadratic form, and is a unital associative algebra. As K-algebras, they generalize the real numbers, complex numbers, quaternions and several other hypercomplex number systems. The theory of Clifford algebras is intimately connected with the theory of quadratic forms and orthogonal transformations. Clifford algebras have important applications in a variety of fields including geometry, theoretical physics and digital image processing. They are named after the English mathematician William Kingdon Clifford.

<span class="mw-page-title-main">Quaternion group</span>

In group theory, the quaternion group Q8 (sometimes just denoted by Q) is a non-abelian group of order eight, isomorphic to the eight-element subset of the quaternions under multiplication. It is given by the group presentation

<span class="mw-page-title-main">Orthogonal group</span> Type of group in mathematics

In mathematics, the orthogonal group in dimension , denoted , is the group of distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of orthogonal matrices, where the group operation is given by matrix multiplication. The orthogonal group is an algebraic group and a Lie group. It is compact.

In mathematics, the outer automorphism group of a group, G, is the quotient, Aut(G) / Inn(G), where Aut(G) is the automorphism group of G and Inn(G) is the subgroup consisting of inner automorphisms. The outer automorphism group is usually denoted Out(G). If Out(G) is trivial and G has a trivial center, then G is said to be complete.

E<sub>7</sub> (mathematics) 133-dimensional exceptional simple Lie group

In mathematics, E7 is the name of several closely related Lie groups, linear algebraic groups or their Lie algebras e7, all of which have dimension 133; the same notation E7 is used for the corresponding root lattice, which has rank 7. The designation E7 comes from the Cartan–Killing classification of the complex simple Lie algebras, which fall into four infinite series labeled An, Bn, Cn, Dn, and five exceptional cases labeled E6, E7, E8, F4, and G2. The E7 algebra is thus one of the five exceptional cases.

In mathematics, more specifically in group theory, the character of a group representation is a function on the group that associates to each group element the trace of the corresponding matrix. The character carries the essential information about the representation in a more condensed form. Georg Frobenius initially developed representation theory of finite groups entirely based on the characters, and without any explicit matrix realization of representations themselves. This is possible because a complex representation of a finite group is determined by its character. The situation with representations over a field of positive characteristic, so-called "modular representations", is more delicate, but Richard Brauer developed a powerful theory of characters in this case as well. Many deep theorems on the structure of finite groups use characters of modular representations.

In group theory, a branch of abstract algebra, a character table is a two-dimensional table whose rows correspond to irreducible representations, and whose columns correspond to conjugacy classes of group elements. The entries consist of characters, the traces of the matrices representing group elements of the column's class in the given row's group representation. In chemistry, crystallography, and spectroscopy, character tables of point groups are used to classify e.g. molecular vibrations according to their symmetry, and to predict whether a transition between two states is forbidden for symmetry reasons. Many university level textbooks on physical chemistry, quantum chemistry, spectroscopy and inorganic chemistry devote a chapter to the use of symmetry group character tables.

<span class="mw-page-title-main">Reductive group</span>

In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfect field is reductive if it has a representation with finite kernel which is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group GL(n) of invertible matrices, the special orthogonal group SO(n), and the symplectic group Sp(2n). Simple algebraic groups and (more generally) semisimple algebraic groups are reductive.

Modular representation theory is a branch of mathematics, and is the part of representation theory that studies linear representations of finite groups over a field K of positive characteristic p, necessarily a prime number. As well as having applications to group theory, modular representations arise naturally in other branches of mathematics, such as algebraic geometry, coding theory, combinatorics and number theory.

In mathematics, the Feit–Thompson theorem, or odd order theorem, states that every finite group of odd order is solvable. It was proved by Walter Feit and John Griggs Thompson.

<span class="mw-page-title-main">Frobenius group</span>

In mathematics, a Frobenius group is a transitive permutation group on a finite set, such that no non-trivial element fixes more than one point and some non-trivial element fixes a point. They are named after F. G. Frobenius.

In mathematics, the binary icosahedral group 2I or ⟨2,3,5⟩ is a certain nonabelian group of order 120. It is an extension of the icosahedral group I or (2,3,5) of order 60 by the cyclic group of order 2, and is the preimage of the icosahedral group under the 2:1 covering homomorphism

In mathematics, Deligne–Lusztig theory is a way of constructing linear representations of finite groups of Lie type using ℓ-adic cohomology with compact support, introduced by Pierre Deligne and George Lusztig (1976).

In group theory, a branch of mathematics, the automorphisms and outer automorphisms of the symmetric groups and alternating groups are both standard examples of these automorphisms, and objects of study in their own right, particularly the exceptional outer automorphism of S6, the symmetric group on 6 elements.

<span class="mw-page-title-main">Hyperoctahedral group</span> Group of symmetries of an n-dimensional hypercube

In mathematics, a hyperoctahedral group is an important type of group that can be realized as the group of symmetries of a hypercube or of a cross-polytope. It was named by Alfred Young in 1930. Groups of this type are identified by a parameter n, the dimension of the hypercube.

In mathematics, Hurwitz's theorem is a theorem of Adolf Hurwitz (1859–1919), published posthumously in 1923, solving the Hurwitz problem for finite-dimensional unital real non-associative algebras endowed with a positive-definite quadratic form. The theorem states that if the quadratic form defines a homomorphism into the positive real numbers on the non-zero part of the algebra, then the algebra must be isomorphic to the real numbers, the complex numbers, the quaternions, or the octonions. Such algebras, sometimes called Hurwitz algebras, are examples of composition algebras.

References