Almost normal subgroup: Difference between revisions

From Groupprops
No edit summary
Line 18: Line 18:
===Stronger properties===
===Stronger properties===


* [[Normal subgroup]]
{| class="sortable" border="1"
* [[Subgroup of finite index]]
! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions
|-
| [[Weaker than::Normal subgroup]] ||  || || || {{intermediate notions short|almost normal subgroup|normal subgroup}}
|-
| [[Weaker than::Subgroup of finite index]] || || || || {{intermediate notions short|almost normal subgroup|subgroup of finite index}}
|}


===Related properties===
===Related properties===

Revision as of 23:20, 16 January 2010

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]

This subgroup property is a finitarily tautological subgroup property: when the ambient group is a finite group, the property is satisfied.
View other such subgroup properties

This is a variation of normality|Find other variations of normality | Read a survey article on varying normality

Definition

Symbol-free definition

A subgroup of a group is said to be almost normal if it satisfies the following equivalent conditions:

Relation with other properties

Stronger properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
Normal subgroup |FULL LIST, MORE INFO
Subgroup of finite index |FULL LIST, MORE INFO

Related properties

Facts

Every subgroup of a group is almost normal if and only if the center has finite index, or equivalently, if the inner automorphism group of the group is finite.

References

  • Groups with finite classes of conjugate subgroups by B.H. Neumann, Math. Z., 63, 1955, Pages 76-96