6
$\begingroup$

Is there a commutative integral domain $R$ in which:

  • every nonzero prime ideal $Q$ is maximal, and
  • for every prime power $q\equiv 3 \bmod 8$, there is a maximal ideal $Q$ of $R$ such that $R/Q$ is a field of size $q$?

I am looking for a ring where "$q\equiv 3 \bmod 8$" describes finite fields, rather than just finite local rings like in the ring $\mathbb{Z}$. The only examples I can think of that satisfy the first condition have a finite number of residue fields of each characteristic. The only examples I can think of that satisfy the second condition have a ton of non-maximal non-proper prime ideals with all sorts of bizarre fields associated to them.

  • 0
    Have you seen http://mathoverflow.net/questions/42430/two-questions-about-finiteness-of-ideal-classes-in-abstract-number-rings ?2010-12-20
  • 1
    In particular, take a look at answer http://mathoverflow.net/questions/42430/two-questions-about-finiteness-of-ideal-classes-in-abstract-number-rings/43031#43031 It's not directly relevant because of the condition that there only be finitely many residue fields for each p, but it seems similar.2010-12-20
  • 0
    Thanks, I had not. The first answer does not directly address the problem since there are infinitely many fields of the same characteristic, but it does take care of (finitely many fields per each) infinitely many characteristics all at once. Maybe it means finding such a domain R is pretty hard.2010-12-20
  • 0
    To be honest, I just assumed R was some silly universal ring covered in every algebraic number theory class and that people would just say "oh you mean the completion of the adele ring" or "oh you want the ring of all algebraic integers" or something. If the ring is too horrible or unknown, then I guess it isn't too useful to me.2010-12-20

0 Answers 0