Universaali homeomorfismi

Universaali homeomorfismi on kaavioiden morfismi siten, että kunkin morfismin kantamuutos on topologisten avaruuksien homeomorfismi . $f\kaksoispiste X\Y:ksi$ $Y'\to Y$ $X\times _{Y}Y'\to Y'$

Kaavamorfismi on universaali homeomorfismi silloin ja vain, jos se on integraali , radikaali ja surjektiivinen [1] . Erityisesti paikallisesti äärellisen tyypin morfismi on universaali homeomorfismi, jos ja vain jos se on äärellinen , radikaali ja surjektiivinen.

Esimerkiksi Frobeniuksen endomorfismi on universaali homeomorfismi.

Muistiinpanot

↑ Grothendieck, 1967 .

Kirjallisuus

Grothendieck, Alexandre; Dieudonne, Jean. Elements de geometrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie (ranska) // Julkaisut Mathématiques de l'IHÉS. - 1967. - Nro 32 . - doi : 10.1007/bf02732123 .
Johan de Jong (ylläpito). 29.45 Universaalit homeomorfismit . The Stacks Project . Haettu: 10. maaliskuuta 2021. (määrätön)