REVIEW 6 minor 19 references
Elasticity of Orders with Prime Conductor
T0 review · 0 major / 6 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read For an order in a number field whose conductor ideal is prime, elasticity is exactly half the Davenport constant of the class group, with a single exceptional case in which it is one half larger.
desk verdict A solid generalization of Narkiewicz's elasticity theorem to orders with prime conductor; the exceptional (D+1)/2 case is genuinely new and the proof, though compressed, holds up. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Two objects carry the argument. First, the Davenport constant of the order's class group, which measures how long a sequence of ideal classes can run before a subset sums to zero; it controls both upper and lower bounds on factorization length. Second, the conductor ideal $P=(R:\overline{R})$, together with the extension-contraction correspondence of Lemma 2.6, which transfers prime ideals between $R$ and $\overline{R}$ while preserving principality and invertibility. The proof isolates the parameter $a$: the smallest number of prime ideal factors by which an element of $R$ with no nonunit divisors falls short of the Davenport bound. The value of $a$ separates the exceptional case $a=1$, which adds the extra $1/2$, from the generic case $a\ge 2$, where the ordinary bound $D(\mathrm{Cl}(R))/2$ prevails.
What would settle it
Take an explicit prime-conductor order covered by the theorem and compute the lengths of irreducible factorizations of all small elements. For the order $R=\mathbb{Z}[17\sqrt{10}]$ discussed as Example 3.4, the theorem predicts $\rho(R)=2$; exhibiting an element whose two irreducible factorizations have lengths whose ratio exceeds $2$ would disprove the formula for that order. The computation is finite in principle because both the class group and the conductor are explicit.
Extended reading notes
Core claim
On its own terms, the paper proves Theorem 3.2. Let $R$ be an order in a number field $K$ with conductor ideal $P=(R:\overline{R})$, and suppose $P$ is prime as an ideal of $\overline{R}$. If $P$ is principal in $\overline{R}$ and the equivalent conditions of Lemma 3.1 hold, then $\rho(R)=(D(\mathrm{Cl}(R))+1)/2$; otherwise $\rho(R)=D(\mathrm{Cl}(R))/2$. Here $D(G)$ denotes the Davenport constant, the smallest integer such that every sequence of that many elements of $G$ contains a nonempty zero-sum subsequence. The proof works by bounding the number of prime ideal factors of irreducibles and then producing explicit irreducible factorizations that attain the bound; the exceptional $1/2$ arises exactly when an element with no nonunit divisors in $R$ can split into $D(\mathrm{Cl}(R))-1$ prime ideals.
Load-bearing premise
The lower-bound construction requires that every ideal class in $\mathrm{Cl}(R)$ contain infinitely many prime ideals that are relatively prime to the conductor, so that the minimal zero-sum sequence of classes can be realized by distinct irreducible elements of $R$; this is imported as Lemma 2.3 from the literature.
Editorial extensions
If this is right
- For every order with prime conductor, $\rho(R)$ is one of two numbers determined entirely by $\mathrm{Cl}(R)$, so no other arithmetic of the field affects the elasticity beyond deciding the one exceptional case.
- When the conductor ideal is non-principal in the integral closure, the formula reduces to $\rho(R)=D(\mathrm{Cl}(R))/2$, matching the classical ring-of-integers formula and showing that non-principality suppresses the extra half-integer.
- For orders of the form $R=\mathbb{Z}+P$ with $P$ a non-principal prime ideal of the integral closure, the theorem gives $\rho(R)=D(\mathrm{Cl}(R))/2$, covering a family of examples not accessible through half-factoriality alone.
- Because $\rho(R)$ can be computed from explicit factorizations, the theorem can force the structure of $\mathrm{Cl}(R)$: a lower bound on elasticity rules out all candidate groups whose Davenport constant is too small.
Reading between the lines
- The exceptional $1/2$ can be read as the signature of a single lost prime ideal factor: the only way the conductor raises elasticity beyond the integral-closure value is when a divisor-free element falls exactly one factor short of the Davenport bound, suggesting a general principle that conductor effects on elasticity are governed by how many prime ideal factors can be missing.
- Since composite conductors can already produce infinite elasticity, the finite-elasticity dichotomy for prime conductors may be the special case of a broader characterization in which finite elasticity forces the conductor to be prime; testing conductors that are powers of a prime would be a direct next step.
- The examples suggest an algorithmic pathway: combine the unit-group quotient $U(\overline{R})/U(R)$ with the unit groups modulo the conductor, use the exact sequence of Proposition 2.5, and then apply Theorem 3.2 to pin down $\mathrm{Cl}(R)$ up to isomorphism in explicit families of orders.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies factorization in nonmaximal orders R of number fields whose conductor ideal P is prime in the integral closure \bar R. The main result, Theorem 3.2, asserts that the elasticity of such an R is either D(Cl(R))/2 or (D(Cl(R))+1)/2, with the larger value occurring exactly when P is principal in \bar R and a certain auxiliary existence condition from Lemma 3.1 holds. The proof combines a lower bound from minimal zero-sequences of ideal classes (Proposition 2.4), an upper bound on the number of prime ideal factors of irreducible elements (Theorem 2.8), and a case analysis based on whether the conductor ideal is principal. The paper also gives applications to computing the structure of class groups of orders, with several worked examples.
Significance. If correct, Theorem 3.2 is a clean and useful result: for a broad class of orders, elasticity is completely determined by the Davenport constant of the class group plus one exceptional half-integer case. The proof is largely self-contained, and the paper gives credit where due to standard distribution results for ideal classes in orders. The lower bound in Proposition 2.4 is proved directly, and the upper-bound bookkeeping in Theorem 2.8 is intricate but sound. The worked examples, especially Example 4.3, demonstrate how the theorem can be used to determine the full structure of a class group rather than just its order. The main weaknesses are notational: the integral closure is frequently printed as R, which makes some statements hard to parse.
minor comments (6)
- [Throughout, especially Proposition 2.5 and Theorem 3.2] The integral closure is frequently printed as R instead of \bar R, which makes it difficult to distinguish the order from its integral closure; this is particularly confusing in Proposition 2.5, Lemma 3.1, and the proof of Theorem 3.2, and should be fixed throughout.
- [Proposition 2.5] The exact sequence as printed, 1 -> U(R) -> U(R) x U(R/I) -> U(R/I) -> Cl(R) -> Cl(R) -> 1, is garbled: it should be 1 -> U(R) -> U(\bar R) x U(R/I) -> U(\bar R/I) -> Cl(R) -> Cl(\bar R) -> 1, and the class-number formula immediately below should be corrected to match.
- [Theorem 3.2 proof, paragraph defining a] The claim that any beta in \bar R \setminus R with no nonunit divisors in R has beta \bar R factoring into at most d-1 prime ideals is asserted with the phrase "as seen previously," but the preceding text does not spell out the argument; adding the short proof that pi beta is irreducible in R and then applying Theorem 2.8 to pi beta would make the step fully transparent.
- [Abstract and Section 1] The conductor ideal is written as P := (R:R) in the abstract and as P := (R:\bar R) in Section 1; the missing overline in the abstract should be repaired.
- [Proposition 2.4] In the proof of irreducibility, the sentence "A similar argument shows that b and each pi_i must be irreducible" should read "beta and each pi_i," since the element in question was called beta.
- [Example 3.7] The displayed unit "409 - 2743 alpha - 9 alpha 2 + 61" appears to have a missing alpha term or a formatting error; it should be checked against the SageMath output.
Circularity Check
No significant circularity: the main elasticity formula is proved from ideal-class arguments, with only minor self-citations that are not load-bearing.
full rationale
The derivation chain for Theorem 3.2 is self-contained in the relevant sense. Proposition 2.4 proves the lower bound rho(R) >= D(Cl(R))/2 directly from prime ideals in each ideal class, using the standard distribution fact of Lemma 2.3, and Theorem 2.8 proves the upper bound on prime ideal factorizations of irreducibles by ideal calculus in R and its integral closure, not by assuming the target formula. The case distinction in Theorem 3.2 is conditional on Lemma 3.1, whose conditions are structural statements about the existence of an ideal A with principal extension and a zero-sequence in Cl(R); these are not restatements of the elasticity value. The proof of case 1 constructs an element of elasticity (D(Cl(R))+1)/2 from those structural conditions, while case 2 is bounded above by D/2 and matched by the direct lower bound. No fitted parameter is renamed as a prediction, no uniqueness theorem is imported from the authors' prior work to forbid alternatives, and no ansatz is smuggled in through a citation. The only self-citations are the base case |Cl(R)| = 1, which cites a co-author's dissertation [11], and some worked examples citing [8], [4], [10], and [12]. The base case is a prior theorem with stated assumptions that do not include the target result, and it affects only the trivial-class-group corner of the proof; it is not the mechanism by which the general formula is derived. These are minor self-citations, not circularity.
Assumptions & free parameters
assumptions (4)
- domain assumption Every ideal class in Cl(R) contains infinitely many prime R-ideals relatively prime to the conductor ideal (Lemma 2.3, cited from [14]).
- domain assumption R-ideals relatively prime to the conductor are invertible and have unique factorization into prime ideals (Lemmas 2.1 and 2.2, cited from [3]).
- standard math Standard finite abelian group and Dedekind domain facts: Davenport constant definitions, unique prime ideal factorization in the integral closure, and the class group exact sequence in Proposition 2.5.
- domain assumption If the integral closure is a UFD then rho(R) = rho(Rbar) = 1, cited from [11].
Cite this review
Pith. "Pith review of Elasticity of Orders with Prime Conductor." pith.science (2026). https://pith.science/paper/7LCLK7QN
@misc{pith2026250417957,
author = {Pith},
title = {Pith review of: Elasticity of Orders with Prime Conductor},
year = {2026},
howpublished = {\url{https://pith.science/paper/7LCLK7QN}},
note = {Machine review of arXiv:2504.17957}
}
abstract
Let $R$ be an order in a number field whose conductor ideal $P := (R:\overline{R})$ is prime in the ring of integers $\overline{R}$. In this paper, we explore the factorization properties of such orders. Most notably, we give a complete characterization of the elasticity of $R$ in terms of its class group. We conclude with an application to the computation of class groups of certain orders.
Reference graph
Works this paper leans on
-
[1]
L. Carlitz. A characterization of algebraic number fields with class number two. Proceedings of the American Mathematical Society, 11(3):391, 1960
1960
-
[2]
Class group and factorization in orders of a PID
Hyun Seung Choi. Class group and factorization in orders of a PID. Journal of Number Theory, 265:226– 269, 2024
2024
-
[3]
The conductor ideal of an order
Keith Conrad. The conductor ideal of an order. Expository Paper, 2019. https://kconrad.math.uconn. edu/blurbs/gradnumthy/conductor.pdf
2019
-
[4]
Elasticity in orders of an algebraic number field with radical conductor ideal and their rings of formal power series, 2025
James Barker Coykendall and Grant Moles. Elasticity in orders of an algebraic number field with radical conductor ideal and their rings of formal power series, 2025
2025
-
[5]
Midwestern conference on group theory and number theory
H Davenport. Midwestern conference on group theory and number theory. Ohio State University , 1966
work page 1966
-
[6]
Factorization of algebraic integers
Franz Halter-Koch. Factorization of algebraic integers. Ber. Math. Stat. Sektion Forschung , 191, 1983
1983
-
[7]
Elasticity of factorizations in atomic monoids and integral domains
Franz Halter-Koch. Elasticity of factorizations in atomic monoids and integral domains. Journal de th´ eorie des nombres de Bordeaux, 7(2):367–385, 1995
work page 1995
-
[8]
A generalized davenport constant of the second kind, 2025
Jared Kettinger. A generalized davenport constant of the second kind, 2025. https://arxiv.org/abs/ 2506.13532
Show all 19 references
-
[9]
The L-functions and modular forms database
The LMFDB Collaboration. The L-functions and modular forms database. https://www.lmfdb.org,
-
[10]
The HFD property in orders of a number field
Grant Moles. The HFD property in orders of a number field. All Theses , 3851, 2022. https: //tigerprints.clemson.edu/all_theses/3851/
2022
-
[11]
Relating elasticity and other multiplicative properties among orders in number fields and related rings
Grant Moles. Relating elasticity and other multiplicative properties among orders in number fields and related rings. All Dissertations, 3750, 2024. https://open.clemson.edu/all_dissertations/3750/
2024
-
[12]
Associated Quadratic Orders, March 2025
Grant Moles. Associated Quadratic Orders, March 2025. https://github.com/gramoles/ Associated-Quadratic-Orders
2025
-
[13]
A note on elasticity of factorizations.Journal of Number Theory, 51:46–47, 1995
W ladys law Narkiewicz. A note on elasticity of factorizations.Journal of Number Theory, 51:46–47, 1995
1995
-
[14]
Some remarks on half-factorial orders
Martine Picavet-L’Hermitte. Some remarks on half-factorial orders. Rendiconti del Circolo Matematico di Palermo, 52:297–307, 2003
2003
-
[15]
A characterization of half-factorial orders in algebraic number fields
Balint Rago. A characterization of half-factorial orders in algebraic number fields. arXiv preprint arXiv:2304.08099, 2024
2024 arXiv
-
[16]
Robert J. Valenza. Elasticity of factorization in number fields. Journal of Number Theory , 36:212–218, 1990
1990
-
[17]
Half factorial domains
Abraham Zaks. Half factorial domains. Bulletin of the American Mathematical Society , 82(5):721–723, Sep 1976
1976
-
[18]
Half-factorial-domains
Abraham Zaks. Half-factorial-domains. Israel Journal of Mathematics , 37:281–302, 1980
1980
-
[2024]
[Online; accessed 16 April 2024]
2024
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.