We consider a relation between local and global characteristics of a
differential algebraic variety. We prove that dimension of tangent space for
every regular point of an irreducible differential algebraic variety coincides
with dimension of the variety. Additionally, we classify tangent spaces at
regular points in the case of one derivation.
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.
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.
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.
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.