Category: Updates

Pre-compact definition

X is compact set iff X closed and pre-compact. X is called pre-compact if $\overline{X}$ is compact. But in some texts, I found that X pre-compact is tota...

Closed immersion definition

Hartshorne defines a closed immersion as a morphism $f:Y\longrightarrow X$ of schemes such that a) $f$ induces a homeomorphism of $sp(Y)$ onto a closed su...