Intermediate isomorph-conjugacy is normalizing join-closed

This article gives the statement, and possibly proof, of a subgroup property (i.e., intermediately isomorph-conjugate subgroup) satisfying a subgroup metaproperty (i.e., normalizing join-closed subgroup property)
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 intermediately isomorph-conjugate subgroup |Get facts that use property satisfaction of intermediately isomorph-conjugate subgroup | Get facts that use property satisfaction of intermediately isomorph-conjugate subgroup|Get more facts about normalizing join-closed subgroup property

Statement

Suppose $H,K$ are intermediately isomorph-conjugate subgroups of a group $G$, such that $K\leq N_{G}(H)$. Then, the join $HK$ (which is also equal to the product of subgroups) is also intermediately isomorph-conjugate.

Related facts

• Isomorph-freeness is strongly join-closed
• Intermediate automorph-conjugacy is normalizing join-closed
• Pronormality is normalizing join-closed

Proof

CONVENTION WARNING: This article/section uses the left-action convention. The left and right action conventions are equally powerful and statements/reasoning here can be converted to the alternative convention (the main reason being that every group is naturally isomorphic to its opposite group via the inverse map). For more on the action conventions and switching between them, refer to switching between the left and right action conventions.

This proof follows the left-action convention, though it can be stated equally well using the right-action convention (a similar proof for pronormality uses the right-action convention -- the proofs use essentially the same idea). We denote by $c_{g}$ the operation $x\mapsto gxg^{-1}$ of conjugation by $g$.

Given: A group $G$, intermediately isomorph-conjugate subgroups $H,K\leq G$ such that $K$ normalizes $H$. $\sigma$ is an isomorphism from $HK$ to some subgroup of $G$.

To prove: There exists $l\in \langle HK,\sigma (HK)\rangle$ such that $c_{l}(HK)=\sigma (HK)$.

Proof:

1. (Given data used: $H$ is intermediately isomorph-conjugate in $G$): $H$ and $\sigma (H)$ are isomorphic subgroups, so, since $H$ is intermediately isomorph-conjugate, there exists a $g\in \langle H,\sigma (H)\rangle$ such that $c_{g}(H):=gHg^{-1}=\sigma (H)$. Note that $g\in \langle H,\sigma (H)\rangle \leq \langle HK,\sigma (HK)\rangle$.
2. (No given data used): Define $\sigma '=c_{g}^{-1}\circ \sigma$ as a map from $HK$ to $G$. Now, $\sigma '(HK)\leq \langle HK,\sigma (HK)\rangle$, because it involves composing $\sigma$ with conjugation by an element inside $\langle H,\sigma (H)\rangle \leq \langle HK,\sigma (HK)\rangle$. Thus, $\langle HK,\sigma '(HK)\rangle \leq \langle HK,\sigma (HK)\rangle$.
3. (Given data used: $K$ normalizes $H$): We have $K\leq N_{G}(H)$. Now, $\sigma '(H)=H$ by construction. Thus, $\sigma '(K)\leq N_{G}(\sigma '(H))=N_{G}(H)$. Thus, $\langle K,\sigma '(K)\rangle \leq N_{G}(H)$.
4. (Given data used: $K$ is intermediately isomorph-conjugate in $G$): Since $K$ is intermediately isomorph-conjugate in $G$, the conclusion of step (3) tells us that there exists $k\in \langle K,\sigma '(K)\rangle$ such that $c_{k}(K)=\sigma '(K)$. In particular, $k\in N_{G}(H)$, so $c_{k}(H)=H$. Thus, $c_{k}(HK)=c_{k}(H)c_{k}(K)=H\sigma '(K)=\sigma '(H)\sigma '(K)=\sigma '(HK)$, with $k\in \langle K,\sigma '(K)\leq \langle HK,\sigma '(HK)\rangle$. By the conclusion of step (2), this yields $k\in \langle HK,\sigma (HK)\rangle$.
5. Now, consider the product $l=gk$ We claim that this works (No problem data used): Clearly, since both $g$ and $k$ are elements of $\langle HK,\sigma (HK)\rangle$, so is $l$. Further, $c_{l}=c_{g}\circ c_{k}$. In particular, $c_{l}(HK)=c_{g}(c_{k}(HK))=c_{g}(\sigma '(HK))=\sigma (HK)$. Thus, $HK$ and $\sigma (HK)$ are conjugate in the subgroup they generate.