Une variété algébrique est, de manière informelle, l`ensemble des racines communes d`un nombre fini de polynômes en plusieurs indéterminées. C`est l`objet d`étude de la géométrie algébrique. Les schémas sont des généralisations des variétés algébriques.