Group of finite composition length

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions
This is a variation of finiteness (groups)|Find other variations of finiteness (groups) |

This property makes sense for infinite groups. For finite groups, it is always true

Definition

A group is said to have finite composition length if it satisfies the following equivalent conditions:

1. It possesses a composition series of finite length, viz., a subnormal series such that all the successive quotients are simple groups.
2. Every subnormal series (without repeated terms) can be refined to a composition series of finite length.
3. It satisfies both the ascending chain condition on subnormal subgroups and the descending chain condition on subnormal subgroups.
4. There is an upper bound on the length of any subnormal series for the group (this upper bound equals the composition length, i.e., the length of any composition series).

Metaproperties

Normal subgroups

This group property is normal subgroup-closed: any normal subgroup (and hence, any subnormal subgroup) of a group with the property, also has the property
View other normal subgroup-closed group properties

Any normal subgroup of a group of finite composition length again has finite composition length. In fact, if $N$ is a normal subgroup of a group $G$, the composition length of $G$ equals the sum of the composition lengths of $N$ and $G/N$.