Hereditarily subnormal subgroup
This article describes a property that arises as the conjunction of a subgroup property: subnormal subgroup with a group property (itself viewed as a subgroup property): group in which every subgroup is subnormal
View a complete list of such conjunctions
- It is subnormal in the whole group and is also a group in which every subgroup is subnormal: every subgroup of it is subnormal in it.
- Every subgroup of the subgroup is subnormal in the whole group.
Equivalence of definitions
(1) implies (2) because subnormality is transitive, while (2) implies (1) because subnormality satisfies intermediate subgroup condition.