Definition:Weakly Pronormal Subgroup/Definition 1

Definition

Let $G$ be a group.

Let $H$ be a subgroup of $G$.

$H$ is weakly pronormal in $G$ if and only if:

$\forall g \in G: \exists x \in H^{\gen g}: H^x = H^g$

where:

$H^{\gen g}$ denotes the smallest subgroup of $G$ containing $H$, generated by the conjugacy action by the cyclic subgroup of $G$ generated by $g$

$H^x$ denotes the conjugate of $H$ by $x$.

This page needs proofreading. In particular: I may have got this wrong because I only partially understand it. If you believe all issues are dealt with, please remove {{Proofread}} from the code. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Proofread}} from the code.

Also see

• Equivalence of Definitions of Weakly Pronormal Subgroup