Pronormality satisfies intermediate subgroup condition

From Groupprops
Jump to: navigation, search
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., pronormal 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 pronormal subgroup |Get facts that use property satisfaction of pronormal subgroup | Get facts that use property satisfaction of pronormal subgroup|Get more facts about intermediate subgroup condition


Statement

Statement with symbols

Suppose H \le K \le G are groups such that H is a pronormal subgroup of G. Then, H is also a pronormal subgroup of K.

Related facts

Related metaproperty dissatisfactions for pronormality

Related properties satisfying the intermediate subgroup condition

Proof

This is direct from the definition. PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]