## Two questions about finiteness of ideal classes in abstract number rings

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let us say that an abstract number ring is an integral domain $R$ which is not a field, and which has the "finite norms" property: for any nonzero ideal $I$ of $R$, the quotient $R/I$ is finite.

(I have taken to calling such rings abstract number rings and have some vague ambitions of extending the usual algebraic number theory to this class of rings. Note that they include the two basic rings $\mathbb{Z}$ and $\mathbb{F}_p[t]$ and are closed under: localization, passage to an overring -- i.e., a ring intermediate between $R$ and its field of ractions -- completion, and taking integral closure in a finite degree extension of the fraction field. In order to answer my questions affirmatively one would have to know something about abstract number rings which are not obtained from the two basic rings via any of the above processes -- if any!)

Note that such a ring is necessarily Noetherian of dimension one, so it is a Dedekind domain iff it is normal, and in any case its integral closure is a Dedekind abstract number ring.

Question 1: Does there exist an integrally closed abstract number ring with infinite Picard (= ideal class, here) group?

$\ \$

Question 2: Let $R$ be a not-necessarily integrally closed abstract number ring with integral closure $\tilde{R}$. Suppose that the ideal class group of $\tilde{R}$ is finite. Consider the ideal class monoid $\operatorname{ICM}(R)$ of $R$, i.e., the quotient of the monoid of nonzero ideals of $R$ by the submonoid of principal ideals. (Note that the group of units of $\operatorname{ICM}(R)$ is precisely the Picard group, but if $R$ is not integrally closed it will necessarily have non-invertible ideals so that $\operatorname{Pic}(R)$ will not be all of $\operatorname{ICM}(R)$.) Can it be that $\operatorname{ICM}(R)$ is infinite?

-

Pete, is there evidence that there exists an integrally closed example with infinitely many maximal ideals that is not obtained by localization of a ring of $S$-integers of a global field? (In other words, is there reason to believe that this is not "a theory of the empty set", so to speak?) Doesn't seem you can plug into either Artin-Whaples or Iwasawa (due to lack of "enough" valuations), but have you checked if any of the methods in Iwasawa's paper would be useful? – BCnrd Oct 16 2010 at 23:05
@B: Yes, as I have said above, a key issue is whether there are any such "exotic" guys other than the ones I listed above.  No, I don't have any evidence either way.  I don't see how it would follow from results of Artin and Whaples (but I haven't read their paper directly, only secondary sources such as Artin's book on valuation theory).  As for Iwasawa, I don't know which paper you have in mind here: please clarify?   – Pete L. Clark Oct 16 2010 at 23:10
P.S.: Not that it makes any difference of course, but I would be perfectly happy if this were a "theory of the empty set": it would then be clear that the class of rings I'm isolating is closely related to classical number theory! – Pete L. Clark Oct 16 2010 at 23:11
Dear Pete:  Iwasawa gave an abstract characterization of the pairs $(k, \mathbf{A}_k)$ for a global field $k$ and its adele ring among all pairs $(K,A)$ consisting of an infinite field $K$ embedded discretely and cocompactly in a locally compact Hausdorff topological ring $A$.  I never read his paper, but you can surely find it quickly via Google. In the spirit of the TV game show "Jeopardy!", Iwasawa's result seems like it may be the right answer to whatever question inspired you to think about "abstract number rings". :) – BCnrd Oct 17 2010 at 1:01
Iwasawa's paper appeared in Ann. of Math. in 1953.  The title is something like "On Rings of Valuation Vectors". – KConrad Oct 17 2010 at 20:03
show 3 more comments

## 4 Answers

Here is an answer to your "question 0" - an example of an "exotic" number ring. (This should be a comment but it is too long.)

Construct a sequence of number rings $\mathbb{Z}=R_0\subset R_1\subset \dots$ with the following properties:

• there is to be exactly one prime $P_{n,i}$ of $R_n$ lying over the $i$-th rational prime $p_i$, for $1\le i \le n$

• `$e(P_{n+1,i}/P_{n,i}) = f(P_{n+1}/P_{n,i})=1$`

For example, take a quadratic extension of Frac($R_n$) in which all $P_{n,i}$ split; take the integral closure of $R_n$ in it; then invert, for each $1\le i\le n$, one of the two primes over $P_{n,i}$, and all but one of the primes over $p_{n+1}$.

