Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Recently, one question was posed on embeddings of finite groups in $GL(n,\mathbb{Z})$ (here); it is mentioned that $S_n$ can be embedded in $GL(n-1,\mathbb{Z})$. How to prove it? Can we replace $\mathbb{Z}$ by finite field?

share|cite|improve this question

$S_n$ naturally acts by permutations on a set of $n$ elements, which gives an $n$-dimensional permutation representation. This representation, like any permutation representation of any finite group, has a trivial subrepresentation. The quotient is then still defined over $\mathbb{Q}$ (and therefore also over $\mathbb{Z}$) and is $(n-1)$-dimensional, which gives the desired map to $\text{GL}_{n-1}(\mathbb{Z})$. In fact, in this particular case, the quotient is absolutely irreducible, since the permutation action is doubly transitive, but this is beside the point.

Since no non-trivial element of $S_n$ fixes all the elements in the set, the representation is faithful, thus the above map is an embedding. By composing with the reduction-modulo-$p$ map, you get a map to $\text{GL}_{n-1}(\mathbb{F}_p)$, and this is still an embedding.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.