01/02/2006, 11:00 — 12:00 — Sala P3.10, Pavilhão de Matemática Paola Supino, Università di Roma Tre
Injective endomorphisms of algebraic varieties
We will give an overview of some of the proofs which exist for the theorem of Ax (1969). The theorem states that a morphism of an algebraic variety to itself which is injective is also surjective. It can be proved also that it is an automorphism. In particular we will present a proof which uses model theory. We will also present an analogous theorem for cellular automata.
