Transitive normality is not finite-join-closed
This article gives the statement, and possibly proof, of a subgroup property (i.e., transitively normal subgroup) not satisfying a subgroup metaproperty (i.e., finite-join-closed subgroup property).This also implies that it does not satisfy the subgroup metaproperty/metaproperties: Strongly finite-join-closed 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 transitively normal subgroup|Get more facts about finite-join-closed subgroup propertyGet more facts about strongly finite-join-closed subgroup property|
Statement with symbols
Related metaproperty dissatisfactions for transitively normal subgroups
- Transitive normality is not finite-intersection-closed
- Transitive normality is not centralizer-closed
Related properties that are join-closed
- Normality is strongly join-closed: In particular, this implies that any join of transitively normal subgroups is a normal subgroup, even though it need not be transitively normal.
Further information: symmetric group:S3
Then, we have:
- and are both normal subgroups of prime order. In particular, the only normal subgroups they have are the whole group and the trivial subgroup, both of which are normal in . Thus, and are both transitively normal.
- is not transitively normal: . is elementary abelian of order nine. Pick an isomorphism and consider the subgroup of given by . Then, is normal in , since is abelian. However, is not normal in , because conjugation by an element in sends to , which is not in . Thus, is not transitively normal.
Note that in this example, is the center of and is also a direct factor of . This shows that taking the join of a transitively normal subgroup with the center or with a direct factor does not guarantee a transitively normal subgroup.