Affine line (source code)

= Affine line
{title2=$\mathbb A_k^1$}
{wiki=Affine_space}

The affine line over a field $k$ is $\mathbb A_k^1=\operatorname{Spec}k[t]$.