Transitively normal subgroup: Difference between revisions

Latest revision as of 15:05, 23 August 2016

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to Transitively normal subgroup, all facts related to Transitively normal subgroup) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

Definition

Equivalent definitions in tabular format

No.	Shorthand	A subgroup of a group is termed transitively normal if ...	A subgroup $H$ of a group $G$ is termed transitively normal if ...
1	transitively normal	every normal subgroup of the subgroup is normal in the whole group.	whenever $K$ is a normal subgroup of $H$ , $K$ is also a normal subgroup of $G$ .
2	normal automorphisms restriction	every normal automorphism of the whole group restricts to a normal automorphism of the subgroup.	for any normal automorphism $σ$ of $G$ , the restriction of $σ$ to $H$ is a normal automorphism of $H$ .
3	normal CEP-subgroup	it is a normal subgroup as well as a CEP-subgroup: every normal subgroup of it is an intersection with it of a normal subgroup of the whole group	$H$ is a normal subgroup of $G$ and for any normal subgroup $K$ of $H$ there exists a normal subgroup $L$ of $G$ such that $K = H \cap L$ .

Equivalence of definitions

Further information: Equivalence of definitions of transitively normal subgroup

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 page describes a subgroup property obtained as a conjunction (AND) of two (or more) more fundamental subgroup properties: normal subgroup and CEP-subgroup
View other subgroup property conjunctions | view all subgroup properties

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

CAUTIONARY NOTE: There is a paper where the term transitively normal is used for what we call intermediately subnormal-to-normal subgroup

Examples

Extreme examples

Every group is transitively normal as a subgroup of itself.
The trivial subgroup is transitively normal in any group.

Examples in small finite groups

Below are some examples of a proper nontrivial subgroup that satisfy the property transitively normal subgroup.

	Group part	Subgroup part	Quotient part
Center of dihedral group:D8	Dihedral group:D8	Cyclic group:Z2	Klein four-group

Below are some examples of a proper nontrivial subgroup that does not satisfy the property transitively normal subgroup.

Metaproperties

BEWARE! This section of the article uses terminology local to the wiki, possibly without giving a full explanation of the terminology used (though efforts have been made to clarify terminology as much as possible within the particular context)

Metaproperty name	Satisfied?	Proof	Statement with symbols
transitive subgroup property	Yes	transitive normality is transitive	If $H \leq K \leq G$ are groups such that $H$ is transitively normal in $K$ and $K$ is transitively normal in $G$ , then $H$ is transitively normal in $G$ .
intermediate subgroup condition	Yes	transitive normality satisfies intermediate subgroup condition	If $H \leq K \leq G$ and $H$ is transitively normal in $G$ , then $H$ is transitively normal in $K$ .
finite-intersection-closed subgroup property	No	transitive normality is not finite-intersection-closed	It is possible to have a group $G$ and transitively normal subgroups $H_{1}, H_{2}$ of $G$ such that $H_{1} \cap H_{2}$ is not transitively normal in $G$ .
finite-join-closed subgroup property	No	transitive normality is not finite-join-closed	It is possible to have a group $G$ and transitively normal subgroups $H_{1}, H_{2}$ of $G$ such that the join $⟨ H_{1}, H_{2} ⟩$ (which is the same as the product $H_{1} H_{2}$ ) is not transitively normal.
centralizer-closed subgroup property	No	transitive normality is not centralizer-closed	It is possible to have a group $G$ and a transitively normal subgroup $H$ of $G$ such that the centralizer $C_{G} (H)$ is not transitively normal.
image condition	Yes	transitive normality satisfies image condition	If $H$ is a transitively normal subgroup of $G$ and $φ : G \to K$ is a surjective homomorphism, then $φ (H)$ is a transitively normal subgroup of $K$ .
quotient-transitive subgroup property	No	transitive normality is not quotient-transitive	It is possible to have groups $H \leq K \leq G$ such that $H$ is transitively normal in $G$ and $K / H$ is transitively normal in $G / H$ , but $K$ is not transitively normal in $G$ .

Relation with other properties

Conjunction with other properties

Here are some conjunctions with other subgroup properties:

Conjunction	Other component of conjunction	Intermediate notions	Additional comments
characteristic transitively normal subgroup	characteristic subgroup	\|FULL LIST, MORE INFO
c-closed transitively normal subgroup	c-closed subgroup (equals its double centralizer)	\|FULL LIST, MORE INFO

