# Class of groups

Algebraic structure → Group theory Group theory :
Basic notions
Subgroup
Normal subgroup
Group action
Quotient group
(Semi-)direct product
Direct sum
Free product
Wreath product
Group homomorphisms
kernel
image
simple
finite
infinite
continuous
multiplicative
additive
cyclic
abelian
dihedral
nilpotent
solvable
Glossary of group theory
List of group theory topics :
Finite groups
Cyclic group Z$_n$
Symmetric group S$_n$
Alternating group A$_n$
Dihedral group D$_n$
Quaternion group Q
Cauchy's theorem
Lagrange's theorem
Sylow theorems
Hall's theorem
p-group
Elementary abelian group
Frobenius group
Schur multiplier
Classification of finite simple groups
cyclic
alternating
Lie type
sporadic :
Discrete groupsLattices
Integers ($\mathbb {Z}$)
Free group
Modular groups PSL(2, $\mathbb {Z}$)SL(2, $\mathbb {Z}$)
Arithmetic group
Lattice
Hyperbolic group :
Topological and Lie groups
Solenoid
Circle
General linear GL(n)
Special linear SL(n)
Orthogonal O(n)
Euclidean E(n)
Special orthogonal SO(n)
Unitary U(n)
Special unitary SU(n)
Symplectic Sp(n)
G$_2$
F$_4$
E$_6$
E$_7$
E$_8$
Lorentz
Poincaré
Conformal
Diffeomorphism
Loop
Infinite dimensional Lie group O(∞)SU(∞)Sp(∞) :
Algebraic groups
Linear algebraic group
Reductive group
Abelian variety
Elliptic curve :
vte :
A class of groups is a set-theoretical collection of groups satisfying the property that if G is in the collection then every group isomorphic to G is also in the collection. This concept arose from the necessity to work with a bunch of groups satisfying certain special property (for example finiteness or commutativity). Since set theory does not admit the "set of all groups", it is necessary to work with the more general concept of class.

## Definition

A class of groups ${\mathfrak {X}}$ is a collection of groups such that if $G\in {\mathfrak {X}}$ and $G\cong H$ then $H\in {\mathfrak {X}}$. Groups in the class ${\mathfrak {X}}~$ are referred to as ${\mathfrak {X}}$-groups.
For a set of groups ${\mathfrak {I}}$, we denote by $({\mathfrak {I}})$ the smallest class of groups containing ${\mathfrak {I}}$. In particular for a group $G$, $(G)$ denotes its isomorphism class.

## Examples

The most common examples of classes of groups are:
* $\emptyset$: the empty class of groups
* ${\mathfrak {C}}~$: the class of cyclic groups
* ${\mathfrak {A}}~$: the class of abelian groups
* ${\mathfrak {U}}~$: the class of finite supersolvable groups
* ${\mathfrak {N}}~$: the class of nilpotent groups
* ${\mathfrak {S}}~$: the class of finite solvable groups
* ${\mathfrak {I}}~$: the class of finite simple groups
* ${\mathfrak {F}}~$: the class of finite groups
* ${\mathfrak {G}}~$: the class of all groups

## Product of classes of groups

Given two classes of groups ${\mathfrak {X}}$ and ${\mathfrak {Y}}$ it is defined the product of classes
    ${\mathfrak {X}}{\mathfrak {Y}}=(G\mid G{\text{ has a normal subgroup }}N\in {\mathfrak {X}}{\text{ with }}G/N\in {\mathfrak {Y}}).$
This construction allows us to recursively define the power of a class by setting
    ${\mathfrak {X}}^{0}=(1)$ and ${\mathfrak {X}}^{n}={\mathfrak {X}}^{n-1}{\mathfrak {X}}.$
It must be remarked that this binary operation on the class of classes of groups is neither associative nor commutative. For instance, consider the alternating group of degree 4 (and order 12); this group belongs to the class $({\mathfrak {C}}{\mathfrak {C}}){\mathfrak {C}}$ because it has as a subgroup the group $V_{4}$, which belongs to ${\mathfrak {C}}{\mathfrak {C}}$, and furthermore $A_{4}/V_{4}\cong C_{3}$, which is in ${\mathfrak {C}}$. However $A_{4}$ has no non-trivial normal cyclic subgroup, so $A_{4}\not \in {\mathfrak {C}}({\mathfrak {C}}{\mathfrak {C}})$. Then ${\mathfrak {C}}({\mathfrak {C}}{\mathfrak {C}})\not =({\mathfrak {C}}{\mathfrak {C}}){\mathfrak {C}}$.
However it is straightforward from the definition that for any three classes of groups ${\mathfrak {X}}$, ${\mathfrak {Y}}$, and ${\mathfrak {Z}}$,
    ${\mathfrak {X}}({\mathfrak {Y}}{\mathfrak {Z}})\subseteq ({\mathfrak {X}}{\mathfrak {Y}}){\mathfrak {Z}}$

## Class maps and closure operations

A class map c is a map which assigns a class of groups ${\mathfrak {X}}$ to another class of groups $c{\mathfrak {X}}$. A class map is said to be a closure operation if it satisfies the next properties:
* c is expansive: ${\mathfrak {X}}\subseteq c{\mathfrak {X}}$
* c is idempotent: $c{\mathfrak {X}}=c(c{\mathfrak {X}})$
* c is monotonic: If ${\mathfrak {X}}\subseteq {\mathfrak {Y}}$ then $c{\mathfrak {X}}\subseteq c{\mathfrak {Y}}$
Some of the most common examples of closure operations are:
* $S{\mathfrak {X}}=(G\mid G\leq H,\ H\in {\mathfrak {X}})$
* $Q{\mathfrak {X}}=(G\mid {\text{exists }}H\in {\mathfrak {X}}{\text{ and an epimorphism from }}H{\text{ to }}G)$
* $N_{0}{\mathfrak {X}}=(G\mid {\text{ exists }}K_{i}\ (i=1,\cdots ,r){\text{ subnormal in }}G{\text{ with }}K_{i}\in {\mathfrak {X}}{\text{ and }}G=\langle K_{1},\cdots ,K_{r}\rangle )$
* $R_{0}{\mathfrak {X}}=(G\mid {\text{ exists }}N_{i}\ (i=1,\cdots ,r){\text{ normal in }}G{\text{ with }}G/N_{i}\in {\mathfrak {X}}{\text{ and }}\bigcap \limits _{i=1}^{r}Ni=1)$
* $S_{n}{\mathfrak {X}}=(G\mid G{\text{ is subnormal in }}H{\text{ for some }}H\in {\mathfrak {X}})$