# example of non-permutable subgroup

###### Example 1.

There are groups (even finitely generated^{}) with subnormal subgroups^{} which are
not permutable.

###### Proof.

Let ${D}_{8}$ be the dihedral group^{} of order 8. The classic presentation^{} is

$${D}_{8}=\u27e8a,b:{a}^{4}={b}^{2}=1,bab={a}^{-1}\u27e9.$$ |

As the group is nilpotent^{} we know every subgroup^{} is subnormal; however, not every subgroup is permutable. In particular, observe that for two general subgroups $H$ and $K$ of ${D}_{8}$, it may be possible that $HK$ is not a subgroup. In this situation we find our counterexample.

$$\u27e8b\u27e9\u27e8ab\u27e9=\{1,b,ab,bab\}=\{1,b,ab,{a}^{-1}\}.$$ |

Yet

$$\u27e8ab\u27e9\u27e8b\u27e9=\{1,ab,b,abb\}=\{1,b,ab,a\}.$$ |

More generally, in any dihedral group

$${D}_{2n}=\u27e8a,b:{a}^{n}={b}^{2}=1,bab={a}^{-1}\u27e9,$$ |

for $n>2$, then

$$\u27e8b\u27e9\u27e8ab\u27e9\ne \u27e8ab\u27e9\u27e8b\u27e9$$ |

and both are subnormal whenever $n={2}^{i}$. ∎

However, we do observe the competing observation that the group generated by $\u27e8b\u27e9$ and $\u27e8ab\u27e9$ is the same as the group generated by $\u27e8ab\u27e9$ and $\u27e8b\u27e9$, namely ${D}_{8}$. Indeed in any group with subgroups $H$ and $K$, $\u27e8H,K\u27e9=\u27e8K,H\u27e9$ so the condition of permutability is one which must be tested as complexes (sets $HK$), not as subgroups. This is a consequence of the following general result:

###### Claim 1.

$HK=KH$ if and only if $H\mathit{}K\mathrm{=}\mathrm{\u27e8}H\mathrm{,}K\mathrm{\u27e9}$.

###### Proof.

We will show that every element in $\u27e8H,K\u27e9$ can be written in
the form $hk$ for some $h\in H$ and $k\in K$. To see this first note
every element in $\u27e8H,K\u27e9$ is a word over elements in $H$ and in
$K$. If the word involves only elements in $H$ or only elements in $K$ then
we are done. Now for induction^{} suppose all words of length $m$ in $\u27e8H,K\u27e9$ can be expressed in the form $hk$ for some $h\in H$ and $k\in K$.
Then given a word of length $m+1$ we have either ${h}^{\prime}w$ for ${h}^{\prime}\in H$ and $w$
a word of length $m$, in which case we are done, or ${k}^{\prime}w$ for some ${k}^{\prime}\in K$
and $w$ a word of length $m$. Then by induction $w=hk$ form some $h\in H$ and
$k\in K$. Hence ${k}^{\prime}w={k}^{\prime}hk$. Then ${k}^{\prime}h\in KH=HK$ so there exists ${h}^{\prime}\in H$ and ${k}^{\prime \prime}\in K$ such that ${k}^{\prime}h={h}^{\prime}{k}^{\prime \prime}$. Thus ${k}^{\prime}w={h}^{\prime}{k}^{\prime \prime}k={h}^{\prime}({k}^{\prime \prime}k)$ is of the
desired format. Hence $HK\subseteq \u27e8H,K\u27e9\subseteq HK$ so
$HK=\u27e8H,K\u27e9$.

For the converse^{} suppose $HK=\u27e8H,K\u27e9$. Then $KH\subseteq HK$.
This means for every $k\in K$ and $h\in H$ there exists ${h}^{\prime}\in H$ and
${k}^{\prime}\in K$ such that ${k}^{-1}{h}^{-1}={h}^{\prime}{k}^{\prime}$. Thus

$$hk={({k}^{-1}{h}^{-1})}^{-1}={({h}^{\prime}{k}^{\prime})}^{-1}={({k}^{\prime})}^{-1}{({h}^{\prime})}^{-1}\in KH.$$ |

Thus $HK\subseteq KH$ and $KH=HK$. ∎

This helps illustrate how permutability is such a useful condition in the study of subgroup lattices (one of Ore’s main research interests). For these are the subgroups whose complexes are also subgroups. Thus we can relate the order of $\u27e8H,K\u27e9$ to the order of $H$ and $K$ and many other combinatorial relations^{}.

Title | example of non-permutable subgroup |
---|---|

Canonical name | ExampleOfNonpermutableSubgroup |

Date of creation | 2013-03-22 16:15:56 |

Last modified on | 2013-03-22 16:15:56 |

Owner | Algeboy (12884) |

Last modified by | Algeboy (12884) |

Numerical id | 10 |

Author | Algeboy (12884) |

Entry type | Example |

Classification | msc 20E07 |