Abelian hereditarily normal subgroup

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to Abelian hereditarily normal subgroup, all facts related to Abelian hereditarily normal subgroup) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

This article describes a property that arises as the conjunction of a subgroup property: hereditarily normal subgroup with a group property (itself viewed as a subgroup property): abelian group
View a complete list of such conjunctions

This article describes a property that arises as the conjunction of a subgroup property: transitively normal subgroup with a group property (itself viewed as a subgroup property): abelian group
View a complete list of such conjunctions

Definition

A subgroup $H$ of a group $G$ is termed an abelian hereditarily normal subgroup or abelian transitively normal subgroup of $G$ if it satisfies the following equivalent conditions:

1. $H$ is abelian as a group and is a hereditarily normal subgroup of $G$.
2. $H$ is abelian as a group and is a transitively normal subgroup of $G$.
3. $H$ is an abelian normal subgroup of $G$ and the induced action of the quotient group $G/H$ on $H$ is by power automorphisms.

Relation with other properties

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Central subgroup
Cyclic normal subgroup

Weaker properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Hereditarily normal subgroup
Transitively normal subgroup