Could someone please explain to me why $X$ and $Y$ are generic points of $\mathbb{R}[X, Y]/(XY)$?
And why is the ideal generated by irreducible polynomial is a generic point in $\mathbb{R}[X, Y]$?
|
Could someone please explain to me why $X$ and $Y$ are generic points of $\mathbb{R}[X, Y]/(XY)$? And why is the ideal generated by irreducible polynomial is a generic point in $\mathbb{R}[X, Y]$? |
|||||||
|
|
A scheme $S$ has a generic point if and only if its underlying topological space $|S|$ is irreducible, in which case there is a unique point $\eta\in S$ such that $\overline { \lbrace \eta \rbrace}=|S|$. If $S=Spec(A)$ is an affine scheme, irreducibility amounts to the condition that $Nil(A)$, the nilradical, be prime or equivalently that the reduction $A_{red}=A/Nil(A)$ be a domain. If a scheme $S$ is not irreducible, $|S|$ has a decomposition into irreducible components $S=\bigcup S_i$ , each $S_i$ having a dense point $\eta_i$. Those $\eta_i$ are called maximal points or even (by "abuse of language") generic points of $S$. |
|||||||
|