Conjugate-permutability satisfies intermediate subgroup condition
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 a subgroup property (i.e., conjugate-permutable subgroup) satisfying a subgroup metaproperty (i.e., intermediate subgroup condition)
View all subgroup metaproperty satisfactions | View all subgroup metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for subgroup properties
Get more facts about conjugate-permutable subgroup |Get facts that use property satisfaction of conjugate-permutable subgroup | Get facts that use property satisfaction of conjugate-permutable subgroup|Get more facts about intermediate subgroup condition
Any conjugate-permutable subgroup of a group is also conjugate-permutable in every intermediate subgroup.
Statement with symbols
If is a conjugate-permutable subgroup of a group , and , then is also conjugate-permutable in .
- Permutability satisfies intermediate subgroup condition
- Permutability satisfies transfer condition
- Permutability satisfies inverse image condition
- Normality satisfies intermediate subgroup condition
- Normality satisfies transfer condition
- Normality satisfies inverse image condition
- Automorph-permutability does not satisfy intermediate subgroup condition
Given: A group , a subgroup with the property that for all . .
To prove: for all .
Proof: Since and , we have , and the statement to prove follows directly from the given data.