Skip to main content
1 of 4
Dima Pasechnik
  • 14k
  • 2
  • 34
  • 70

centralizer of the order 2^k cyclic permutation matrix over F_2

Let $C$ be the $2^k\times 2^k$-permutation matrix over $\mathbb{F}_2$ of the $2^k$-cycle. We needed to know the structure of its centralizer in $\mathrm{GL}_{2^k}(\mathbb{F}_2)$, and we computed it - it was not too easy. It's an abelian group, and so we were able to compute its decomposition into the sum of cyclic subgroups, as follows. $$ \bigoplus_{i=2}^k (\mathbb{Z}/\mathbb{Z}_{2^{k+1-i}})^{2^{i-2}}. $$

We wonder if this was already done. (We also did this for more general case other primes, not only 2, formulas are similar).

Dima Pasechnik
  • 14k
  • 2
  • 34
  • 70