Definition:Open Subscheme
Jump to navigation
Jump to search
Definition
Let $\struct {X, \OO_X}$ be a scheme.
Let $U \subset X$ be an open subset.
Then the open subscheme defined by $U$ is the restriction $\struct {U, \OO_X {\restriction_U}}$ of $\struct {X, \OO_X}$ to $U$.
Also see
Sources
- 1977: Robin Hartshorne: Algebraic Geometry Exercise $\text {II}.2.2$