Then the inductive limit $R$ of $(R_n)$ is an abstract number ring (obviously integrally closed) - since for any $x\in R$ we have $x\in R_m$ for some $m$, and the sequence of quotients $R_n/(x)$ is ultimately stationary.

I can't see at once what Pic($R$) is going to be, but because of the all the localisation maybe it ends up being trivial. (Perhaps a Minkowski bound-type argument will show that.)

-

3
In this sort of example the class group will be a torsion group, being the direct limit of the finite groups $Pic(R_n)$. Which raises the question, could you ever get an ideal class of infinite order in an "abstract number ring"? – Tom Goodwillie Oct 17 2010 at 13:30

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

To answer Question 1: Yes, there do exist integrally closed abstract number rings with infinite class group.

By factorization of ideals, for $R$ to be an abstract number ring it is enough that it is a Dedekind domain with finite residue field $R/\mathfrak{p}$ at each prime $\mathfrak{p}$. Theorem B of the paper mentioned by Hagen Knaf in his answer actually gives what you ask for (R. C. HEITMANN, PID’S WITH SPECIFIED RESIDUE FIELDS, Duke Math. J. Volume 41, Number 3 (1974), 565-582).

Theorem B: Let G be a countable abelian torsion group. Then there is a countable Dedekind domain of characteristic 0 whose class group is G, and whose residue fields are those of the integers (i.e. one copy of $\mathbb{Z}/p\mathbb{Z}$ for each prime $p$).

As such rings have finite residue fields, this gives an integrally closed abstract number ring with class group any countable torsion group you like. We can do much better than this though. After thinking about your question for a bit, I see how we can construct the following, so that all countable abelian groups occur as the class group of such rings.

Let G be a countable abelian group. Then, there is a Dedekind domain $R$ with finite residue fields such that $\mathbb{Z}[X]\subseteq R\subseteq\mathbb{Q}(X)$ and ${\rm Cl}(R)\cong G$.

I see some surprise mentioned in the comments below that it is enough to look at over-rings of $\mathbb{Z}[X]$ to find Dedekind domains with any countable class group. In fact, over-rings of $\mathbb{Z}[X]$ are very general in terms of prime ideal factorization, and can show the following. I'll use ${\rm Id}(R)$ for the group of fractional ideals of $R$ and $R_{\mathfrak{p}}$ for the localization at a prime $\mathfrak{p}$, with $\bar R_{\mathfrak{p}}$ representing its completion (which is a compact discrete valuation ring (DVR) in this case).

Let $R$ be a characteristic zero Dedekind domain with finite residue fields. Then, there is a Dedekind domain $R^\prime$ with $\mathbb{Z}[X]\subseteq R^\prime\subseteq\mathbb{Q}(X)$ and a bijection $\pi\colon {\rm Id}(R)\to{\rm Id}(R^\prime)$ satisfying

1. $\pi(\mathfrak{ab})=\pi(\mathfrak{a})\pi(\mathfrak{b})$.
2. $\pi(\mathfrak{a})$ is prime if and only if $\mathfrak{a}$ is.
3. $\pi(\mathfrak{a})$ is principal if and only if $\mathfrak{a}$ is.
4. If $\mathfrak{p}\subseteq R$ is a nonzero prime then $\bar R_{\mathfrak{p}}\cong\bar R^\prime_{\pi(\mathfrak{p})}$.

In particular, the class groups are isomorphic, ${\rm Cl}(R)\cong{\rm Cl}(R^\prime)$.

The idea is that we can construct Dedekind domains in a field $k$ by first choosing a set $\{v_i\colon i\in I\}$ of discrete valuations on $k$ and, letting $k_v=\{x\in k\colon v(x)\ge0\}$ denote the valuation rings, we can take $R=\bigcap_ik_{v_i}$. Under some reasonably mild conditions, this will be a Dedekind domain with the valuations $v_i$ corresponding precisely to the $\mathfrak{p}$-adic valuations, for prime ideals $\mathfrak{p}$ of $R$. In this way, we can be quite flexible about constructing Dedekind domains with specified prime ideals (and, with a bit of work, specified principal ideals and class group). Constructing discrete valuations $v$ on $k=\mathbb{Q}(X)$ is particularly easy. Given a compact DVR $R$ of characteristic 0 and field of fractions $E$, every extension $\theta\colon k\to E$ gives us a valuation $v(f)=u(f(X))$ where $u$ is the valuation in $E$. To construct such an embedding only requires choosing $x\in E$ which is not algebraic over $\mathbb{Q}$ and, if we want the localization $k_v$ to have completion isomorphic to $R$, then we just need $\mathbb{Q}(x)$ to be dense in $E$. There's plenty of freedom to choose $x\in R$ like this. In fact, there's uncountably many $x$, as they form a co-meagre subset of $R$. So, we have many many valuations on $\mathbb{Q}(X)$ corresponding to any given compact DVR. In this way, we have a lot of flexibility in constructing Dedekind domains in over-rings of $\mathbb{Z}[X]$.

