Navigation Menu

Skip to content

Commit

Permalink
Improve formulation definition in schemes
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jul 7, 2017
1 parent cf7d8d0 commit c187c5f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions schemes.tex
Expand Up @@ -2094,9 +2094,9 @@ \section{Reduced schemes}

\begin{definition}
\label{definition-reduced-induced-scheme}
Let $X$ be a scheme. Let $i : Z \to X$ be the inclusion of a closed subset.
Let $X$ be a scheme. Let $Z \subset X$ be a closed subset.
A {\it scheme structure on $Z$} is given by a closed subscheme $Z'$ of
$X$ whose underlying closed is equal to $Z$. We often say
$X$ whose underlying set is equal to $Z$. We often say
``let $(Z, \mathcal{O}_Z)$ be a scheme structure on $Z$'' to
indicate this. The {\it reduced induced scheme structure}
on $Z$ is the one constructed in Lemma \ref{lemma-reduced-closed-subscheme}.
Expand Down

0 comments on commit c187c5f

Please sign in to comment.