Семинар

Почему морфизм Proj Z[x_0, ..., x_n] \to Spec Z отделим? В Хартсхорне написано, что единственность нужного морфизма в диаграмме валюативного критерия следует из построения и способа склейки D(x_i), но у меня не получается это доказать.