Almost normal subgroup: Difference between revisions
No edit summary |
|||
| Line 18: | Line 18: | ||
===Stronger properties=== | ===Stronger properties=== | ||
{| class="sortable" border="1" | |||
! 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:
- Its normalizer has finite index in the whole group
- It has finitely many conjugate subgroups
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