佩利定理

1933 年证明。如果 是一个 奇素数 或 且 是任意 正整数，那么存在一个阶数为

其中 是任意 正整数 使得 。如果 是这种形式，则可以使用 佩利构造 来构建矩阵。如果 可被 4 整除但不是 形式 (1)，则 佩利类 是未定义的。然而，已经证明对于所有 对于 ，Hadamard 矩阵都存在。