Even-order symmetric design square obstruction
ID: even-order-symmetric-design-square-obstruction
In a nontrivial symmetric balanced incomplete block design, . If is even, is odd. For every prime, the exponent in the left side is even and that in is even, so its exponent in must be even. Thus is a perfect square. This supplies an elementary necessary existence condition without claiming it is sufficient.
New to topics? Read the docs here!