Definition:Zero Locus of Set of Polynomials
Jump to navigation
Jump to search
Definition
Let $k$ be a field.
Let $n\geq1$ be a natural number.
Let $A = k \sqbrk {X_1, \ldots, X_n}$ be the polynomial ring in $n$ variables over $k$.
Let $I \subseteq A$ be a set.
Then the zero locus of $I$ is the set:
- $\map V I = \set {x \in k^n : \forall f \in I: \map f x = 0}$
Remark
This page or section has statements made on it that ought to be extracted and proved in a Theorem page. In particular: put this in its own page You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by creating any appropriate Theorem pages that may be needed. To discuss this page in more detail, feel free to use the talk page. |
Note that this definition applies in particular to the case where $I$ is an ideal. See also Zero Locus of Set is Zero Locus of Generated Ideal.
Also denoted as
The zero locus of $I$ can also be denoted by $\map Z I$.