From Encyclopediaofmath - Reading time: 1 min2020 Mathematics Subject Classification: Primary: 20F14 [MSN][ZBL]
A subgroup of a group for which there is a descending series starting from the subgroup and ending at the group, such that every term in the series is a normal subgroup of its predecessor. The series may be an infinite subgroup system. If the series is finite, then the subgroup is subnormal.