Pronormality 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., 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\leq K\leq 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

• Pronormality does not satisfy transfer condition: We can have a pronormal subgroup $H$ of $G$ and a subgroup $K$ of $G$ such that $H\cap K$ is not pronormal in $K$.
• Pronormality is not upper join-closed: If $H$ is pronormal in intermediate subgroups $K_{1},K_{2}$, it is not necessary that $H$ is pronormal in $\langle K_{1},K_{2}$.

Related properties satisfying the intermediate subgroup condition

• Weak pronormality satisfies intermediate subgroup condition
• Paranormality satisfies intermediate subgroup condition
• Polynormality satisfies intermediate subgroup condition
• Weak normality satisfies intermediate subgroup condition

Proof

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

One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.