Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\mathcal{O}=\mathbb{Z}[\omega]$ be the ring of algebraic integers in $\mathbb{Q}(\omega)$. It can be shown that $\mathcal{O}$ has a maximal ideal $\mathfrak{m}$ generated by $1-\omega$ (see my previous questions).

Let $\mathcal{O}_{\mathfrak{m}}$ denote $\mathcal{O}$ localised at $\mathfrak{m}$.

Why does the residue field $\mathcal{O}_m/(1-\omega)\mathcal{O}_{\mathfrak{m}}$ have characteristic 3?

share|cite|improve this question
Is it simply because $3=(1-\omega)(2+\omega)\in (1-\omega)\mathcal{O}_{\mathfrak{m}}$? – Clinton Boys Nov 22 '11 at 6:07
That's the reason, more or less; see my answer below. – Zev Chonoles Nov 22 '11 at 6:30
I added a link to a previous question of yours that seemed to be the most relevant one. If I got it wrong, please correct. I just think that having the link here makes it easier for new readers of your question to understand the context. Also, $\omega$ is, indeed, often used to denote the third primitive root of unity with a positive imaginary component, but this is not universal, so you may consider making this clear. Having the link may be sufficient? – Jyrki Lahtonen Nov 22 '11 at 6:49
You seem to have grasped the main point. A factorization like the one you gave shows that $3=0$ in the quotient ring. The order of $1$ in the additive group of the quotient ring must thus be a divisor of $3$ - and there aren't too many alternatives. – Jyrki Lahtonen Nov 22 '11 at 6:56
up vote 5 down vote accepted

Prove that the composition $$\mathbb{Z}\hookrightarrow\mathcal{O}\hookrightarrow\mathcal{O}_{\frak{m}}\twoheadrightarrow\mathcal{O}_{\frak{m}}/(1-\omega)\mathcal{O}_{\frak{m}}$$ has a kernel of $3\mathbb{Z}$, and so there is an injective ring homomorphism $\mathbb{Z}/3\mathbb{Z}\to \mathcal{O}_{\frak{m}}/(1-\omega)\mathcal{O}_{\frak{m}}$. Thus, the field $\mathcal{O}_{\frak{m}}/(1-\omega)\mathcal{O}_{\frak{m}}$ is an extension of $\mathbb{F}_3$, and therefore must be of characteristic 3.

share|cite|improve this answer
Fluent use of homomorphisms, this I always admire. – awllower Nov 22 '11 at 8:19
Thanks for the kind words, awllower :) – Zev Chonoles Nov 23 '11 at 10:51
@ZevChonoles: Wouldn't \twoheadrightarrow be better? – Arturo Magidin Jul 8 '12 at 18:36
@ArturoMagidin: Huh, I wasn't aware of that symbol - thanks! – Zev Chonoles Jul 8 '12 at 18:37
@ZevChonoles: Detexify is a good way to find out if there is a simple command for a particular symbol like that. – Arturo Magidin Jul 8 '12 at 18:39

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.