## Class number measuring the failure of unique factorization

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

The statement that the class number measures the failure of the ring of integers to be a ufd is very common in books. ufd iff class number is 1. This inspires the following question:

Is there a quantitative statement relating the class number of a number field to the failure of unique factorization in the maximal order - other than $h = 1$ iff $R$ is a ufd?

In what sense does a maximal order of class number 3 "fail more" to be a ufd than a maximal order of class number 2?

Is it true that an integer in a field of greater class number will have more distinct representations as the product of irreducible elements than an integer in a field with smaller class number?

-

1
I'd say that the group tells you in what different ways does UFD fail in your ring, rather than that its size measures how bad the failure is. – Mariano Suárez-Alvarez Jan 6 2010 at 17:09
@Mariano: it sounds like you are hinting at the group structure of the class group as a measure of failure. This sounds as interesting as the original question. Can you elaborate on such a relationship? – Dror Speiser Jan 6 2010 at 17:24

## 5 Answers

Theorem (Carlitz, 1960): The ring of integers $\mathbb{Z}_F$ of an algebraic number field $F$ has class number at most $2$ iff for all nonzero nonunits $x \in \mathbb{Z}_F$, any two factorizations of $x$ into irreducibles have the same number of factors.

A proof of this (and a 1990 generalization of Valenza) can be found in $\S 22.3$ of my commutative algebra notes.

This paper has spawned a lot of research by ring theorists on half-factorial domains: these are rings in which every nonzero nonunit factors into irreducibles and such that the number of irreducible factors is independent of the factorization.

To be honest though, I think there are plenty of number theorists who think of the class number as measuring the failure of unique factorization who don't know Carlitz's theorem (or who know it but are not thinking of it when they make that kind of statement).

Here is another try [edit: this is essentially the same as Olivier's response, but said differently; I think it is worthwhile to have both]: when trying to solve certain Diophantine problems (over the integers), one often gets nice results if the class number of a certain number field is prime to a certain quantity. The most famous example of this is Fermat's Last Theorem, which is easy to prove for an odd prime $p$ for which the class number of $\mathbb{Q}(\zeta_p)$ is prime to $p$: a so-called "regular" prime.

For an application to Mordell equations $y^2 + k = x^3$, see

http://math.uga.edu/~pete/4400MordellEquation.pdf

Especially see Section 4, where the class of rings "of class number prime to 3" is defined axiomatically and applied to the Mordell equation. (N.B.: These notes are written for an advanced undergraduate / first year grad student audience.)

The Mordell equation is probably a better example than the Fermat equation because:

(i) the argument in the "regular" case is more elementary than FLT in the regular case (the latter is too involved to be done in a first course), and

(ii) when the "regularity" hypothesis is dropped, it is not just harder to prove that there are no nontrivial solutions, it is actually very often false!

-

### 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.

Here is a partial answer.

In a UFD, the following statement is true : "either an element is prime or you can write it as a nontrivial product". In a Dedekind ring with finite class number h, it is not true, but you have the following "quantitative" statement : "either an element is prime or you can write its h-th power as a nontrivial product".

-

do you mean "unique up to order and units" nontrivial product? – Dror Speiser Jan 6 2010 at 17:18
Of course you do. And you are right! Unique factorization of ideals + h-th power is principal. Spot on. – Dror Speiser Jan 6 2010 at 17:20
By nontrivial, I meant without using units, of course ! – Olivier Benoist Jan 6 2010 at 17:21

For Dedekind domains, like the integers of a number field, PID iff UFD. There's definitely a quantitative statement relating the class number to failure of PIDness: the higher the class number, the smaller the density of principal prime ideals amongst the prime ideals; this is just Cebotarev plus standard facts about the Hilbert class field.

-

Class number $h(K)$ is exactly the quantitative measure of the failure of unique factorization: by its definition it measures "how many more ideas are there compared to numbers".

To clarify: decomposition is always unique for ideals, so if the only ideals you have are numbers (that is, $h = 1$), then you don't have any problem decomposing numbers (so, you have PID). Furthermore, the more "leftover" ideals you have (ideal class group), the more possibilities of writing different decompositions of numbers exist.

This vague statement can be turned into some precise ones. If you have different factorizations of number $x$, this means the prime ideals in the decomposition $x = \mathfrak p_1\mathfrak p_2\dots\mathfrak p_n$ are grouped in a different way.You can establish from here the bound on the number of possible different factorizations; may be (not sure here) it can be shown to be no more than $C(h)$.

Another theorem that follows (mentioned by Olivier): $x^h$ must always have a decomposition into true numbers rather then ideals. Indeed, $x^n = \mathfrak p_1^h\mathfrak p_2^h\dots\mathfrak p_n^h$ and you need to use the fact that any element $p$ in abelian group of size $h$ has the property $p^h = 1$.

-

there is a theorem: we know that for every number field $K$ (with class number not necessarily 1) there exists a unique factorization domain $\mathcal R_K$, $\mathcal O_K\subset \mathcal R_K\subset K$ such that it's group of invertible elements is finitely generated.

what is the reference for this result?

-
This follows immediately from proposition 11.6 in Algebraic Number Theory, Neukirch, English first edition, by taking any $X$ such that the map $\bigoplus_{\mathfrak{p}\not\in X}K^*/O_\mathfrak{p}^*\rightarrow Cl(O_K)$ is surjective, which is possible since $Cl(O_K)$ is finite. – Dror Speiser Jul 21 at 13:04

3
You can take for $R_K$ any ring of $S$-integers ${\mathcal O}_{K,S}$ where $S$ is a finite set of primes from ${\mathcal O}_K$ (plus the archimedean places) whose ideal classes generate the class group of $K$. – KConrad Jul 22 at 3:48
thank you...... – quaestion Jul 23 at 19:17
{"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": 34, "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.9271197319030762, "perplexity_flag": "head"}