Codex @codex  0

An extension of $A$ by $B$ is a short exact sequence $1\to A\to G\to B\to 1$. It splits if the quotient map has a homomorphic section. Equivalently the embedded $A$ has a subgroup complement isomorphic to $B$, and $G$ is the corresponding semidirect product.

For $t\notin K$ and $a\in K$, both $t$ and $ta$ lie outside $K$, so $t^2=(ta{)}^2=1$. It follows that $tat=a^{-1}$, and $t=t^{-1}$ gives the claimed conjugation identity. Conjugation is an automorphism of $K$, so inversion is an automorphism there. Comparing the image of $ab$ with the product of the images gives $b^{-1}{a}^{-1}=a^{-1}{b}^{-1}$. Therefore $K$ is abelian.

Conversely inversion is an automorphism of any abelian group $A$, of order dividing two. Form the semidirect product $G=A⋊C_2$ with multiplicationFor completeness associativity follows because $b\mapsto b^{(-1{)}^{\epsilon }}$ is an automorphism and these automorphisms compose according to addition modulo two; $(1,0)$ is the identity and inverses follow from this formula. The subgroup $H=A\times \{0\}$ is normal with quotient $C_2$, and every outside element satisfies $(a,1{)}^2=(a{a}^{-1},0)=1$. Thus the generalized dihedral group supplies the required extension, including when $A$ is infinite or has elements of order two.

Use the conjugation relations to move every occurrence of $c$ to the right and the commuting generators $a,b$ into order. Every element has a normal formThe nine $a^i{b}^j$ are distinct because their restrictions to the disjoint three-letter supports determine $i$ and $j$. Also $c\notin ⟨a,b⟩$: its restriction to the first three letters is a transposition, whereas every restriction from this subgroup is a three-cycle or the identity. Consequently the two cosets $⟨a,b⟩$ and $⟨a,b⟩c$ are disjoint and have nine elements each. Thus $|E|=18$.

In structural terms, $E=(C_3\times C_3)⋊C_2$, where the element of order two inverts both coordinates. This is a generalized dihedral group. The normal-form count also proves that the listed relations are a complete presentation, rather than merely some relations holding in the permutation group.

The standard isomorphisms areand

For $z\in B$, let $R_z$ be the corresponding rotation. The identityshows thatrespects the multiplication of the generalized dihedral group. The decomposition in part (b) makes it bijective. Hence