I've written out proofs of these statements. As it is much too long to fit here, I'll link to my write-up: Constructing Dedekind domains with prescribed prime factorizations and class groups. Hopefully there's no major errors. I'll also mention that this is an updated and hopefully rather clearer write-up than my initial link (which were very rough notes skipping over many steps).

I think also that my linked proof can be modified to show that you can simultaneously choose any prescribed unit group of the form $\{\pm1\}\times U$ where $U$ is a countable free abelian group.

-

George, this is very interesting.  I will take a careful look at this when I get the chance, and I would certainly be interested to see the full details. – Pete L. Clark Dec 30 2010 at 23:47
@Pete: Also, the following paper constructs Dedekind domains with any finitely generated class group and lying between $\mathbb{Z}[X]$ and $\mathbb{Q}(X)$. I'd like to have a look at that and compare, but don't have access. I wonder what stopped them from also getting non-finitely generated abelian groups? jstor.org/pss/2038634 – George Lowther Dec 31 2010 at 0:01
Actually, this link is free access. It's not really the same. ams.org/journals/proc/1973-040-01/… – George Lowther Dec 31 2010 at 0:14
@Pete: I added more details to the sketch proof. It was getting a bit long to fit here, so I added a link to the pdf instead. – George Lowther Jan 2 2011 at 22:41
Hmm, for some reason I find it surprising that every countable abelian group can be obtained as the class group of an overring of $\mathbb{Z}[X]$: I think this would be the simplest construction of such Dedekind domains.  I definitely plan to take a look at the details in the near future. – Pete L. Clark Jan 3 2011 at 0:05
show 1 more comment

In the article R. C. HEITMANN, PID’S WITH SPECIFIED RESIDUE FIELDS, Duke Math. J. Volume 41, Number 3 (1974), 565-582 the author shows (Thm A):

For every countable set $F$ of countable fields with the property that for every prime $p$ the set $F$ contains only finitely many fields of characteristic $p$, there exists a countable principal ideal domain $R$ of characteristic $0$ such that the set $F$ consists precisely of all residue fields (with respect to maximal ideals) of $R$.

The construction he uses to prove the theorem seems to give domains $R$ such that the extension $K/\mathbb{Q}$ of the field of fractions $K$ of $R$ over the rationals is finitely generated but not necessarily algebraic. (Unfortunately I do not have access to the complete article :c

H

-
Thanks, that's interesting. I'll check it out when I get the chance. – Pete L. Clark Oct 21 2010 at 14:26

1
I think Theorem B of this paper is most relevant to the original question (and I referenced this in my answer). – George Lowther Dec 30 2010 at 23:17

Here is an answer to Question 1, which was communicated to me by my colleague Dino Lorenzini.

In a 1964 paper, Oscar Goldman considers the class of Dedekind abstract number rings $R$ (note that he states the condition as all quotients by nonzero prime ideals to be finite; this easily implies that the quotient by any nonzero ideal is finite) which moreover have finitely generated unit group $R^{\times}$. He proves many interesting results in this short paper: the last one is the existence of a domain $R$ satisfying the above properties and for which $\operatorname{Pic}(R)$ is not even a torsion group.

The method of proof is interesting: first he establishes the following structural criterion for a Dedekind domain to have torsion Picard group: it is equivalent that every overring $S$ -- i.e., ring intermediate between $R$ and its fraction field -- be a localization. (This result is included in my notes on commutative algebra, but I had been following Larsen and McCarty, which gives a much more elaborate proof.) Then he constructs a proper overring which doesn't have any more units, so can't be a localization.

All in all, his paper is highly recommended.

-

Interesting. I'm thinking that $Pic(R)$ can be any countable group (and, maybe even that the unit group is just $\{\pm1\}$) and added a brief sketch in my answer. I wonder if this paper is related to my idea at all? – George Lowther Dec 30 2010 at 23:20
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 125, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9493292570114136, "perplexity_flag": "head"}