Abstract

ABSTRACT A constructible set can be defined in terms of a unique sequence of varieties. Given a monomial ordering, the reduced Groebner bases of the ideals of these varieties comprise a complete invariant for the constructible set. Morphic images of varieties, such as orbits under algebraic group actions and projections of varieties, can therefore be assigned complete invariants.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call