Begriff aus der algebraischen Geometrie.

Es sei A ein kommutativer Ring. Ein Schema X heißt algebraisches Schema, wenn es eine endliche affine Überdeckung U_i = Spec(B_i) besitzt, so daß jede der Algebren B_i von endlicher Präsentation über A ist (d. h.: B_i ≃ A [X₁, ··· , X_n] / (f₁, ··· , f_r) mit endlich vielen Erzeugenden und endlich vielen Relationen). Ein Schema, das eine offene Überdeckung durch algebraische Schemata besitzt, heißt lokal algebraisch. Wichtige Spezialfälle sind algebraische Varietäten, man vergleiche auch algebraische Geometrie.