Abnormal implies WNSCC

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., abnormal subgroup) must also satisfy the second subgroup property (i.e., WNSCC-subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about abnormal subgroup|Get more facts about WNSCC-subgroup

Statement

Statement with symbols

Suppose $H$ is an abnormal subgroup of a group $G$ . Then, $H$ is a WNSCC-subgroup of $G$ : for any two normal subsets $A, B$ of $H$ with $g A g^{- 1} = B$ for some $g \in G$ , we have $A = B$ .

Definitions used

(These definitions use the left action convention, but using the right action convention does not change any of the proofs).

Abnormal subgroup

Further information: Abnormal subgroup

A subgroup $H$ of a group $G$ is termed abnormal in $G$ if, for any $g \in G$ , we have $g \in ⟨ H, g H g^{- 1} ⟩$ .

WNSCC-subgroup

Further information: WNSCC-subgroup

A subgroup $H$ of a group $G$ is termed WNSCC in $G$ if, for any two normal subsets $A, B$ of $H$ such that there exists $g \in G$ with $g A g^{- 1} = B$ , we have $A = B$ .

Related facts

Stronger facts

Pronormal implies WNSCDIN

Proof

Given: A group $G$ , an abnormal subgroup $H$ . Two normal subsets $A, B$ of $H$ such that there exists $g \in G$ with $g A g^{- 1} = B$ .

To prove: $A = B$ .

Proof:

$H \leq N_{G} (A)$ and $H \leq N_{G} (B)$ (here $N_{G} (B)$ denotes the normalizer of the subset $B$ in $G$ ): This is a direct consequence of the fact that $A, B$ are normal subsets of $H$ .
$g H g^{- 1} \leq N_{G} (B)$ : Since $H \leq N_{G} (A)$ , and conjugation by $g$ is an automorphism, we get $g H g^{- 1} \leq N_{G} (g A g^{- 1})$ , yielding $g H g^{- 1} \leq B$ .
$⟨ H, g H g^{- 1} \in N_{G} (B)$ : This follows from the previous two steps.
$g \in N_{G} (B)$ : Since $H$ is abnormal, $g \in ⟨ H, g H g^{- 1}$ . Combining this with the previous step yields $g \in N_{G} (B)$ .
$A = B$ : Since $g \in N_{G} (B)$ , we have $g^{- 1} \in N_{G} (B)$ , so $g^{- 1} B g = B$ . Also, by assumption, $g^{- 1} B g = A$ . Combining these, we get $A = B$ .