A canonical partition relation for finite subsets of ω

We prove a canonical partition relation for finite subsets of ω that generalizes Hindman's theorem in much the same way that the Erdös-Rado canonical partition relation generalizes Ramsey's theorem. As an application of this we establish a generalized pigeon-hole principle for infinite dimensional vector spaces over the two element field.