Partition regular matrix
= Partition regular matrix
A <rational number>[rational] matrix $A$ is partition regular when every <finite coloring> of the <positive integer>[positive integers] admits a nonzero monochromatic vector $x$ satisfying $Ax=0$.