Conjunctions with group properties:

Conjunction	Property of the group	Intermediate notions	Additional comments
cyclic normal subgroup	Cyclic group	\|FULL LIST, MORE INFO	for a cyclic subgroup, being normal is equivalent to being transitively normal.
abelian hereditarily normal subgroup	Abelian group	\|FULL LIST, MORE INFO	for an abelian subgroup, being transitively normal is equivalent to being hereditarily normal.
hereditarily normal subgroup	Dedekind group (every subgroup is normal)	\|FULL LIST, MORE INFO
nilpotent transitively normal subgroup	Nilpotent group	\|FULL LIST, MORE INFO

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
central factor	product with centralizer is whole group	central factor implies transitively normal	transitively normal not implies central factor (see also list of examples)	\|FULL LIST, MORE INFO
direct factor	factor in an internal direct product	direct factor implies transitively normal (also, via central factor)	(via central factor) (see also list of examples)	\|FULL LIST, MORE INFO
cocentral subgroup	product with center is whole group	(via central factor)	(via central factor)	\|FULL LIST, MORE INFO
central subgroup	contained in the center	(via central factor, via hereditarily normal)	(via central factor, via hereditarily normal)	\|FULL LIST, MORE INFO
locally inner autorphism-balanced subgroup	every inner automorphism of the whole group restricts to a locally inner automorphism			\|FULL LIST, MORE INFO
conjugacy-closed normal subgroup	both conjugacy-closed and normal	conjugacy-closed normal implies transitively normal	transitively normal not implies conjugacy-closed	\|FULL LIST, MORE INFO
SCAB-subgroup	any subgroup-conjugating automorphism of whole group restricts to subgroup-conjugating automorphism of subgroup	SCAB implies transitively normal	Transitively normal not implies SCAB	\|FULL LIST, MORE INFO
hereditarily normal subgroup	every subgroup of it is normal in whole group			\|FULL LIST, MORE INFO
cyclic normal subgroup	cyclic and normal	(via SCAB, via hereditarily normal)	(via SCAB, via hereditarily normal)	\|FULL LIST, MORE INFO

Weaker properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
normal subgroup		(by definition)	normality is not transitive	\|FULL LIST, MORE INFO
CEP-subgroup	every normal subgroup of it arises as its intersection with a normal subgroup of whole group			\|FULL LIST, MORE INFO
subgroup whose commutator with any subset is normal	its commutator with any subset of whole group is normal in whole group	commutator of a transitively normal subgroup and a subset implies normal	commutator with any subset is normal not implies transitively normal	\|FULL LIST, MORE INFO

Formalisms

BEWARE! This section of the article uses terminology local to the wiki, possibly without giving a full explanation of the terminology used (though efforts have been made to clarify terminology as much as possible within the particular context)

Function restriction expression

This subgroup property is a function restriction-expressible subgroup property: it can be expressed by means of the function restriction formalism, viz there is a function restriction expression for it.
Find other function restriction-expressible subgroup properties | View the function restriction formalism chart for a graphic placement of this property

Function restriction expression	$H$ is a transitively normal subgroup of $G$ if ...	This means that transitive normality is ...	Additional comments
normal automorphism $\to$ normal automorphism	every normal automorphism of $G$ restricts to a normal automorphism of $H$	the balanced subgroup property for normal automorphisms	Hence, it is a t.i. subgroup property, both transitive and identity-true
inner automorphism $\to$ normal automorphism	every inner automorphism of $G$ restricts to a normal automorphism of $H$
class-preserving automorphism $\to$ normal automorphism	every class-preserving automorphism of $G$ restricts to a normal automorphism of $H$
subgroup-conjugating automorphism $\to$ normal automorphism	every subgroup-conjugating automorphism of $G$ restricts to a normal automorphism of $H$
strong monomial automorphism $\to$ normal automorphism	every strong monomial automorphism of $G$ restricts to a normal automorphism of $H$

@@ Line 1: / Line 1: @@
 {{wikilocal}}
-{{subgroup property}}
-{{variationof|normality}}
-{{quotation|'''CAUTIONARY NOTE''': There is [[Paper:KurdachenkoSubbotin|a paper]] where the term ''transitively normal'' is used for what we call [[intermediately subnormal-to-normal subgroup]]}}
 ==Definition==
