Let kk be a field. The affine line over kk is the

Ak1:=Speck[x],\mathbb A_k^1:=\operatorname{Spec}k[x],

where k[x]k[x] is the in one variable. Its points are all of k[x]k[x], not only elements of kk.

Each aka\in k determines the (xa)(x-a). If kk is , these are exactly the closed points, while (0)(0) is a whose closure is all of Ak1\mathbb A_k^1. Thus the scheme-theoretic affine line contains the familiar coordinate line together with extra information about and specialization.

For example, the basic Zariski open subset D(x)D(x) removes the origin. Its ring of regular functions is k[x,x1]k[x,x^{-1}], so xx becomes invertible there. The higher-dimensional version is .