Class of groups

Last updated April 19, 2023

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 mapc 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}})$

Related Research Articles

<span class="mw-page-title-main">Lie algebra</span> Algebraic structure used in analysis

In mathematics, a Lie algebra is a vector space $together with an operation called the Lie bracket, an alternating bilinear map, that satisfies the Jacobi identity. The Lie bracket of two vectors and is denoted . The vector space together with this operation is a non-associative algebra, meaning that the Lie bracket is not necessarily associative.$

In mathematics, and more specifically in ring theory, an ideal of a ring is a special subset of its elements. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3. Addition and subtraction of even numbers preserves evenness, and multiplying an even number by any integer results in an even number; these closure and absorption properties are the defining properties of an ideal. An ideal can be used to construct a quotient ring in a way similar to how, in group theory, a normal subgroup can be used to construct a quotient group.

In mathematics, topological groups are logically the combination of groups and topological spaces, i.e. they are groups and topological spaces at the same time, such that the continuity condition for the group operations connects these two structures together and consequently they are not independent from each other.

In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. There are two closely related concepts of semidirect product:

In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noetherian respectively. That is, every increasing sequence $of left ideals has a largest element; that is, there exists an n such that:$

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.

In mathematics, especially group theory, the centralizer of a subset S in a group G is the set $of elements of G that commute with every element of S, or equivalently, such that conjugation by leaves each element of S fixed. The normalizer of S in G is the set of elements of G that satisfy the weaker condition of leaving the set fixed under conjugation. The centralizer and normalizer of S are subgroups of G . Many techniques in group theory are based on studying the centralizers and normalizers of suitable subsets S .$

In mathematics, specifically group theory, the index of a subgroup H in a group G is the number of left cosets of H in G, or equivalently, the number of right cosets of H in G. The index is denoted $or or . Because G is the disjoint union of the left cosets and because each left coset has the same size as H, the index is related to the orders of the two groups by the formula$

In mathematics, the adele ring of a global field is a central object of class field theory, a branch of algebraic number theory. It is the restricted product of all the completions of the global field, and is an example of a self-dual topological ring.

A group is a set together with an associative operation which admits an identity element and such that every element has an inverse.

In abstract algebra, a composition series provides a way to break up an algebraic structure, such as a group or a module, into simple pieces. The need for considering composition series in the context of modules arises from the fact that many naturally occurring modules are not semisimple, hence cannot be decomposed into a direct sum of simple modules. A composition series of a module M is a finite increasing filtration of M by submodules such that the successive quotients are simple and serves as a replacement of the direct sum decomposition of M into its simple constituents.

In mathematics, in particular commutative algebra, the concept of fractional ideal is introduced in the context of integral domains and is particularly fruitful in the study of Dedekind domains. In some sense, fractional ideals of an integral domain are like ideals where denominators are allowed. In contexts where fractional ideals and ordinary ring ideals are both under discussion, the latter are sometimes termed integral ideals for clarity.

In abstract algebra, a valuation ring is an integral domain D such that for every element x of its field of fractions F, at least one of x or x⁻¹ belongs to D.

In mathematics, specifically group theory, a subgroup series of a group $is a chain of subgroups:$

In mathematics, specifically in group theory, the direct product is an operation that takes two groups $G$ and $H$ and constructs a new group, usually denoted $G \times H$ . This operation is the group-theoretic analogue of the Cartesian product of sets and is one of several important notions of direct product in mathematics.

In algebraic geometry, the Nisnevich topology, sometimes called the completely decomposed topology, is a Grothendieck topology on the category of schemes which has been used in algebraic K-theory, A¹ homotopy theory, and the theory of motives. It was originally introduced by Yevsey Nisnevich, who was motivated by the theory of adeles.

In mathematics, an algebraic number field is an extension field $of the field of rational numbers such that the field extension has finite degree . Thus is a field that contains and has finite dimension when considered as a vector space over .$

In mathematics, Lie group–Lie algebra correspondence allows one to correspond a Lie group to a Lie algebra or vice versa, and study the conditions for such a relationship. Lie groups that are isomorphic to each other have Lie algebras that are isomorphic to each other, but the converse is not necessarily true. One obvious counterexample is $and which are non-isomorphic to each other as Lie groups but their Lie algebras are isomorphic to each other. However, by restricting our attention to the simply connected Lie groups, the Lie group-Lie algebra correspondence will be one-to-one.$

In the mathematical subject of geometric group theory, an acylindrically hyperbolic group is a group admitting a non-elementary 'acylindrical' isometric action on some geodesic hyperbolic metric space. This notion generalizes the notions of a hyperbolic group and of a relatively hyperbolic group and includes a significantly wider class of examples, such as mapping class groups and Out(F_n).

<span class="mw-page-title-main">Glossary of Lie groups and Lie algebras</span>

This is a glossary for the terminology applied in the mathematical theories of Lie groups and Lie algebras. For the topics in the representation theory of Lie groups and Lie algebras, see Glossary of representation theory. Because of the lack of other options, the glossary also includes some generalizations such as quantum group.

References

Ballester-Bolinches, Adolfo; Ezquerro, Luis M. (2006), Classes of finite groups, Mathematics and Its Applications (Springer), vol. 584, Berlin, New York: Springer-Verlag, ISBN 978-1-4020-4718-3, MR 2241927
Doerk, Klaus; Hawkes, Trevor (1992), Finite soluble groups, de Gruyter Expositions in Mathematics, vol. 4, Berlin: Walter de Gruyter & Co., ISBN 978-3-11-012892-5, MR 1169099