Hadamard matrix
帰納法により、上記の準同型写像によるアダマール行列の像は以下のようになる。