An Algebraic Reformulation of the Four Color Theorem
Howard Levi · 2003
An algebraic equivalent of the four-color theorem is presented. The equivalent is the assertion of non-membership of a family of polynomials in a family of polynomial ideals over a particular finite field. A more precise statement must wait until specialized machinery has been introduced.