Normality is not transitive

From Groupprops

This article gives the statement, and possibly proof, of a subgroup property (i.e., normal subgroup) not satisfying a subgroup metaproperty (i.e., transitive subgroup property).
View all subgroup metaproperty dissatisfactions | View all subgroup metaproperty satisfactions|Get help on looking up metaproperty (dis)satisfactions for subgroup properties
Get more facts about normal subgroup|Get more facts about transitive subgroup property

Statement

Verbal statement

A normal subgroup of a normal subgroup need not be normal.

Statement with symbols

There can be a situation where $H$ is a normal subgroup of $K$ and $K$ is a normal subgroup of $G$ but $H$ is not a normal subgroup of $G$ .

Property-theoretic statement

Normality is not a transitive subgroup property.

Partial truth

Transitivity-forcing operator

A group in which every normal subgroup of a normal subgroup is normal is termed a T-group. Note that Abelian groups and Dedekind groups are T-groups, and any nilpotent group that is a T-group is also a Dedekind group.

Left transiter

While normality is not transitive, it is still true that every characteristic subgroup of a normal subgroup is normal. This is property-theoretically because characteristicity is the left transiter of normality -- it is the weakest property $p$ such that every subgroup with property $p$ in a normal subgroup is normal.For full proof, refer: Characteristic of normal implies normal, Left transiter of normal is characteristic

Right transiter

While normality is not transitive, every normal subgroup of a transitively normal subgroup is normal. Being transitively normal is the right transiter of being normal. Properties like being a direct factor, being a central subgroup, and being a central factor imply being transitively normal.

Subnormality

The lack of transitivity of normality can also be remedied by defining the notion of subnormal subgroup. Subnormality is the weakest transitive subgroup property implied by normality. More explicitly, a subgroup $H$ is subnormal in a group $G$ , if we can find a chain of subgroups going up from $H$ to $G$ , with each subgroup normal in its successor.

A special case of this is the notion of 2-subnormal subgroup, which is a normal subgroup of a normal subgroup. Another special case is the notion of a 3-subnormal subgroup, which is a normal subgroup of a normal subgroup of a normal subgroup.

There are also related notions of hypernormalized subgroup, 2-hypernormalized subgroup, ascendant subgroup, descendant subgroup, and serial subgroup.

Related facts

Proof

Generic example

A natural example is as follows. Take any nontrivial group $G$ , and consider the square, $K = G \times G$ (the external direct product of $G$ with itself). Now, consider the external semidirect product of this group with the group $\mathbb{Z}/2\mathbb{Z}$ (the cyclic group of two elements) acting via the exchange automorphism (the automorphism that exchanges the coordinates). Call the big group $L$ .

(Note that $L$ can be described more compactly as the external wreath product of $G$ with the group of order two acting regularly.)

Let $G 1, G 2$ be the copies of $G$ embedded in $K$ as $G \times \{ e \}$ and $\{ e \} \times G$ . We then have:

$G 1$ is normal in $K$ : In fact, $G 1$ is a direct factor of $K$ , and is thus normal.
$K$ is normal in $L$ : $K$ is the base of a semidirect product, and is thus normal. Equivalently, any inner automorphism of $L$ is the composite of an inner automorphism in $K$ and the exchange automorphism, both of which preserve $K$ .
$G 1$ is not normal in $L$ : The exchange automorphism is an inner automorphism of $L$ , and it exchanges $G 1$ and $G 2$ -- in particular, it does not preserve $G 1$ . Thus, $G 1$ is not normal in $L$ .

Specific realizations of this generic example

The smallest case of this yields $G 1$ a group of order two, and $L$ a group of order eight. In fact, here $L$ is the dihedral group of order eight and $G$ is a cyclic group of order two, with $G 1$ and $G 2$ being subgroups of order two generated by reflections.

GAP implementation

Implementation of the generic example

Here is an implementation of the generic example, with any nontrivial group $G$ . Note that you need to define $G$ for GAP before executing the commands in this example! Note that double semicolons have been used to suppress the output here, since the output depends on the choice of $G$ (you can use single semicolons instead to display all the outputs).

We first construct the groups $G 1, G 2, K, L$ using the wreath product command:

