I.1.5

The point is a finitely generated k-algebra with no nilpotents looks like $$k[x_1,...,x_n]/I$$ where I is a radical ideal. This is exactly what the coordinate ring of an affine variety looks like.