Almost normal subgroup: Difference between revisions

Latest revision as of 23:51, 12 May 2010

This page describes a subgroup property obtained as a composition of two fundamental subgroup properties: normal subgroup and subgroup of finite index
View other such compositions|View all subgroup properties

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 is a normal subgroup of a subgroup of finite index in the whole group.
It has only finitely many conjugate subgroups.

This article defines a term that has been used or referenced in a journal article or standard publication, but may not be generally accepted by the mathematical community as a standard term.[SHOW MORE]

VIEW: Definitions built on this | Facts about this: (facts closely related to Almost normal subgroup, all facts related to Almost normal subgroup) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View other semistandard definitions in group theory

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]
|Get subgroup property lookup help |Get exploration suggestions
VIEW RELATED: Subgroup property implications | Subgroup property non-implications | Subgroup metaproperty satisfactions | Subgroup metaproperty dissatisfactions | Subgroup property satisfactions |Subgroup property dissatisfactions
VIEW FACTS THAT:use, or start with, a subgroup satisfying the property|prove, or show that, a subgroup satisfies the property

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 normal subgroup|Find other variations of normal subgroup | Read a survey article on varying normal subgroup

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

Weaker properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Subgroup for which any join of conjugates is a join of finitely many conjugates
Almost subnormal subgroup

Related properties

Nearly normal subgroup

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.

Metaproperties

Metaproperty name	Satisfied?	Proof	Statement with symbols
Transitive subgroup property	No		It is possible to have $H\leq K\leq G$ with $H$ almost normal in $K$ and $K$ almost normal in $G$ , but $H$ is not almost normal in $G$ .
Trim subgroup property	Yes		Every group is almost normal in itself; the trivial subgroup is almost normal in every group.
Intermediate subgroup condition	Yes	Almost normal satisfies intermediate subgroup condition	If $H\leq K\leq G$ and $H$ is almost normal in $G$ , then $H$ is almost normal in $K$ .
Transfer condition	Yes	Almost normal satisfies transfer condition	If $H,K\leq G$ with $H$ almost normal in $G$ , then $H\cap K$ is almost normal in $K$ .
Inverse image condition	Yes	Almost normal satisfies inverse image condition	If $H\leq G$ is almost normal and $\varphi :M\to G$ is a homomorphism, then $\varphi ^{-1}(H)$ is almost normal in $M$ .
Image condition	Yes	Almost normal satisfies image condition	If $H\leq G$ is almost normal and $\varphi :G\to M$ is a surjective homomorphism, then $\varphi (H)$ is almost normal in $M$ .
Finite-intersection-closed subgroup property	Yes	Almost normal is finite-intersection-closed	If $H,K$ are almost normal subgroups of $G$ , then $H\cap K$ is also an almost normal subgroup.
Finite-join-closed subgroup property	Yes	Almost normal is finite-join-closed	If $H,K$ are almost normal subgroups of $G$ , then $\langle H,K\rangle$ is also an almost normal subgroup.
Conjugate-join-closed subgroup property	Yes	Almost normal is conjugate-join-closed	A join of any number of conjugates of an almost normal subgroup of a group is almost normal.

References

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

@@ Line 1: / Line 1: @@
-{{subgroup property}}
-{{finitarily tautological subgroup property}}
-{{variationof|normality}}
 {{subgroup property composition|normal subgroup|subgroup of finite index}}
@@ Line 16: / Line 10: @@
 # It is a [[normal subgroup]] of a [[subgroup of finite index]] in the whole group.
 # It has only finitely many [[defining ingredient::conjugate subgroups]].
+{{semistddef}}
+{{subgroup property}}
+{{finitarily tautological subgroup property}}
+{{variation of|normal subgroup}}
 ==Relation with other properties==
@@ Line 35: / Line 34: @@
 |-
 | [[Stronger than::Subgroup for which any join of conjugates is a join of finitely many conjugates]] || || || ||
+|-
+| [[Stronger than::Almost subnormal subgroup]] || || || ||
 |}
 ===Related properties===
@@ Line 43: / Line 44: @@
 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.
+==Metaproperties==
+{| class="sortable" border="1"
+! Metaproperty name !! Satisfied? !! Proof !! Statement with symbols
+|-
+| [[Dissatisfies metaproperty::Transitive subgroup property]] || No || || It is possible to have <math>H \le K \le G</math> with <math>H</math> almost normal in <math>K</math> and <math>K</math> almost normal in <math>G</math>, but <math>H</math> is not almost normal in <math>G</math>.
+|-
+| [[Satisfies metaproperty::Trim subgroup property]] || Yes || || Every group is almost normal in itself; the trivial subgroup is almost normal in every group.
+|-
+| [[Satisfies metaproperty::Intermediate subgroup condition]] || Yes || [[Almost normal satisfies intermediate subgroup condition]] || If <math>H \le K \le G</math> and <math>H</math> is almost normal in <math>G</math>, then <math>H</math> is almost normal in <math>K</math>.
+|-
+| [[Satisfies metaproperty::Transfer condition]] || Yes || [[Almost normal satisfies transfer condition]] || If <math>H, K \le G</math> with <math>H</math> almost normal in <math>G</math>, then <math>H \cap K</math> is almost normal in <math>K</math>.
+|-
+| [[Satisfies metaproperty::Inverse image condition]] || Yes || [[Almost normal satisfies inverse image condition]] || If <math>H \le G</math> is almost normal and <math>\varphi:M \to G</math> is a homomorphism, then <math>\varphi^{-1}(H)</math> is almost normal in <math>M</math>.
+|-
+| [[Satisfies metaproperty::Image condition]] || Yes || [[Almost normal satisfies image condition]] || If <math>H \le G</math> is almost normal and <math>\varphi:G \to M</math> is a surjective homomorphism, then <math>\varphi(H)</math> is almost normal in <math>M</math>.
+|-
+| [[Satisfies metaproperty::Finite-intersection-closed subgroup property]] || Yes || [[Almost normal is finite-intersection-closed]] || If <math>H,K</math> are almost normal subgroups of <math>G</math>, then <math>H \cap K</math> is also an almost normal subgroup.
+|-
+| [[Satisfies metaproperty::Finite-join-closed subgroup property]] || Yes || [[Almost normal is finite-join-closed]] || If <math>H,K</math> are almost normal subgroups of <math>G</math>, then <math>\langle H, K \rangle</math> is also an almost normal subgroup.
+|-
+| [[Satisfies metaproperty::Conjugate-join-closed subgroup property]] || Yes || [[Almost normal is conjugate-join-closed]] || A join of any number of conjugates of an almost normal subgroup of a group is almost normal.
+|}
 ==References==
 * ''Groups with finite classes of conjugate subgroups'' by B.H. Neumann, ''Math. Z.'', 63, 1955, Pages 76-96