Chevalley scheme

A Chevalley scheme in algebraic geometry was a precursor notion of scheme theory.

Let X be a separated integral noetherian scheme, R its function field.

the set of subrings

verifies the following three properties Originally, Chevalley also supposed that R was an extension of finite type of a field K and that the

's were algebras of finite type over a field too (this simplifies the second condition above).