Reflection subgroups that are parabolic but not standard, and one that is not parabolic

The subgroup $H$. The one-line displays $(13)=3214$ and $(24)=1432$ record that these permutations swap $1\leftrightarrow 3$ and $2\leftrightarrow 4$ respectively and fix the remaining points. Both are involutions with disjoint supports, so they commute and $H=\{1,(13),(24),(13)(24)\}$, of order $4$; the product is computed by applying the right factor first, $(13)(24)\text{\hspace{0.17em}⁣}:1\mapsto 3$, $2\mapsto 4$, $3\mapsto 1$, $4\mapsto 2$, hence $(13)(24)=3412$ and $H=\{1234,1432,3214,3412\}$. Further $s_2{s}_1{s}_2=(23)(12)(23)=(13)$ and $s_2{s}_3{s}_2=(24)$, as direct computations in cycle notation; the two generators $s_1,s_3$ commute, so $W_{\{s_1,s_3\}}=\{1,s_1,s_3,s_1{s}_3\}=\{1234,2134,1243,2143\}$, and conjugating by $s_2$ gives $H=⟨s_2{s}_1{s}_2,s_2{s}_3{s}_2⟩=s_2{W}_{\{s_1,s_3\}}{s}_2$, so $H$ is a parabolic subgroup by [F2]. Finally $w=(12)(34)=2143$ satisfies $w(1)=2$, $w(3)=4$ and $w^{-1}(2)=1$, $w^{-1}(4)=3$, so $w(13)w^{-1}$ swaps $2$ and $4$ and fixes $1,3$, that is, $w(13)w^{-1}=(24)$.

The subgroup $H^{\mathrm{\prime }}$. Put $u:=st$. Every word in $s,t$ can be shortened by cancelling adjacent equal letters $ss$ or $tt$ until it alternates, so an alternating word is $(st{)}^k$, $(ts{)}^k$, $(st{)}^{k}s$ or $(ts{)}^{k}s$ for some $k\ge 0$; since $(ts{)}^k=u^{-k}$ and $(ts{)}^{k}s=u^{-k}s$, we get $W=\{u^k:k\in \mathbb{Z}\}\cup \{u^{k}s:k\in \mathbb{Z}\}$, with distinct powers because $u$ has infinite order. The two families are disjoint: the separate homomorphism $\chi :W\to \mathbb{Z}\mathrm{/}2$ defined by $s\mapsto 1$, $t\mapsto 1$ exists by [F5] and takes $u^k$ to $0$ and $u^{k}s$ to $1$. Since $s=s^{-1}$ and $t=t^{-1}$ we have $su{s}^{-1}=s(st)s=ts=u^{-1}$ and hence $s{u}^{2m}s=u^{-2m}$ for all $m$. In particular $tst=t(st)t\cdot t=(ts{)}^{2}s=u^{-2}s$, so $tst$ is a reflection by [F4], and $tst=u^{-2}s\in ⟨s,u^2⟩$; conversely $s\cdot (u^{-2}s)=s{u}^{-2}s=u^2$ and $(u^{-2}s)\cdot s=u^{-2}$, so $⟨s,tst⟩=⟨s,u^2⟩$. The set $S_0:=\{u^{2k}:k\in \mathbb{Z}\}\cup \{u^{2k}s:k\in \mathbb{Z}\}$ is closed under multiplication: the four product types use $s{u}^{2m}s=u^{-2m}$ and give $u^{2k}{u}^{2m}=u^{2(k+m)}$, $u^{2k}s\cdot u^{2m}s=u^{2(k-m)}$, $u^{2k}\cdot u^{2m}s=u^{2(k+m)}s$ and $u^{2k}s\cdot u^{2m}=u^{2(k-m)}s$; it contains $s=u^{0}s$ and $u^2$, and each of its elements is a product of $s$ and $u^2$; hence $S_0=⟨s,u^2⟩=H^{\mathrm{\prime }}$. The assignment $s\mapsto 0$, $t\mapsto 1$ sends the relators $s^2$ and $t^2$ to $0$, so by [F5] it defines a homomorphism $\phi \text{\hspace{0.17em}⁣}:W\to \mathbb{Z}\mathrm{/}2$; by [F6], $\phi (u^k)=k<mrow><mi\; mathvariant="normal">m</mi><mi\; mathvariant="normal">o</mi><mi\; mathvariant="normal">d</mi></mrow>2$ and $\phi (u^{k}s)=k<mrow><mi\; mathvariant="normal">m</mi><mi\; mathvariant="normal">o</mi><mi\; mathvariant="normal">d</mi></mrow>2$, so the set $H_0:=\{w:\phi (w)=0\}$ equals $\{u^{2k}:k\in \mathbb{Z}\}\cup \{u^{2k}s:k\in \mathbb{Z}\}=S_0=H^{\mathrm{\prime }}$, and since $\phi (t)=1$ the complement of $H_0$ is the single coset $H_{0}t$; hence $H^{\mathrm{\prime }}$ has exactly two cosets in $W$, of which it is one, so it has index $2$. Since $u$ has infinite order by [F3], $W$ is infinite and $H^{\mathrm{\prime }}$, of index $2$, is infinite as well.

