We prove different forms of Nullstellensatz for difference fields and
absolutely flat simple difference rings. A difference ring is supposed to be a
ring on which an arbitrary group is acting by ring automorphisms.