ascending series

Let $G$ be a group.

An ascending series of $G$is a family ${(H_{\alpha })}_{\alpha \le \beta }$ of subgroups of $G$,where $\beta$ is an ordinal,such that $H_0=\{1\}$ and $H_{\beta }=G$,and $H_{\alpha }\mathrm{⊴}{H}_{\alpha +1}$ for all ,and

whenever $\delta \le \beta$ is a limit ordinal.

Note that this is a generalization of the concept of a subnormal series.Compare also the dual concept of a descending series.

Given an ascending series ${(H_{\alpha })}_{\alpha \le \beta }$,the subgroups $H_{\alpha }$ are called the terms of the seriesand the quotients (http://planetmath.org/QuotientGroup) $H_{\alpha +1}/H_{\alpha }$are called the factors of the series.

A subgroup of $G$ that is a term of some ascending series of $G$is called an ascendant subgroup of $G$.The notation $H\mathrm{asc}G$ is sometimes usedto indicate that $H$ is an ascendant subgroup of $G$.

The groups in which every subgroup is ascendantare precisely the groups that satisfy the normalizer condition.Groups in which every cyclic subgroup is ascendantare called Gruenberg groups.It can be shown that in a Gruenberg group,every finitely generated subgroup is ascendant and nilpotent(and so, in particular, Gruenberg groups are locally nilpotent).

An ascending series of $G$in which all terms are normal in $G$is called an ascending normal series.

Let $𝔛$ be a property of groups.A group is said to be hyper-$\mathrm{X}$if it has an ascending normal serieswhose factors all have property $𝔛$.So, for example, a hyperabelian groupis a group that has an ascending normal series with abelian factors.Hyperabelian groups are sometimes called $S\mathit{}{I}^{\mathrm{*}}$-groups.

Title	ascending series
Canonical name	AscendingSeries
Date of creation	2013-03-22 16:14:55
Last modified on	2013-03-22 16:14:55
Owner	yark (2760)
Last modified by	yark (2760)
Numerical id	12
Author	yark (2760)
Entry type	Definition
Classification	msc 20E15
Classification	msc 20F22
Related topic	DescendingSeries
Related topic	SubnormalSeries
Related topic	SubnormalSubgroup
Defines	ascending normal series
Defines	ascendant subgroup
Defines	ascendant
Defines	hyperabelian group
Defines	hyperabelian
Defines	Gruenberg group