-===Symbol-free definition===
+===Equivalent definitions in tabular format===
-A [[subgroup]] of a [[group]] is termed '''transitively normal''' or '''right-transitively normal''' if it satisfies the following equivalent conditions:
+{| class="sortable" border="1"
+! No. !! Shorthand !! A [[subgroup]] of a [[group]] is termed transitively normal if ... !! A [[subgroup]] <math>H</math> of a [[group]] <math>G</math> is termed transitively normal if ...
+|-
+| 1 || transitively normal || every [[defining ingredient::normal subgroup]] of the subgroup is normal in the whole group. || whenever <math>K</math> is a [[normal subgroup]] of <math>H</math>, <math>K</math> is also a normal subgroup of <math>G</math>.
+|-
+| 2 || normal automorphisms restriction || every  [[defining ingredient::normal automorphism]] of the whole group restricts to a normal automorphism of the subgroup. || for any [[normal automorphism]] <math>\sigma</math> of <math>G</math>, the restriction of <math>\sigma</math> to <math>H</math> is a normal automorphism of <math>H</math>.
+|-
+| 3 || normal CEP-subgroup || it is a [[normal subgroup]] as well as a [[CEP-subgroup]]: every normal subgroup of it is an intersection with it of a normal subgroup of the whole group || <math>H</math> is a [[normal subgroup]] of <math>G</math> and for any normal subgroup <math>K</math> of <math>H</math> there exists a normal subgroup <math>L</math> of <math>G</math> such that <math>K = H \cap L</math>.
+|}
-# Every [[defining ingredient::normal subgroup]] of it is a normal subgroup of the whole group.
+===Equivalence of definitions===
-# Every [[defining ingredient::normal automorphism]] of the whole group restricts to a normal automorphism of the subgroup.
-===Definition with symbols===
+{{further|[[Equivalence of definitions of transitively normal subgroup]]}}
+{{subgroup property}}
+{{subgroup property conjunction|normal subgroup|CEP-subgroup}}
+{{variationof|normality}}
+{{quotation|'''CAUTIONARY NOTE''': There is [[Paper:KurdachenkoSubbotin|a paper]] where the term ''transitively normal'' is used for what we call [[intermediately subnormal-to-normal subgroup]]}}
-A [[subgroup]] <math>H</math> of a [[group]] <math>G</math> is termed '''transitively normal''' if it satisfies the following equivalent conditions:
+==Examples==
-# Whenever <math>K</math> is a [[normal subgroup]] of <math>H</math>, <math>K</math> is also a normal subgroup of <math>G</math>.
+===Extreme examples===
-# For any [[normal automorphism]] <math>\sigma</math> of <math>G</math>, the restriction of <math>\sigma</math> to <math>H</math> is a normal automorphism of <math>H</math>.
-===Equivalence of definitions===
+* Every group is transitively normal as a subgroup of itself.
+* The trivial subgroup is transitively normal in any group.
+===Examples in small finite groups===
-{{further|[[Equivalence of definitions of transitively normal subgroup]]}}
+{{subgroup property see examples embed|transitively normal subgroup}}
-==Formalisms==
+==Metaproperties==
 {{wikilocal-section}}
