Normal implies permutable
DIRECT: The fact or result stated in this article has a trivial/direct/straightforward proof provided we use the correct definitions of the terms involved
View other results with direct proofs
VIEW FACTS USING THIS: directly | directly or indirectly, upto two steps | directly or indirectly, upto three steps|
VIEW: Survey articles about this
This article gives the statement and possibly, proof, of an implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., normal subgroup) must also satisfy the second subgroup property (i.e., permutable subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about normal subgroup|Get more facts about permutable subgroup
Let be a group and a normal subgroup of . Then is a permutable, or quasinormal, subgroup of . In other words, for any subgroup of (or equivalently, the Product of subgroups (?) is a subgroup for any subgroup ).
The subgroup property of being normal is stronger than the subgroup property of being permutable.
Further information: Permutable subgroup, permuting subgroups A subgroup of a group is a permutable subgroup if for any subgroup , (or equivalently, is a group). In other words, and are permuting subgroups for every . Here denotes the product of subgroups:
Given: Let be a normal subgroup of .
To prove: is permutable in .
Proof: Let be any subgroup of . For every , . Now we have:
Since , we conclude that .
Notice that the above proof does not anywhere use the fact that is a subgroup.
Permutable subgroups need not be normal
Further information: Permutable not implies normal
A permutable subgroup need not be normal. There are many counterexamples for finite groups.
- Topics in Algebra by I. N. Herstein, More info, Page 53, Problem 3 (the notion of permutable subgroup is not explicitly introduced, but what we're asked to show is implicitly the same)
- Algebra by Michael Artin, ISBN 0130047635, 13-digit ISBN 978-0130047632, More info, Page 75, Exercise 5 of Section 5 (Restriction of a homomorphism to a subgroup) (the notion of permutable subgroup is not explicitly introduced, but what we're asked to show is implicitly the same)