アダマール行列
群の準同型formula_7によるアダマール行列の要素に対する写像を用いると、シルベスターによるアダマール行列を別の方法で生成することができる。まず、"n"ビットの整数を列であるとみなし、これを昇順に並べたformula_8行列formula_9を考える。このとき、formula_9は次のように再帰的に定義できる。