Normal subgroup whose automorphism group is abelian: Difference between revisions
| 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]] || 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:
- is a normal subgroup of .
- is an aut-abelian group: the automorphism group is an abelian group.
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 |