Un esquema de Chevalley en geometría algebraica fue una noción precursora de la teoría de esquemas .
Sea X un esquema noetheriano integral separado , R su campo de función . Si denotamos por el conjunto de subanillos de R , donde x pasa por X (cuando, denotamos por ), verifica las siguientes tres propiedades
- Para cada , R es el campo de fracciones de M .
- Hay un conjunto finito de subanillos noetherianos de R para quey que, para cada par de índices i, j , el subanillode R generado por es un -álgebra de tipo finito.
- Si en son tales que el máximo ideal de M está contenida en la de N , entonces M = N .
Originalmente, Chevalley también supuso que R era una extensión del tipo finito de un campo K y que elTambién eran álgebras de tipo finito sobre un campo (esto simplifica la segunda condición anterior).
Bibliografía
- Grothendieck, Alexandre ; Jean Dieudonné (1960). " Éléments de géométrie algébrique ". Publicaciones Mathématiques de l'IHÉS . I. Le langage des schémas: I.8. En línea