Dempwolff group

Last updated • 1 min readFrom Wikipedia, The Free Encyclopedia

In mathematical finite group theory, the Dempwolff group is a finite group of order 319979520 = 215·32·5·7·31, that is the unique nonsplit extension of by its natural module of order . The uniqueness of such a nonsplit extension was shown by Dempwolff (1972), and the existence by Thompson (1976), who showed using some computer calculations of Smith (1976) that the Dempwolff group is contained in the compact Lie group as the subgroup fixing a certain lattice in the Lie algebra of , and is also contained in the Thompson sporadic group (the full automorphism group of this lattice) as a maximal subgroup.

Huppert (1967 , p.124) showed that any extension of by its natural module splits if . Note that this theorem does not necessarily apply to extensions of ; for example, there is a non-split extension , which is a maximal subgroup of the Lyons group. Dempwolff (1973) showed that it also splits if is not 3, 4, or 5, and in each of these three cases there is just one non-split extension. These three nonsplit extensions can be constructed as follows:

Related Research Articles

<span class="mw-page-title-main">Solvable group</span> Group with subnormal series where all factors are abelian

In mathematics, more specifically in the field of group theory, a solvable group or soluble group is a group that can be constructed from abelian groups using extensions. Equivalently, a solvable group is a group whose derived series terminates in the trivial subgroup.

<span class="mw-page-title-main">Quaternion group</span> Non-abelian group of order eight

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">Algebraic group</span> Algebraic variety with a group structure

In mathematics, an algebraic group is an algebraic variety endowed with a group structure that is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs both to algebraic geometry and group theory.

In mathematics, group cohomology is a set of mathematical tools used to study groups using cohomology theory, a technique from algebraic topology. Analogous to group representations, group cohomology looks at the group actions of a group G in an associated G-moduleM to elucidate the properties of the group. By treating the G-module as a kind of topological space with elements of representing n-simplices, topological properties of the space may be computed, such as the set of cohomology groups . The cohomology groups in turn provide insight into the structure of the group G and G-module M themselves. Group cohomology plays a role in the investigation of fixed points of a group action in a module or space and the quotient module or space with respect to a group action. Group cohomology is used in the fields of abstract algebra, homological algebra, algebraic topology and algebraic number theory, as well as in applications to group theory proper. As in algebraic topology, there is a dual theory called group homology. The techniques of group cohomology can also be extended to the case that instead of a G-module, G acts on a nonabelian G-group; in effect, a generalization of a module to non-Abelian coefficients.

In mathematics, the indefinite orthogonal group, O(p, q) is the Lie group of all linear transformations of an n-dimensional real vector space that leave invariant a nondegenerate, symmetric bilinear form of signature (p, q), where n = p + q. It is also called the pseudo-orthogonal group or generalized orthogonal group. The dimension of the group is n(n − 1)/2.

In the field of representation theory in mathematics, a projective representation of a group G on a vector space V over a field F is a group homomorphism from G to the projective linear group where GL(V) is the general linear group of invertible linear transformations of V over F, and F is the normal subgroup consisting of nonzero scalar multiples of the identity transformation (see Scalar transformation).

<span class="mw-page-title-main">Linear algebraic group</span> Subgroup of the group of invertible n×n matrices

In mathematics, a linear algebraic group is a subgroup of the group of invertible matrices that is defined by polynomial equations. An example is the orthogonal group, defined by the relation where is the transpose of .

In mathematics, an algebraic torus, where a one dimensional torus is typically denoted by , , or , is a type of commutative affine algebraic group commonly found in projective algebraic geometry and toric geometry. Higher dimensional algebraic tori can be modelled as a product of algebraic groups . These groups were named by analogy with the theory of tori in Lie group theory. For example, over the complex numbers the algebraic torus is isomorphic to the group scheme , which is the scheme theoretic analogue of the Lie group . In fact, any -action on a complex vector space can be pulled back to a -action from the inclusion as real manifolds.

<span class="mw-page-title-main">Thompson sporadic group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Thompson groupTh is a sporadic simple group of order

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

In mathematics, an arithmetic group is a group obtained as the integer points of an algebraic group, for example They arise naturally in the study of arithmetic properties of quadratic forms and other classical topics in number theory. They also give rise to very interesting examples of Riemannian manifolds and hence are objects of interest in differential geometry and topology. Finally, these two topics join in the theory of automorphic forms which is fundamental in modern number theory.

<span class="mw-page-title-main">Compact group</span> Topological group with compact topology

In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space. Compact groups are a natural generalization of finite groups with the discrete topology and have properties that carry over in significant fashion. Compact groups have a well-understood theory, in relation to group actions and representation theory.

<span class="mw-page-title-main">O'Nan group</span> Sporadic simple group

In the area of abstract algebra known as group theory, the O'Nan groupO'N or O'Nan–Sims group is a sporadic simple group of order

<span class="mw-page-title-main">Rudvalis group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Rudvalis groupRu is a sporadic simple group of order

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

In mathematics, the classical groups are defined as the special linear groups over the reals , the complex numbers and the quaternions together with special automorphism groups of symmetric or skew-symmetric bilinear forms and Hermitian or skew-Hermitian sesquilinear forms defined on real, complex and quaternionic finite-dimensional vector spaces. Of these, the complex classical Lie groups are four infinite families of Lie groups that together with the exceptional groups exhaust the classification of simple Lie groups. The compact classical groups are compact real forms of the complex classical groups. The finite analogues of the classical groups are the classical groups of Lie type. The term "classical group" was coined by Hermann Weyl, it being the title of his 1939 monograph The Classical Groups.

<span class="mw-page-title-main">Lattice (discrete subgroup)</span> Discrete subgroup in a locally compact topological group

In Lie theory and related areas of mathematics, a lattice in a locally compact group is a discrete subgroup with the property that the quotient space has finite invariant measure. In the special case of subgroups of Rn, this amounts to the usual geometric notion of a lattice as a periodic subset of points, and both the algebraic structure of lattices and the geometry of the space of all lattices are relatively well understood.

<span class="mw-page-title-main">McLaughlin sporadic group</span> Sporadic simple group

In the area of modern algebra known as group theory, the McLaughlin group McL is a sporadic simple group of order

In mathematics, a restricted Lie algebra is a Lie algebra over a field of characteristic p>0 together with an additional "pth power" operation. Most naturally occurring Lie algebras in characteristic p come with this structure, because the Lie algebra of a group scheme over a field of characteristic p is restricted.

In finite group theory, a p-stable group for an odd prime p is a finite group satisfying a technical condition introduced by Gorenstein and Walter in order to extend Thompson's uniqueness results in the odd order theorem to groups with dihedral Sylow 2-subgroups.

Conway group Co<sub>3</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Conway group is a sporadic simple group of order

Conway group Co<sub>1</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Conway groupCo1 is a sporadic simple group of order

References