Uniqueness of prime ideals of $\mathbb F_p[x]/(x^2)$ What are the prime ideals of $\mathbb F_p[x]/(x^2)$? I have been told that the only one is $(x)$, but I would like a proof of this. I want to say that a prime ideal of  $\mathbb F_p[x]/(x^2)$ corresponds to a prime ideal $P$ of $\mathbb F_p[x]$ containing $(x^2)$. And then $P$ contains $(x)$ since it is prime. But I don't know if prime ideals correspond to prime ideals under the correspondence theorem, and I still can't seem to prove that if they do, $P$ can't be some non-principal ideal properly larger than $(x)$.
Some context: I'm considering why the prime ideals $\mathfrak p$ of $\mathcal O_K$, (with $K=\mathbb Q(\sqrt d)$ and $\textrm{Norm}(\mathfrak p)=p$, a ramified prime) are unique. My definition of a ramified prime is that $\mathcal O_K/(p) \cong \mathbb F_p[x]/(x^2)$ and I know nothing else about these primes.


and I still can't seem to prove that if they do [correspond], $P$ can't be some non-principal ideal properly larger than $(x)$.

Assuming you convince yourself of the correspondence of prime ideals (which is just fine) here's an elementary way to see that there can only be one prime ideal in this ring.
Now $(x)$ is a maximal ideal of $\Bbb F[x]$ for any field $F$. This is easily seen since $F[x]/(x)\cong F$. The ideal $(x^2)=(x)^2$ therefore is a power of a maximal ideal.
We can say a little by abstracting: 
Proposition: If $R$ is any ring and $M$ is a maximal ideal, $R/M^n$ has exactly one prime ideal, namely $M/M^n$.
Proof: A prime ideal of $R/M^n$ looks like $P/M^n$ where $P$ is a prime ideal of $R$ containing $M^n$. Plainly $M^n\subseteq P$, and by primeness $M\subseteq P$. But $M$ is maximal, so $M=P$. Thus there is only one prime ideal containing $M^n$, and only one prime ideal of $R/M^n$.