-{{frexp}}
+{| class="sortable" border="1"
+! Metaproperty name !! Satisfied? !! Proof !! Statement with symbols
-{| class="wikitable" border="1"
+|-
-! Function restriction expression !! <math>H</math> is a transitively normal subgroup of <math>G</math> if ... !! This means that transitive normality is ... !! Additional comments
+| [[satisfies metaproperty::transitive subgroup property]] || Yes || [[transitive normality is transitive]] || If <math>H \le K \le G</math> are groups such that <math>H</math> is transitively normal in <math>K</math> and <math>K</math> is transitively normal in <math>G</math>, then <math>H</math> is transitively normal in <math>G</math>.
+|-
+| [[satisfies metaproperty::intermediate subgroup condition]] || Yes || [[transitive normality satisfies intermediate subgroup condition]] || If <math>H \le K \le G</math> and <math>H</math> is transitively normal in <math>G</math>, then <math>H</math> is transitively normal in <math>K</math>.
 |-
-| {{balance-short|normal automorphism}}
+| [[dissatisfies metaproperty::finite-intersection-closed subgroup property]] || No || [[transitive normality is not finite-intersection-closed]] || It is possible to have a group <math>G</math> and transitively normal subgroups <math>H_1,H_2</math> of <math>G</math> such that <math>H_1 \cap H_2</math> is not transitively normal in <math>G</math>.
 |-
-| {{frexp-short|inner automorphism|normal automorphism}} || ||
+| [[dissatisfies metaproperty::finite-join-closed subgroup property]] || No || [[transitive normality is not finite-join-closed]] || It is possible to have a group <math>G</math> and transitively normal subgroups <math>H_1,H_2</matH> of <math>G</math> such that the [[join of subgroups|join]] <math>\langle H_1,H_2\rangle</math> (which is the same as the [[product of subgroups|product]] <math>H_1H_2</math>) is not transitively normal.
 |-
-| {{frexp-short|class-preserving automorphism|normal automorphism}} || ||
+| [[dissatisfies metaproperty::centralizer-closed subgroup property]] || No || [[transitive normality is not centralizer-closed]] || It is possible to have a group <math>G</math> and a transitively normal subgroup <math>H</math> of <math>G</math> such that the [[centralizer]] <math>C_G(H)</math> is not transitively normal.
 |-
-| {{frexp-short|subgroup-conjugating automorphism|normal automorphism}} || ||
+| [[satisfies metaproperty::image condition]] || Yes || [[transitive normality satisfies image condition]] || If <math>H</math> is a transitively normal subgroup of <math>G</math> and <math>\varphi:G \to K</math> is a surjective homomorphism, then <math>\varphi(H)</math> is a transitively normal subgroup of <math>K</math>.
 |-
-| {{frexp-short|strong monomial automorphism|normal automorphism}} || ||
+| [[dissatisfies metaproperty::quotient-transitive subgroup property]] || No || [[transitive normality is not quotient-transitive]] || It is possible to have groups <math>H \le K \le G</math> such that <math>H</math> is transitively normal in <math>G</math> and <math>K/H</math> is transitively normal in <math>G/H</math>, but <math>K</math> is not transitively normal in <math>G</math>.
 |}
-{{obtainedbyapplyingthe|right transiter|normal subgroup}}
 ==Relation with other properties==
@@ Line 48: / Line 60: @@
 ===Conjunction with other properties===
-Conjunctions with subgroup properties:
+Here are some conjunctions with other subgroup properties:
-* [[Characteristic transitively normal subgroup]] is a transitively normal subgroup that is also a [[characteristic subgroup]].
+{| class="sortable" border="1"
-* [[c-closed transitively normal subgroup]] is a transitively normal subgroup that is also a [[c-closed subgroup]].
+! Conjunction !! Other component of conjunction !! Intermediate notions !! Additional comments
+|-
+| [[characteristic transitively normal subgroup]] || [[characteristic subgroup]] || {{intermediate notions short|transitivley normal subgroup|characteristic transitively normal subgroup}} ||
+|-
+| [[c-closed transitively normal subgroup]] || [[c-closed subgroup]] (equals its double centralizer) || {{intermediate notions short|transitively normal subgroup|c-closed transitively normal subgroup}} ||
+|}
+Conjunctions with group properties:
-Conjunctions with group properties:
+{| class="sortable" border="1"
+! Conjunction !! Property of the group !! Intermediate notions !! Additional comments
+|-
+| [[cyclic normal subgroup]] || [[Cyclic group]] || {{intermediate notions short|transitively normal subgroup|cyclic normal subgroup}} || for a cyclic subgroup, being normal is equivalent to being transitively normal.
+|-
+| [[abelian hereditarily normal subgroup]] || [[Abelian group]] || {{intermediate notions short|transitively normal subgroup|abelian hereditarily normal subgroup}} || for an abelian subgroup, being transitively normal is equivalent to being hereditarily normal.
+|-
+| [[hereditarily normal subgroup]] || [[Dedekind group]] (every subgroup is normal) || {{intermediate notions short|transitively normal subgroup|hereditarily normal subgroup}} ||
+|-
+| [[nilpotent transitively normal subgroup]] || [[Nilpotent group]] || {{intermediate notions short|transitively normal subgroup|nilpotent transitively normal subgroup}} ||
+|}
-* [[Nilpotent transitively normal subgroup]] is a transitively normal subgroup that is also a [[nilpotent group]].
 ===Stronger properties===
@@ Line 62: / Line 89: @@
 ! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions
 |-
-| [[Weaker than::Central factor]] || product with centralizer is whole group || [[central factor implies transitively normal]] || [[transitively normal not implies central factor]] {{strictness examples for subgroup property|transitively normal subgroup|central factor}} || {{intermediate notions short|transitively normal subgroup|central factor}}
+| [[Weaker than::central factor]] || product with centralizer is whole group || [[central factor implies transitively normal]] || [[transitively normal not implies central factor]] {{strictness examples for subgroup property|transitively normal subgroup|central factor}} || {{intermediate notions short|transitively normal subgroup|central factor}}
+|-
+| [[Weaker than::direct factor]] || factor in an [[internal direct product]] || [[direct factor implies transitively normal]] (also, via central factor) || (via central factor) {{strictness examples for subgroup property|transitively normal subgroup|direct factor}} || {{intermediate notions short|transitively normal subgroup|direct factor}}
 |-
-| [[Weaker than::Direct factor]] || factor in an [[internal direct product]] || [[direct factor implies transitively normal]] (also, via central factor) || (via central factor) {{strictness examples for subgroup property|transitively normal subgroup|direct factor}} || {{intermediate notions short|transitively normal subgroup|direct factor}}
+| [[Weaker than::cocentral subgroup]] || product with [[center]] is whole group || (via central factor) || (via central factor) || {{intermediate notions short|transitively normal subgroup|cocentral subgroup}}
 |-
-| [[Weaker than::Cocentral subgroup]] || product with [[center]] is whole group || (via central factor) || (via central factor) || {{intermediate notions short|transitively normal subgroup|cocentral subgroup}}
+| [[Weaker than::central subgroup]] || contained in the [[center]] || (via central factor, via hereditarily normal) || (via central factor, via hereditarily normal) || {{intermediate notions short|transitively normal subgroup|central subgroup}}
 |-
-| [[Weaker than::Central subgroup]] || contained in the [[center]] || (via central factor, via hereditarily normal) || (via central factor, via hereditarily normal) || {{intermediate notions short|transitively normal subgroup|central subgroup}}
+| [[Weaker than::locally inner autorphism-balanced subgroup]] || every [[inner automorphism]] of the whole group restricts to a [[locally inner automorphism]] || || || {{intermediate notions short|transitively normal subgroup|locally inner automorphism-balanced subgroup}}
 |-
-| [[Weaker than::Conjugacy-closed normal subgroup]] ||  both [[conjugacy-closed subgroup|conjugacy-closed]] and [[normal subgroup|normal]] || [[conjugacy-closed normal implies transitively normal]] || [[transitively normal not implies conjugacy-closed]] || {{intermediate notions short|transitively normal subgroup|conjugacy-closed normal subgroup}}
+| [[Weaker than::conjugacy-closed normal subgroup]] ||  both [[conjugacy-closed subgroup|conjugacy-closed]] and [[normal subgroup|normal]] || [[conjugacy-closed normal implies transitively normal]] || [[transitively normal not implies conjugacy-closed]] || {{intermediate notions short|transitively normal subgroup|conjugacy-closed normal subgroup}}
 |-
 | [[Weaker than::SCAB-subgroup]] || any [[subgroup-conjugating automorphism]] of whole group restricts to subgroup-conjugating automorphism of subgroup || [[SCAB implies transitively normal]] || [[Transitively normal not implies SCAB]] || {{intermediate notions short|transitively normal subgroup|SCAB-subgroup}}
 |-
-| [[Weaker than::Hereditarily normal subgroup]] || every subgroup of it is normal in whole group || || || {{intermediate notions short|transitively normal subgroup|hereditarily normal subgroup}}
+| [[Weaker than::hereditarily normal subgroup]] || every subgroup of it is normal in whole group || || || {{intermediate notions short|transitively normal subgroup|hereditarily normal subgroup}}
 |-
-| [[Weaker than::Cyclic normal subgroup]] || [[cyclic group|cyclic]] and [[normal subgroup|normal]] || (via SCAB, via hereditarily normal) || (via SCAB, via hereditarily normal) || {{intermediate notions short|transitively normal subgroup|cyclic normal subgroup}}
+| [[Weaker than::cyclic normal subgroup]] || [[cyclic group|cyclic]] and [[normal subgroup|normal]] || (via SCAB, via hereditarily normal) || (via SCAB, via hereditarily normal) || {{intermediate notions short|transitively normal subgroup|cyclic normal subgroup}}
 |}
