Coordinate ring

Summary

The coordinate ring of an algebraic set $X \subseteq k^n$ is the ring of polynomial functions on $X$. It is the quotient of the polynomial ring by the ideal of $X$. It carries the geometry of $X$: points, closed subsets and morphisms of affine varieties are read off from it. Also $X$ is irreducible exactly when this ring is an integral domain.