Normal subgroup whose automorphism group is abelian: Difference between revisions

From Groupprops
Line 14: Line 14:
! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions
! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions
|-
|-
* [[Weaker than::Cyclic normal subgroup]]: {{proofofstrictimplicationat|[[cyclic implies aut-abelian]]|[[aut-abelian not implies cyclic]]}}
| [[Weaker than::Cyclic normal subgroup]] || cyclic group and normal subgroup || [[cyclic implies aut-abelian]] || [[aut-abelian not implies cyclic]] || {{intermediate notions short|aut-abelian normal subgroup|cyclic normal subgroup}}
 
|}
===Weaker properties===
===Weaker properties===



Revision as of 01:32, 10 January 2010

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

Statement

A subgroup of a group is termed an aut-abelian normal subgroup of if it satisfies both these conditions:

Relation with other properties

Stronger properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
Cyclic normal subgroup cyclic group and normal subgroup cyclic implies aut-abelian aut-abelian not implies cyclic |FULL LIST, MORE INFO

Weaker properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
Subgroup contained in centralizer of commutator subgroup contained in the centralizer of commutator subgroup aut-abelian normal subgroup is contained in centralizer of commutator subgroup |FULL LIST, MORE INFO
Normal subgroup contained in centralizer of commutator subgroup contained in the centralizer of commutator subgroup aut-abelian normal subgroup is contained in centralizer of commutator subgroup |FULL LIST, MORE INFO
Commutator-in-center subgroup its commutator with whole group is in its center (via normal subgroup contained in centralizer of commutator subgroup) |FULL LIST, MORE INFO
Commutator-in-centralizer subgroup its commutator with whole group centralizes it
Hereditarily 2-subnormal subgroup every subgroup of it is 2-subnormal
Class two normal subgroup normal subgroup and has nilpotency class at most two aut-abelian implies class two class two not implies aut-abelian |FULL LIST, MORE INFO