All Questions
2
questions
2
votes
2
answers
53
views
Generating sets of semi-direct products with $\mathbb{Z}_2$
Suppose a group $G$ splits as a semidirect product $N\rtimes\mathbb{Z}_2$, and let $\phi:G\to\mathbb{Z}_2$ the the associated quotient map. If I have a subset of elements $\{g_1,\dots,g_n,h\}$ of $G$ ...
4
votes
1
answer
499
views
Coxeter presentation of Hyperoctahedral group $(\mathbb{Z}/2\mathbb{Z})^n \rtimes S_n$.
I know that the hyperoctahedral group $(\mathbb{Z}/2\mathbb{Z})^n \rtimes S_n$ has the presentation
$$\langle s_{\text{1}},\ldots,s_n\mid s_{\text{1}}^{\text{2}}=s_i^2=1, (s_1s_2)^4=(s_is_{i+1})^3=(...