gap> L := WreathProduct(G,SymmetricGroup(2));;
gap> G1 := Image(Embedding(L,1));;
gap> G2 := Image(Embedding(L,2));;
gap> K := Group(Union(G1,G2));;

Next, we check that $G 1$ and $G 2$ are subgroups of $K$ and $K$ is a subgroup of $L$ :

gap> IsSubgroup(L,K);
true
gap> IsSubgroup(K,G1);
true
gap> IsSubgroup(K,G2);
true

Finally, we check that $G 1, G 2$ are both normal in $K$ and $K$ is normal in $L$ , but $G 1$ and $G 2$ are not normal in $K$ .

gap> IsNormal(L,K);
true
gap> IsNormal(K,G1);
true
gap> IsNormal(K,G2);
true
gap> IsNormal(L,G1);
false
gap> IsNormal(L,G2);
false

The implementation in some special cases

Here is the implementation when $G$ is cyclic of order two:

gap> L := WreathProduct(G,SymmetricGroup(2));
<group of size 8 with 2 generators>
gap> G1 := Image(Embedding(L,1));
<group with 1 generators>
gap> G2 := Image(Embedding(L,2));
<group with 1 generators>
gap> K := Group(Union(G1,G2));
<group with 3 generators>
gap> IsSubgroup(L,K);
true
gap> IsSubgroup(K,G1);
true
gap> IsSubgroup(K,G2);
true
gap> IsNormal(L,K);
true
gap> IsNormal(K,G1);
true
gap> IsNormal(K,G2);
true
gap> IsNormal(L,G1);
false
gap> IsNormal(L,G2);
false

References

Textbook references

Groups and representations by Jonathan Lazare Alperin and Rowen B. Bell, ISBN 0387945261, Page 8, ^{More info} Also, Page 6 (first mention), and Page 17 (further explanation)
Abstract Algebra by David S. Dummit and Richard M. Foote, ISBN 0471433349, Page 91, Section 3.2 (More on cosets and Lagrange's theorem), Example (3), (example of the dihedral group)^{More info} Also, Page 135, with justification of the related fact that characteristic of normal implies normal
An Introduction to Abstract Algebra by Derek J. S. Robinson, ISBN 3110175444^{More info}, Page 66
A Course in the Theory of Groups by Derek J. S. Robinson, ISBN 0387944613, Page 17, Exercise 1.3.15, ^{More info} Also: Page 28, Page 63
Algebra by Michael Artin, ISBN 0130047635, 13-digit ISBN 978-0130047632, Page 236, Miscellaneous Problems (Chapter 6), Exercise 4, (starred problem)^{More info}

External links

Search for "normality+is+not+transitive" on the World Wide Web:
Scholarly articles: Google Scholar, JSTOR
Books: Google Books, Amazon
This wiki: Internal search, Google site search
Encyclopaedias: Wikipedia (or using Google), Citizendium
Math resource pages:Mathworld, Planetmath, Springer Online Reference Works
Math wikis: Topospaces, Diffgeom, Commalg, Noncommutative
Discussion fora: Mathlinks, Google Groups
The web: Google, Yahoo, Windows Live
Learn more about using the Searchbox OR provide your feedback

Facts about Normality is not transitiveRDF feed

Fact about	Normal subgroup +, Transitive subgroup property +, and External wreath product +
Particular example	Dihedral group:D8 +, and Cyclic group:Z2 +
Proved in	AlperinBell (8, ?, ?) +, and DummitFoote (91, Section 3.2 (More on cosets and Lagrange's theorem), Example (3), example of the dihedral group) +
Referenced in	AlperinBell (8, ?, ?) +, DummitFoote (91, Section 3.2 (More on cosets and Lagrange's theorem), Example (3), example of the dihedral group) +, RobinsonAA (?, ?, ?) +, RobinsonGT (17, Exercise 1.3.15, ?) +, and Artin (236, Miscellaneous Problems (Chapter 6), Exercise 4, starred problem) +
Stated in	AlperinBell (8, ?, ?) +, DummitFoote (91, Section 3.2 (More on cosets and Lagrange's theorem), Example (3), example of the dihedral group) +, RobinsonGT (17, Exercise 1.3.15, ?) +, and Artin (236, Miscellaneous Problems (Chapter 6), Exercise 4, starred problem) +