and algebraic integers, again exploiting the fact that I*(G) is an ideal of Ch*(G), place the trivial character in I(G). An auxiliary result here is that a \mathbb{Z}[\omega]-valued class function lies in the ideal I*(G) if its values are all divisible (in \mathbb{Z}[\omega]) by |G|.
