What other Fields are there? I took a number theory course this past semester and I found the idea of there being different primes in different fields. The only fields that we did in detail were the set of reals and the set of Gaussian integers.
What other fields are there, and what numbers are prime in those fields?
 A: Fields don't have any proper ideals, so the idea of looking literally at primes in a field isn't very interesting. The usual construction is to start with a number field $k$ (i.e., a finite extension of $\mathbb{Q}$) and consider the algebraic integers $\cal{O}_k$: those elements $\alpha\in k$ for which the minimal monic polynomial of $\alpha$ over $\mathbb{Q}$ has coefficients in $\mathbb{Z}$. (For $k = \mathbb{Q}$ itself, the minimal polynomial of $\alpha$ is just $X - \alpha$, and so $\cal{O}_\mathbb{Q} = \mathbb{Z}$.) This turns out to be a ring with some nice properties that parallel the situation with $\mathbb{Z}$ and $\mathbb{Q}$:

*

*$\operatorname{Frac}{\cal O}_k = k$;

*Every ideal of ${\cal O}_k$ is generated by (at most) two elements;

*Every ideal of ${\cal O}_k$ has a unique factorization into prime ideals of ${\cal O}_k$.

Thus ${\cal O}_k$ is almost a principal ideal domain, and it looks like a unique factorization domain if we consider ideals rather than individual elements.
To that end, we can consider the prime ideals inside ${\cal O}_k$. There's a whole area of number theory devoted to figuring out exactly what these prime ideals look like, but one of the basic questions is to figure out what happens to rational primes $p$ (i.e., ordinary primes in $\mathbb{Z}$) inside ${\cal O}_k$: Does the ideal $(p)$ remain prime, or does it split into a product of prime ideals? (The third point in the list above means that there's no ambiguity about this product in the latter case.) The general situation is well understood, especially in the case where $k/\mathbb{Q}$ is Galois. The particular case of $k = \mathbb{Q}(\sqrt{d})$ for squarefree $d$ is particularly easy to state: For an odd rational prime $p$, the ideal $(p)$ remains prime; has $(p) = \mathfrak{p}\mathfrak{q}$ for distinct prime ideals $\mathfrak{p},\mathfrak{q}\subset {\cal O}_k$; or has $(p) = \mathfrak{p}^2$ for some prime ideal $\mathfrak{p}\subset {\cal O}_k$ depending on whether the Jacobi symbol $(d/p)$ is $-1, 1,$ or $0$, respectively. This result is also one of many that leads to or leads from quadratic reciprocity. There's quite a lot more to say about the subject, and there are many other kinds of fields that come up just within number theory, but this is a start.
A: What you are calling a "field" is officially a ring of algebraic integers.
There is lots known about unique factorization and what the primes are in the rings of integers in the fields $\mathbb{Q}(\sqrt{d})$.
See the wikipedia page https://en.wikipedia.org/wiki/Quadratic_field and this stackexchange question: List of quadratic field with the UFD property