$H$ is not standard. By [F1] the standard parabolic subgroups of $S_4$ are $W_J=\{w:S(w)\subseteq J\}$ for the eight subsets $J\subseteq \{s_1,s_2,s_3\}$, and $W_J\cap S=J$ makes distinct subsets give distinct subgroups. Listing by the defining relations: $W_{\mathrm{\varnothing }}=\{1234\}$, $W_{\{s_1\}}=\{1234,2134\}$, $W_{\{s_2\}}=\{1234,1324\}$, $W_{\{s_3\}}=\{1234,1243\}$, $W_{\{s_1,s_2\}}=\{1234,2134,1324,2314,3124,3214\}$, $W_{\{s_2,s_3\}}=\{1234,1324,1243,1342,1423,1432\}$, $W_{\{s_1,s_3\}}=\{1234,2134,1243,2143\}$ and $W_S=S_4$, of orders $1,2,2,2,6,6,4,24$. By step 1.1, $H$ has order $4$ and contains $3214$; the only standard parabolic of order $4$ is $W_{\{s_1,s_3\}}$, whose displayed list does not contain $3214$, and no other $W_J$ has order $4$. Hence $H\mathrm{\ne }{W}_J$ for every $J$, while $H$ is parabolic by step 1.1: the inclusion "standard parabolic $⊊$ parabolic" is strict.

$H^{\mathrm{\prime }}$ is not parabolic. By [F2] the parabolic subgroups of $W$ are the conjugates of $W_{\mathrm{\varnothing }}=\{1\}$, $W_{\{s\}}=\{1,s\}$, $W_{\{t\}}=\{1,t\}$ and $W_{\{s,t\}}=W$. The subgroups $\{1\}$ and $W$ are their own conjugates; the conjugates of $\{1,s\}$ or of $\{1,t\}$ are the subgroups $\{1,r\}$ with $r\in T$, and conversely every $r\in T$ is a conjugate of the simple reflection $s$ or of the simple reflection $t$ by [F4], so the conjugates of these two standard parabolics are exactly the subgroups $\{1,r\}$, $r\in T$. By step 1.2 the group $H^{\mathrm{\prime }}$ contains $s$, and $s\mathrm{\ne }1$ because $s=1$ would force $st=t$ to have order $2$, against [F3]; further $H^{\mathrm{\prime }}$ is infinite and has index $2$ in $W$, so $t\mathrm{\notin }{H}^{\mathrm{\prime }}$ (indeed $\phi (t)=1$) and $H^{\mathrm{\prime }}\mathrm{\ne }W$. Hence $H^{\mathrm{\prime }}$ is none of $\{1\}$, of the two-element subgroups $\{1,r\}$, or of $W$: $H^{\mathrm{\prime }}$ is a reflection subgroup that is not parabolic, and the inclusion "parabolic $⊊$ reflection subgroup" is strict.

The three classes. By definition every standard parabolic subgroup is parabolic, and by [F2] every parabolic subgroup is a reflection subgroup, so the two inclusions of the statement hold; by step 2.1 the first is strict and by step 2.2 the second is strict, and the examples $H$ (parabolic, not standard) and $H^{\mathrm{\prime }}$ (reflection subgroup, not parabolic) exhibit the strictness. This completes the example.