Generic point (source code)

= Generic point
{title2=$\eta$}

A generic point is a point whose closure is the whole space. An <integral scheme> has a unique generic point; on an <affine scheme> associated to an <integral domain>, it corresponds to the zero <prime ideal>. Its <local ring> is the <fraction field> of the domain. On every nonempty affine chart of an integral scheme these fields identify with the same function field.