Focal series of a subgroup

From Groupprops
Jump to: navigation, search


This article is about a definition in group theory that is standard among the group theory community (or sub-community that dabbles in such things) but is not very basic or common for people outside.
VIEW: Definitions built on this | Facts about this: (facts closely related to Focal series of a subgroup, all facts related to Focal series of a subgroup) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a list of other standard non-basic definitions


Suppose H is a subgroup of a group G. The focal series of H in G is a series H = H_0 \ge H_1 \ge H_2 \ge \dots where we define:

H_{n+1} = \operatorname{Foc}_G(H).

In other words, each member of the series is the focal subgroup of its predecessor. The focal subgroup is defined as:

\operatorname{Foc}_G(K) = \langle xy^{-1} \mid x,y \in K, \exists g \in G, gxg^{-1} = y \rangle.

A subgroup whose focal series terminates at the trivial subgroup is termed a hyperfocal subgroup.