Skemo (matematiko)

En algebra geometrio, la koncepto de skemo estas generaligaĵo de la koncepto de algebra variaĵo.

 Difino 
Loke ringa spaco  konsistas el la jenaj datenoj:
  estas topologia spaco.
  estas garbo de lokaj ringoj (t.e. komutaj ringoj kun unikaj maksimumaj idealoj) sur .

La spektro  de komuta ringo  estas la jena loke ringa spaco.
 Kiel aro,  estas la aro de primaj idealoj de .
 La malfermitaj subaroj de  estas tiuj, kiuj estas kunaĵoj de la subaroj de la formo , en kiu  estas ajna elemento de  kaj  estas la subaro de primaj idealoj ne enhavantaj la elementon .
 La ringo de sekcioj de  sur  estas la lokigo  de la ringo  ĉe .

Skemo  estas loke ringa spaco tia ke, ĉirkaŭ ĉiu punkto , ekzistas malfermita ĉirkaŭaĵo  tia ke  estas izomorfa al spektro de iu komuta ringo. Afina skemo estas loke ringa spaco izomorfa al la spektro de iu komuta ringo.

 Historio 
La koncepton de la skemo difinis la germana-franca matematikisto Alexandre Grothendieck.

 Referencoj 


 Eksteraj ligiloj 




Kategorio:Algebra geometrio