Combinatorial Nullstellensatz over division rings

We extend Alon’s Combinatorial Nullstellensatz from polynomial rings over fields to polynomial rings over division rings and to rings of polynomial functions over centrally finite division algebras. We apply our results to extend classical theorems from additive number theory to the additive theory of division rings, where the size of algebraic sets is measured by their rank in the sense of Lam.