Main theorem of elimination theory: Difference between revisions

Content deleted Content added
 
Line 55:
==Geometrical interpretation==
 
In the preceding formulation, the [[polynomial ring]] <math>R[\mathbf x]=R[x_1, \ldots, x_n]</math> defines a [[morphism of schemes|morphism]] of [[Scheme (mathematics)|schemes]] (which are algebraic varieties if {{mvar|R}} is finitely generated over a field)
:<math>\mathbb{P}^{n-1}_R = \operatorname{Proj}(R[\mathbf x]) \to \operatorname{Spec}(R).</math>