3
$\begingroup$

This older stackoverflow question may be helpful in answering the question that I ask below, although I could not work it out.

For $n\geq 1$, let $X=\lbrace 1,2, \ldots ,n \rbrace$, $Y=X \cup (-X)$ (so that in $Y$ we have all integers between $-n$ and $n$, except zero). Let ${\mathfrak S}_Y$ denote the group of permutations on $Y$, and define a subgroup $G$ of ${\mathfrak S}_Y$ by

$$ G=\lbrace \sigma \in {\mathfrak S}_Y | \forall x\in X, \sigma(-x)=-\sigma(x) \rbrace $$

(so $G$ is the centralizer of the permutation that multiplies by $-1$). Does $G$ have a name in the literature ? (UPDATE : $G$ is the group of signed permutations on $X$, also known as the Coxeter group of type $B_n$).

We can easily decompose $G$ as a semi-direct product $ {\lbrace \pm 1 \rbrace}^n \rtimes {\mathfrak S}_X$, for on one hand there are two injective homomorphisms $i \ : \ {\lbrace \pm 1 \rbrace}^n \to G$ and $j: {\mathfrak S}_X \to G$, defined by $$ i(\varepsilon_1,\varepsilon_2, \ldots ,\varepsilon_n)(x)=\varepsilon_x x \ ({\rm for}\ \varepsilon_k=\pm 1,\ x \in X) $$ and $$ j(\sigma)(x)=\sigma(x), \ j(\sigma)(-x)=-\sigma(x) \ ({\rm for}\ \sigma \in {\mathfrak S}_X,\ x\in X) $$ and on the other hand there is a surjective homomorphism $ s \ : \ G \to {\mathfrak S}_X$, defined by $$ s(\sigma)(x)=|\sigma(x)| \ ( {\rm for}\ \sigma \in G, x\in X). $$ Since ${\sf Ker}(s)={\sf Im}(i)$ and $G={\sf Im}(i){\sf Im}(j)$, this yields a split exact sequence and hence $|G|=| {\lbrace \pm 1 \rbrace}^n | |{\mathfrak S}_X|=2^n n!$.

Then $s^{-1}({\cal A}_X)$ is a subgroup of index $2$ of $G$ because ${\cal A}_X$ is a subgroup of index $2$ in ${\mathfrak S}_X$. Are there any other subgroups of index $2$ in $G$ ?

UPDATE AT 17:30 : For $n\geq 3$, there are at least three distinct subgroups of index 2 ; they can be viewed as the kernels of three different homomorphisms $G \to \lbrace \pm 1\rbrace$.

The first homorphism is $t=\varepsilon \circ s$ (where $\varepsilon$ is the signature of a permutation of $X$). The kernel of $t$ is the subgroup already mentioned above.

The second homomorphism is $t'$, defined by $t'(\sigma)=|\sigma(X) \setminus X| {\sf mod} 2$ (this is the homomorphism suggested by "jug" in his answer below).

The third homomorphism is $t''=tt'$.

I checked with a computer that these are the only subgroups of index $2$ when $n=3,4$ or $5$.

1 Answers 1

1

In this question your group is called the group of signed permutation and it is the Coxeter group $B_n = C_n$ (it shows up for example as the Weyl group of the symplectic group $\mathop{S}_{2n}(\mathbb{F_q})$).

Hint: For another subgroup of index 2 take a look at the cardinality of $\sigma(X)\cap (-X)$ for $\sigma \in G$.


EDIT: There are not more index-2-subgroups than the three you found, as the commutator subgroup $G'$ has index 4 in $G$.

An element $\sigma \in \{\pm1\}^n$ for which $\sigma(X)\cap (-X) := X_\sigma$ has even order is contained in $G'$, since you can write $X_\sigma = X_0\stackrel{.}{\cup}X_1$ as disjoint union of two sets of the same cardinality. Take any permutation $\tau \in S_n$ that exchanges $X_0$ and $X_1$, and the element $\rho\in \{\pm1\}^n$ that equals $-1$ on $X_0$ and $1$ otherwise. Then $\sigma = [\tau, \rho]$ shows that $G'\cap\{\pm1\}^n$ has index $2$ in $\{\pm1\}^n$. As the alternating group is the commutator subgroup of the symmetric group (of index $2$), $G'$ has index at most $4$ in $G$, and the homomorphisms you found show that the index is exactly $4$.

  • 0
    thanks for your answer, I updated the question accordingly.2012-05-10
  • 0
    But does recognizing $G$ as a Coxeter group help us with finding all its index $2$ subgroups ?2012-05-10
  • 0
    @EwanDelanoy: The hint should help you to find a 2nd subgroup of index 2 (which you found).2012-05-10
  • 0
    @EwanDelanoy: At least my knowledge about Coxeter groups doesn't help finding all subgroups of index 2. I got this 2nd subgroup by considering $\{\pm 1\}^n$ as $\mathbb{F}_2$ vector space on which $S_n$ acts by permuting a base. As this action is $2$-transitive (for $n\ge 2$), over characteristic $0$ the linear representation would be the sum of two irreducible ones, but not so over characteristic $2$...2012-05-10
  • 0
    @EwanDelanoy: I'd guess that there are no other index-2-subgroups of $G$. A possible way to prove this could be to show that all elements of $\{\pm 1\}^n\cap \mathop{Ker}(t')$ are commutators in $G$.2012-05-10
  • 0
    @EwanDelanoy: The statement about the commutators in my last comment is indeed quite easy to prove. If you'll need details, I'll be back probably tomorrow.2012-05-10
  • 0
    Hint: $(1 -1)(2 -2)(3 -3)(4 -4)$ is the commutator of $(1 -1)(2 -2)$ and $(1 3)(-1 -3)(2 4)(-2 -4)$. Now generalize.2012-05-11
  • 0
    @jug: My brain is a bit slow today, but surely the derived subgroup having index four implies that there are *no more than three* subgroups of index two. If $G/H\twoheadrightarrow C_2$ then this must factor thought $G^{\prime}$, but there are only three ways of doing this if $G/G^{\prime}=C_2\times C_2$ (and precisely one way otherwise)...no?2012-05-17
  • 0
    @user1729: I'm not quite sure what you are wondering about. As you emphasized "no more than three", do you worry about the factor group $G/G'$ being $C_2\times C_2$ or $C_4$? The latter is excluded by the "UPDATE AT 17:30" to the question. If you are worried about your proof $G'$ having index $4$ in $G$ implies "at most three": it's correct.2012-05-18
  • 0
    @jug: I have no idea what I was thinking! I perhaps miss-read your post as "there are $4$ index $2$-subgroups...". But...I don't know. Again, I have no idea what I was thinking! Sorry...2012-05-21
  • 0
    @user1729: No problem, it happened to me before, too (and probably to everybody else).2012-05-21