# “Coloring” the ideals of a ring

Let $R$ be a ring with more than 1 element, and let $A$ be a non-empty set. We call a map $c:R\to A$ an ideal coloring if for every nonempty ideal $I$ with $I\neq\{0\}$ the restriction $c|_I$ is not constant (that is, the elements of every nontrivial ideal receive at least 2 "colors").

Is there a ring that can be colored with $3$ colors, but not with $2$ colors?

• Your example doesn't work, the function $c$ is constant on $2\Bbb{Z}$. – abx Jul 22 '17 at 7:15
• Isn't $c_{(2)}$ constant? How about the $2$-coloring of $\mathbb{Z}$ given by $c(n) = 0$ if $n$ is a square, $1$ otherwise. – Zach Teitler Jul 22 '17 at 7:16
• Right sorry will remove the example! – Dominic van der Zypen Jul 22 '17 at 7:31
• I'm curious where this definition came from. Could you sketch the motivation? Would it possibly be interesting to consider colorings of the nonzero elements of the ring? – Zach Teitler Jul 22 '17 at 18:13
• I was trying to see whether something like this was being done on rings: dominiczypen.wordpress.com/2017/07/17/… The question asked in the post was asked here but has not been answered: mathoverflow.net/questions/275489/… Your suggestion of the nonzero elements might be interesting! – Dominic van der Zypen Jul 23 '17 at 7:23

Every ring can be ideal-colored with $2$ colors. Let $0$ be colored by $0$, and every other element by $1$.