@@ Line 84: / Line 113: @@
 ! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions
 |-
-| [[Stronger than::Normal subgroup]] || || (by definition) || [[normality is not transitive]] || {{intermediate notions short|normal subgroup|transitively normal subgroup}}
+| [[Stronger than::normal subgroup]] || || (by definition) || [[normality is not transitive]] || {{intermediate notions short|normal subgroup|transitively normal subgroup}}
 |-
 | [[Stronger than::CEP-subgroup]] || every normal subgroup of it arises as its intersection with a normal subgroup of whole group || || || {{intermediate notions short|CEP-subgroup|transitively normal subgroup}}
 |-
-| [[Stronger than::Subgroup whose commutator with any subset is normal]] || its commutator with any subset of whole group is normal in whole group ||[[commutator of a transitively normal subgroup and a subset implies normal]] || [[commutator with any subset is normal not implies transitively normal]] || {{intermediate notions short|subgroup whose commutator with any subset is normal|transitively normal subgroup}}
+| [[Stronger than::subgroup whose commutator with any subset is normal]] || its commutator with any subset of whole group is normal in whole group ||[[commutator of a transitively normal subgroup and a subset implies normal]] || [[commutator with any subset is normal not implies transitively normal]] || {{intermediate notions short|subgroup whose commutator with any subset is normal|transitively normal subgroup}}
 |}
