Inom matematiken är Grothendiecks sammanhängandesats (, ) ett resultat som säger att om A är en fullständig lokal ring vars spektrum är k-sammanhängande och f är i maximala idealet, då är Spec(A/fA) (k − 1)-sammanhängande. Att ett Noetherskt schema är k-sammanhängande betyder att dess dimension är större än k and the komplementet av varje sluten delmängd av dimension mindre än k är sammanhängande. Grothendieck XIII.2.1
Den är en lokal analogi Bertinis sats.
Källor
Kategori:Satser inom algebraisk geometri