I'm doing an elementary commutative algebra / number theory exercise, the goal is to show that $A=\mathbb{Z}[\alpha]$ ($\alpha = \frac{1+i\sqrt{19}}{2}$) is a principal ideal domain which is non euclidean.
I've done most of it but I did skip one question that I couldn't quite figure out. I am asked to show that $A/2A$ and $A/3A$ are fields. My first instinct was showing $2A$ and $3A$ were maximal ideals.
First I was able to show that $2$ and $3$ are irreducible in $A$, this tells me that $2A$ and $3A$ are maximal in the set $Princ(A)\setminus\left\lbrace A\right\rbrace$ (the set of principal ideals minus the ideal A ). But at this point, I'm not supposed to know $A$ is a PID so I can't conclude from that because I still don't know that these ideals are maximal among all ideals of A. Any clues on how to go from there ?
Let $\alpha = \frac{1}{2} + \frac{i\sqrt{19}}{2}$ and $\bar{\alpha} = \frac{1}{2} - \frac{i\sqrt{19}}{2}$. Note that $\bar{\alpha} \alpha = 5$ and $\alpha + \bar{\alpha} = 1$. Therefore $\alpha$ is a root of the monic polynomial $(x - \alpha) (x - \bar{\alpha}) = x^2 - x +5$.
The kernel of the 'evaluation' ring map $\mathbb{Z}[x] \rightarrow \mathbb{Z}[\alpha]$ contains the polynomial $x^2 - x + 5$, so it factors through the ring $B = \mathbb{Z}[x]/(x^2 - x + 5)$.
Thus we get a surjection $B = \mathbb{Z}[x]/(x^2 - x + 5) \twoheadrightarrow A = \mathbb{Z}[\alpha]$. This induces surjections $B/2B \twoheadrightarrow A/2A$ and $B/3B \twoheadrightarrow A/3A$.
Even though you don't know much about $A$ yet, the quotients $B/2B$ and $B/3B$ should be easy to understand. Can you take it from here?