Commutator-in-centralizer subgroup

From Groupprops
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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

This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties[SHOW MORE]

Definition

A subgroup H of a group G is termed a commutator-in-centralizer subgroup if the commutator [G,H] is contained in the centralizer CG(H), or equivalently, [[G,H],H] is trivial.,

Relation with other properties

Stronger properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
Commutator-in-center subgroup commutator with whole group is contained in center of subgroup |FULL LIST, MORE INFO
Abelian normal subgroup |FULL LIST, MORE INFO
Subgroup contained in centralizer of commutator subgroup contained in the centralizer of the whole group's commutator subgroup |FULL LIST, MORE INFO
Aut-abelian normal subgroup |FULL LIST, MORE INFO

Weaker properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
Hereditarily 2-subnormal subgroup
Class two 2-subnormal subgroup
2-subnormal subgroup