-==Metaproperties==
+==Formalisms==
 {{wikilocal-section}}
-{{transitive}}
+{{frexp}}
-This follows on account of its being a [[balanced subgroup property]].
+{| class="sortable" border="1"
+! Function restriction expression !! <math>H</math> is a transitively normal subgroup of <math>G</math> if ... !! This means that transitive normality is ... !! Additional comments
-{{intsubcondn}}
+|-
+| {{balance-short|normal automorphism}}
-If <math>H</math> is transitively normal in <math>G</math>, <math>H</math> is also transitively normal in any intermediate subgroup of <math>G</math> containing it. This follows from the general fact that normality satisfies intermediate subgroup condition, and the right transiter of any property satisfying intermeditae subgroup condition also satisfies intermediate subgroup condition.
+|-
+| {{frexp-short|inner automorphism|normal automorphism}} || ||
-{{proofat|[[Transitive normality satisfies intermediate subgroup condition]], [[Normality satisfies intermediate subgroup condition]], [[Intermediate subgroup condition is right residual-preserved]]}}
+|-
+| {{frexp-short|class-preserving automorphism|normal automorphism}} || ||
-{{not intersection-closed}}
+|-
+| {{frexp-short|subgroup-conjugating automorphism|normal automorphism}} || ||
-An intersection of two transitively normal subgroups need not be transitively normal. This follows from [[Disproving intersection-closedness#The direct product technique|the direct product technique]]. In fact, we can consider normal subgroups of index two that are not transitively normal (for instance, the power of the base in a wreath product by <math>\Z/2\Z</math>).
+|-
+| {{frexp-short|strong monomial automorphism|normal automorphism}} || ||
-{{proofat|[[Transitive normality is not finite-intersection-closed]]}}
+|}
-{{not join-closed}}
-A join of two transitively normal subgroups need not be transitively normal.
-{{proofat|[[Transitive normality is not finite-join-closed]]}}
-{{not centralizer-closed}}
-The centralizer of a transitively normal subgroup need not be transitively normal.
-{{proofat|[[Transitive normality is not centralizer-closed]]}}
-{{imagecondn}}
-The image of a transitively normal subgroup under a surjective homomorphism is transitively normal in the image. {{proofat|[[Transitive normality satisfies image condition]]}}
-{{not quot-transitive}}
-If <math>H \le K \le G</math> are groups such that <math>H</math> is transitively normal in <math>K</math> and <math>K/H</math> is transitively normal in <math>G/H</math>, it is ''not'' necessary that <math>K</math> is transitively normal in <math>G</math>.
-{{proofat|[[Transitive normality is not quotient-transitive]]}}