A-invariant coloring of a Cartesian power

ID: a-invariant-coloring-of-a-cartesian-power

For , a coloring of is -invariant when changing any coordinates from one member of to another does not change the color. A product argument upgrades the existence of a copy of on which is monochromatic to an -invariant copy of every finite Cartesian power .

New to topics? Read the docs here!