Concept
Simple group
Related concepts (28)
Burnside's theorem
In mathematics, Burnside's theorem in group theory states that if G is a finite group of order where p and q are prime numbers, and a and b are non-negative integers, then G is solvable. Hence each non-Abelian finite simple group has order divisible by at least three distinct primes. The theorem was proved by using the representation theory of finite groups. Several special cases of the theorem had previously been proved by Burnside, Jordan, and Frobenius.
Subquotient
In the mathematical fields of and abstract algebra, a subquotient is a quotient object of a subobject. Subquotients are particularly important in abelian categories, and in group theory, where they are also known as sections, though this conflicts with in category theory. In the literature about sporadic groups wordings like " is involved in " can be found with the apparent meaning of " is a subquotient of ." A quotient of a subrepresentation of a representation (of, say, a group) might be called a subquotient representation; e.
Almost simple group
In mathematics, a group is said to be almost simple if it contains a non-abelian simple group and is contained within the automorphism group of that simple group – that is, if it fits between a (non-abelian) simple group and its automorphism group. In symbols, a group A is almost simple if there is a (non-abelian) simple group S such that Trivially, non-abelian simple groups and the full group of automorphisms are almost simple, but proper examples exist, meaning almost simple groups that are neither simple nor the full automorphism group.
Tits group
In group theory, the Tits group 2F4(2)′, named for Jacques Tits (tits), is a finite simple group of order 211 · 33 · 52 · 13 = 17,971,200. It is sometimes considered a 27th sporadic group. The Ree groups 2F4(22n+1) were constructed by , who showed that they are simple if n ≥ 1. The first member of this series 2F4(2) is not simple. It was studied by who showed that it is almost simple, its derived subgroup 2F4(2)′ of index 2 being a new simple group, now called the Tits group.
ATLAS of Finite Groups
The ATLAS of Finite Groups, often simply known as the ATLAS, is a group theory book by John Horton Conway, Robert Turner Curtis, Simon Phillips Norton, Richard Alan Parker and Robert Arnott Wilson (with computational assistance from J. G. Thackray), published in December 1985 by Oxford University Press and reprinted with corrections in 2003 ().
Projective unitary group
In mathematics, the projective unitary group PU(n) is the quotient of the unitary group U(n) by the right multiplication of its center, U(1), embedded as scalars. Abstractly, it is the holomorphic isometry group of complex projective space, just as the projective orthogonal group is the isometry group of real projective space. In terms of matrices, elements of U(n) are complex n×n unitary matrices, and elements of the center are diagonal matrices equal to eiθ multiplied by the identity matrix.
Rubik's Cube group
The Rubik's Cube group is a group that represents the structure of the Rubik's Cube mechanical puzzle. Each element of the set corresponds to a cube move, which is the effect of any sequence of rotations of the cube's faces. With this representation, not only can any cube move be represented, but any position of the cube as well, by detailing the cube moves required to rotate the solved cube into that position. Indeed with the solved position as a starting point, there is a one-to-one correspondence between each of the legal positions of the Rubik's Cube and the elements of .
Cauchy's theorem (group theory)
In mathematics, specifically group theory, Cauchy's theorem states that if G is a finite group and p is a prime number dividing the order of G (the number of elements in G), then G contains an element of order p. That is, there is x in G such that p is the smallest positive integer with xp = e, where e is the identity element of G. It is named after Augustin-Louis Cauchy, who discovered it in 1845. The theorem is related to Lagrange's theorem, which states that the order of any subgroup of a finite group G divides the order of G.