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

Let $S$ be the set of matrices defined inductively as follows:

  • The scalar $1 \in S$.
  • $M \in S$ if $M$ is a $2 \times 2$ block diagonal matrix where the blocks are recursively in $S$.
  • $M \in S$ if $M$ is a $2 \times 2$ block anti-diagonal matrix where the blocks are recursively in $S$.

Are there any special names / properties of $S$?

share|cite|improve this question
Why did you add the group theory tag? In other words, what is the motivation of this question? Just curious... – t.b. May 28 '11 at 8:00
up vote 1 down vote accepted

I'm not aware of any names, but maybe you can clarify what you're looking for in terms of properties. (They have determinant $\pm 1$, but surely this much is obvious. Another simple property is the product of any two elements of $S$ (of the same size) is block diagonal.)

The matrices in $S$ of size $2^n \times 2^n$ will be permutation matrices for permutations which one might call "bipartite," in the sense that it is either a product of a permutation on $\{ 1, \ldots, 2^{n-1} \}$ with one on $\{ 2^{n-1}+1 , \ldots, 2^{n} \}$, or the composition of such a product with the permutation switching $i$ and $2^{n-1}+i$. (In the latter case, the corresponding graph will be bipartite.) Furthermore, each of the subpermutations is again of this "bipartite" type.

Consequently for each dimension $2^n$, the matrices in $S$ form a subgroup of $S_{2^n}$ (in general not abelian), and the order is easy to count: $2^{2^0+2^1+\cdots+2^{n-1}}=2^{2^n-1}$. Examining the first few cases, suggest that these matrices in fact give a 2-Sylow subgroup of $S_{2^n}$.

share|cite|improve this answer
If you have a group of matrices G, and a group of permutations H of degree n, then the wreath product of G with H is the group of n×n block matrices whose nonzero blocks are from G, and are in the positions described by H: the block in the i th row is in the π( i )th column. In this case, H = { (), (1,2) }, and G becomes an iterated wreath product of copies of H, so indeed, a Sylow 2-subgroup of Sym(2^n). – Jack Schmidt May 29 '11 at 7:16

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.