In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, in the area of
algebra
Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic ope ...
known as
group theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups.
The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field ( ...
, an imperfect group is a
group
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic iden ...
with no nontrivial
perfect quotients. Some of their basic properties were established in . The study of imperfect groups apparently began in .
[That this is the first such investigation is indicated in ]
The class of imperfect groups is closed under
extension and quotient groups, but not under
subgroup
In group theory, a branch of mathematics, a subset of a group G is a subgroup of G if the members of that subset form a group with respect to the group operation in G.
Formally, given a group (mathematics), group under a binary operation  ...
s. If ''G'' is a group, ''N'', ''M'' are normal subgroups with ''G''/''N'' and ''G''/''M'' imperfect, then ''G''/(''N''∩''M'') is imperfect, showing that the class of imperfect groups is a
formation. The (restricted or unrestricted)
direct product
In mathematics, a direct product of objects already known can often be defined by giving a new one. That induces a structure on the Cartesian product of the underlying sets from that of the contributing objects. The categorical product is an abs ...
of imperfect groups is imperfect.
Every
solvable group
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 terminat ...
is imperfect. Finite
symmetric group
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 grou ...
s are also imperfect. The
general linear group
In mathematics, the general linear group of degree n is the set of n\times n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again inve ...
s PGL(2,''q'') are imperfect for ''q'' an odd prime power. For any group ''H'', the
wreath product
In group theory, the wreath product is a special combination of two groups based on the semidirect product. It is formed by the action of one group on many copies of another group, somewhat analogous to exponentiation. Wreath products are used ...
''H'' wr ''Sym''
2 of ''H'' with the
symmetric group
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 grou ...
on two points is imperfect. In particular, every group can be embedded as a two-step
subnormal subgroup of an imperfect group of roughly the same cardinality (2, ''H'',
2).
References
*
*
Properties of groups
{{group-theory-stub