Based on a presentation of and the help of [GAP], we construct the character table of the Clifford group for . As an application, we can efficiently decompose the (higher power of) tensor product of the matrix representation in those cases. Our results recover some known results in [HWW, WF] and reveal some new phenomena. We prove that when , (1) the trivial character is the only linear character for and hence equals to its commutator subgroup, (2) the -qubit Pauli group is the only proper non-trivial normal subgroup of , (3) the matrix representation is a faithful representation for . As a byproduct, we give a presentation of the finite symplectic group in terms of generators and relations.

生成讲解博客的中文版本

生成AI智能校验的中文版本