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.
A class of groups
ak{X}
G\inak{X}
G\congH
H\inak{X}
ak{X}~
ak{X}
For a set of groups
ak{I}
(ak{I})
ak{I}
G
(G)
The most common examples of classes of groups are:
\emptyset
ak{C}~
ak{A}~
ak{U}~
ak{N}~
ak{S}~
ak{I}~
ak{F}~
ak{G}~
Given two classes of groups
ak{X}
ak{Y}
ak{X}ak{Y}=(G\midGhasanormalsubgroupN\inak{X}withG/N\inak{Y}).
This construction allows us to recursively define the power of a class by setting
ak{X}0=(1)
ak{X}n=ak{X}n-1ak{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
(ak{C}ak{C})ak{C}
V4
ak{C}ak{C}
A4/V4\congC3
ak{C}
A4
A4\not\inak{C}(ak{C}ak{C})
ak{C}(ak{C}ak{C})\not=(ak{C}ak{C})ak{C}
However it is straightforward from the definition that for any three classes of groups
ak{X}
ak{Y}
ak{Z}
ak{X}(ak{Y}ak{Z})\subseteq(ak{X}ak{Y})ak{Z}
A class map c is a map which assigns a class of groups
ak{X}
cak{X}
ak{X}\subseteqcak{X}
cak{X}=c(cak{X})
ak{X}\subseteqak{Y}
cak{X}\subseteqcak{Y}
Some of the most common examples of closure operations are:
Sak{X}=(G\midG\leqH, H\inak{X})
Qak{X}=(G\midexistsH\inak{X}andanepimorphismfromHtoG)
N0ak{X}=(G\midexistsKi (i=1, … ,r)subnormalinGwithKi\inak{X}andG=\langleK1, … ,Kr\rangle)
R0ak{X}=(G\midexistsNi (i=1, … ,r)normalinGwithG/Ni\in
rNi=1) | |
ak{X}andcap\limits | |
i=1 |
Snak{X}=(G\midGissubnormalinHforsomeH\inak{X})