One-equation partition regularity over odd integers
ID: one-equation-partition-regularity-over-odd-integers
A rational homogeneous equation has a monochromatic positive odd solution in every finite colouring of the odd integers exactly when its full coefficient sum is zero. Sufficiency uses a constant odd vector. For necessity, clear denominators and, if the total is nonzero, colour by odd residue classes modulo . A common odd residue is invertible, so a solution would require , impossible. This is stronger than the zero-sum-subset criterion for unrestricted partition regularity.
New to topics? Read the docs here!