Conics in $\mathbb{A}^2$; Hartshorne, Exercise 3.1
I'm trying to solve Exercise 3.1 in Hartshorne's Algebraic Geometry:
Show that any conic in $\mathbb{A}^2$ is isomorphic to $\mathbb{A}^1$ or $\mathbb{A}^1-\{0\}$.
I know from a previous exercise that the coordinate ring of a given affine conic $Q$ is either isomorphic to $A(Z(y-x^2))\cong k[y]$ or $A(Z(xy-1))\cong k[x,1/x]$. In the first case clearly $A(Q)\cong A(\mathbb{A}^1)$.
But how is $A(Q)\cong A(\mathbb{A}^1-\{0\})$ in the other case? Somehow I even am confused with the notation $A(\mathbb{A}^1-\{0\})$, since the only varieties in $\mathbb{A}^1$ are single points and $\mathbb{A}^1$ itself. Therefore $\mathbb{A}^1-\{0\}$ isn't an affine variety, right?
So how can I say, that $Q$ is isomorphic to $\mathbb{A}^1-\{0\}$? What is $A(\mathbb{A}^1-\{0\})$?
Take the projection map from the hyperbola $Z(XY-1)$ to $\mathbb A^1-\{0\}$ sending $(x,\frac{1}{x})$ to $x$. This is your isomorphism since the inverse map is sending $x$ to $(x,\frac{1}{x})$. The coordinate ring you're asking about is $k[X,Y]/(XY-1) \cong k[X,\frac{1}{X}]$. $\mathbb A^1-\{0\}$ is affine because the hyperbola is, but $\mathbb A^n - \{0\}$ is not affine for $n>1$.