We consider commutative rings on which a finite group is acting by
automorphisms. Our purpose is to develop geometrical theory for difference
equations with a given group of automorphisms. To solve this problem we extend
the class of difference fields to a class of absolutely flat simple difference
rings called pseudofields. We prove Nullstellensatz over pseudofields and
investigate geometrical properties of pseudovarieties.