(Locally) Associated Subrings in Polynomial and Power Series Extensions

Grant Moles; Joseph Swanson

REVIEW 1 major objections 4 minor 24 references

(Locally) Associated Subrings in Polynomial and Power Series Extensions

T0 review · 1 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that local associatedness of a power-series subring is decided entirely by its constant terms.

desk verdict Solid completion of partial results on (locally) associated subrings in polynomial/power series extensions; central characterizations hold. read the letter →

arxiv 2608.07741 v1 pith:DAFNKGL6 submitted 2026-08-07 math.AC

Grant Moles , Joseph Swanson This is my paper · ORCID

classification math.AC MSC 13A1513F2513B2211R27

keywords associatedsubringslocallypolynomialextensionspowerseriesringsconductoridealchangingcoefficienthalf-factorialdomainsordersinnumberfields

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper asks when a generalized polynomial or power series ring—one whose coefficient ring is allowed to grow with each power of $x$—sits inside a larger such ring as an associated or locally associated subring. Its main theorem is that for power series, local associatedness is a degree-zero property: $R_{\mathbb{N}_0}[[x]]$ is locally associated in $T_{\mathbb{N}_0}[[x]]$ exactly when every constant term $t_0 \in T_0$ comaximal to the conductor component $J_0$ can be multiplied by a unit of $T_0$ into an element of $R_0$ comaximal to $J_0$. The polynomial case receives separate necessary-and-sufficient characterizations, and the results are applied to orders in number fields to sharpen the conditions under which the power series over an order is half-factorial. A reader should care because these subring relations translate multiplicative information from a larger ring down to a subring, and the paper shows the infinite-series version collapses to a single check at degree zero.

What carries the argument

At the center of the argument are the generalized rings $R_{\mathbb{N}_0}[x]$ and $R_{\mathbb{N}_0}[[x]]$, where the coefficient of $x^i$ is forced to lie in a ring $R_i$ and the $R_i$ form an increasing sequence. The key objects are the conductor ideals $J_i = \bigcap_{k\ge 0}(R_{i+k} : T_k)$, which describe exactly which coefficient sequences conduct the larger rings into the smaller ones; the conductor of the power-series extension is $J_{\mathbb{N}_0}[[x]]$. The load-bearing unit fact (Proposition 3.4(4)) is that a power series is a unit modulo this conductor exactly when its constant term is a unit modulo $J_0$. Theorem 5.13 uses that fact to choose higher coefficients one at a time, so the infinite series is controlled by a single degree-zero choice.

What would settle it

Compute the conductor ideals in Example 5.17, where $J_0=\{0\}$; the theorem predicts $R_{\mathbb{N}_0}[[x]]$ is locally associated in $T_{\mathbb{N}_0}[[x]]$ despite every $R_i$ failing to be locally associated in $T_i$. Carrying out the coefficient-by-coefficient construction and finding any obstruction would settle the claim, as would any pair of sequences satisfying the constant-term condition while admitting a series that no unit of $T_{\mathbb{N}_0}[[x]]$ moves into $R_{\mathbb{N}_0}[[x]]$.

Watch

Extended reading notes

Core claim

Working with sequences of commutative rings $R_i \subseteq T_i$ and the associated rings $R_{\mathbb{N}_0}[[x]]$ and $T_{\mathbb{N}_0}[[x]]$ whose coefficients at $x^i$ lie in $R_i$ and $T_i$, the paper proves (Theorem 5.13) that $R_{\mathbb{N}_0}[[x]]$ is a locally associated subring of $T_{\mathbb{N}_0}[[x]]$ if and only if, for every $t_0 \in T_0$ comaximal to $J_0 = \bigcap_{k\ge 0}(R_k : T_k)$, there is a unit $u \in U(T_0)$ with $t_0 u \in R_0$ comaximal to $J_0$. In plain terms, the whole infinite-series condition is equivalent to a condition only on constant coefficients. For ordinary power series this yields Corollary 5.14: $R[[x]]$ is locally associated in $T[[x]]$ exactly when $R$ is locally associated in $T$. For polynomial extensions, Theorems 4.1 and 4.6 give analogous characterizations in terms of localization by units and radical conditions on the conductor; Theorem 5.12 then applies the power-series analysis to orders in number fields, giving nearly sharp conditions for $R[[x]]$ to be half-factorial.

Load-bearing premise

The result rests on being able to tell, from the constant term alone, whether a power series is a unit modulo the conductor ideal; if higher coefficients could hide an obstruction, the degree-zero condition would no longer control the infinite series.

Editorial extensions

If this is right

For ordinary power series, local associatedness passes unchanged from base rings: $R[[x]]$ is locally associated in $T[[x]]$ exactly when $R$ is locally associated in $T$ (Corollary 5.14).
Local associatedness at degree zero always lifts to power series: if $R_0$ is locally associated in $T_0$, then $R_{\mathbb{N}_0}[[x]]$ is locally associated in $T_{\mathbb{N}_0}[[x]]$ (Corollary 5.15).
In the polynomial case, associatedness forces the higher coefficient rings to be localizations of the lower ones, while local associatedness forces the relevant nilpotents to lie in the lower rings; this diagnoses examples such as $\mathbb{Z}+x\mathbb{Z}+x^2\mathbb{Q}[x]$.
For an order $R$ in a number field, if $\overline{R}$ is an HFD, $R$ is an associated order, and the conductor is radical, then $R[[x]]$ is an HFD; conversely, an HFD power series ring forces $R$ to be associated and the conductor to be radical up to allowed squares of nonprincipal primes (Theorem 5.12).
The characterization permits explicit examples in which $R_{\mathbb{N}_0}[[x]]$ is locally associated in $T_{\mathbb{N}_0}[[x]]$ even though no individual $R_i$ is locally associated in $T_i$ (Example 5.17).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A practical consequence the authors do not spell out is that Theorem 5.13 turns local associatedness of a power-series extension into a finite computation: only $J_0$, $R_0$, and $T_0$ have to be examined.
The same degree-zero mechanism suggests a testable extension to multivariate power series, applying the condition one variable at a time; this is not studied in the paper.
Theorem 5.12 leaves one border case open—conductor exactly divisible by $P^2$ for a nonprincipal prime $P$—so that class is the natural next place to search for either a half-factorial example or a proof that none exists.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague—quick take on Moles–Swanson. The paper is solid, useful, and does what it claims. It completes the partial story from [20]: Theorem 4.1 and 4.6 give iff characterizations for associated and locally associated polynomial extensions with coefficient rings varying by degree, and Theorem 5.13 gives an iff for power series extensions, reducing the whole question to a condition on constant terms. Theorem 2.9 is a genuinely useful generalization of the Neukirch/class-group exact sequence from orders to arbitrary domains, and the proof is self-contained. I checked the key step in Theorem 5.13's converse—it works. The recursion for the unit coefficients is sound, and the inclusion J0·T_k⊆J_k needed there is proved in Prop 3.4(4). The stress-test note is right: no gap in the central equivalence. There's a minor index typo in the J_i display in Theorem 5.13; Prop 3.2 makes the intended definition clear.

What's new: the characterizations in Theorems 4.1, 4.6, 5.13 go beyond the partial results in [20, Thms 4.1–4.3], and Cor 5.7/Thm 5.12 sharpen the half-factorial picture for R[[x]] over orders. The examples are informative—5.16/5.17 show the subtlety of local-associatedness in these coefficient-varying rings.

Soft spots, in proportion. Theorem 5.12's first half is a citation to [9] rather than a derivation; the necessary half is long, case-heavy, and relies on unformalized standard facts. It doesn't affect the main characterizations, but it makes the HFD section less self-contained. The paper leans on several same-author preprints ([18], [19], [20]) for definitions and prior results; that's not a flaw when the cited results are real, but it's a barrier. The Remark after Theorem 5.12 honestly states the one open case (P^2 for non-principal P), which I appreciate.

Bottom line: this is careful, honest work in an established program. No load-bearing flaw. It deserves a serious referee. I'd bring it to reading group if anyone cares about factorization theory over orders or these A+XB[X]-type rings.

Referee Report

1 major / 4 minor

Summary. The paper studies the associated, ideal-preserving, and locally associated subring relations for a class of polynomial and power series rings in which the coefficient ring is allowed to expand with the power of the variable. It establishes notation and preliminary conductor/unit computations (Propositions 3.2 and 3.4), proves a generalized exact sequence relating units and class groups (Theorem 2.9), and gives characterizations of when such polynomial and power series extensions are associated or locally associated (Theorems 4.1, 4.6, 5.4, 5.6, and 5.13). The final part of the paper applies these results to orders in number fields and to half-factoriality of power series rings.

Significance. If the characterizations are correct, they provide a useful and nontrivial reduction: in the power series case, local associatedness of the whole extension is equivalent to a purely degree-zero condition (Theorem 5.13), which is a surprising and genuinely useful result. The paper is largely self-contained, re-derives the exact sequence framework rather than treating it as a black box, and does not fit parameters to examples. It also gives explicit constructions showing the sharpness of the hypotheses (Examples 4.9, 4.10, 5.16, 5.17) and connects the new conditions to the half-factoriality question for power series over orders, with a clear statement of the remaining open case after Theorem 5.12. The main gap I found is in the proof of Theorem 4.1, which is a central result; the power-series theorems, including the headline Theorem 5.13, appear sound modulo the local typos noted below.

major comments (1)

[Section 4, Theorem 4.1, converse] The displayed claim that '(u_0 s_1 \cdots s_n) f \in R_{\mathbb{N}_0}[x]' is not justified by the hypotheses. For a coefficient of degree k \ge 1, after writing t_k = r_k/s_k with r_k \in R_k and s_k \in S, the relevant term is u_0 (\prod_{j \ne k} s_j) r_k; the hypotheses give u_0 \in U(T_0) and T_i = S^{-1}R_i, but they do not imply u_0 R_k \subseteq R_k. Concretely, let R_0 = \mathbb{Z}[1/2], T_0 = \mathbb{Q}, R_i = \mathbb{Z}[1/2], T_i = \mathbb{Q} for i \ge 1, so S = \mathbb{Z}[1/2] \setminus \{0\} and all hypotheses hold. With f = 3/5 + (1/3)x, the choice u_0 = 5/3 (which satisfies t_0 u_0 = 1 \in R_0) and s_1 = 3 gives (u_0 s_1) f = 3 + (5/3)x, whose x-coefficient 5/3 is not in R_1. The theorem may still be true, and the proof can be repaired by first replacing u_0 with u_0 w for a common w \in S chosen so that w u_0 \in R_i for all relevant i, which is possible because each T_i = S^{-1}R_i; however, as written the argument is incomplete.

minor comments (4)

[Theorem 5.13] The displayed definition of J_i in Theorem 5.13 has the indices reversed: it should be J_i = \bigcap_{k=0}^{\infty} (R_{i+k} : T_k), not \bigcap_{i=0}^{\infty} (R_{i+k} : T_i). The intended meaning is fixed by Proposition 3.2.
[Theorem 5.13, converse proof] In the induction step of the converse, the displayed coefficients mix the indices: the expression should read t_n u_0 + t_{n-1} b_1 + \cdots + t_1 b_{n-1} + t_0 b_n, and if the unit being constructed has degree less than n, the missing higher coefficients should be taken as zero. This is a local notational issue and does not affect the argument.
[Theorem 4.6, proof of necessity] In the necessity direction, the sentence 'the polynomial 1 + t_k x^k is a unit modulo J_0' should say 'unit modulo J_{\mathbb{N}_0}[x]'. The subsequent argument is correct once this is read as the conductor ideal of the polynomial extension.
[Corollary 2.11] The displayed class-number formula is ambiguous: it should be |\mathrm{Cl}(R)| = |\mathrm{Cl}(T)| \cdot |U(T/I)| / (|U(R/I)| \cdot |U(T)/U(R)|). The current line breaks can be misread as placing |U(T)/U(R)| in the numerator.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main characterizations are proved internally and do not reduce to their inputs.

full rationale

The paper's central equivalence, Theorem 5.13, is self-contained rather than circular. Its power-series reduction to a degree-zero condition rests on two internally proved ingredients: the conductor formula in Proposition 3.2, which gives J_N0[[x]] = (R_N0[[x]] : T_N0[[x]]), and the constant-term characterization of units modulo J_N0[[x]] in Proposition 3.4(4). Neither is assumed as part of the theorem being proved. In the converse of Theorem 5.13, the recursive construction of b_n uses the fact that (1 - t0 s0) lies in J0 and that J0 is contained in (R_n : T_n), both of which come directly from the definition of J0 and the comaximality of t0 modulo J0; the remaining coefficients are handled by the same induction. The necessary direction is likewise just the constant-term consequence of the power-series quotient unit characterization. The exact-sequence material in Section 2 is proved in full in the paper, with Neukirch cited only as background rather than as a load-bearing black box. The self-citations to [9], [18], [19], and [20] supply definitions, prior partial results, and some peripheral facts, such as the sufficiency half of Theorem 5.12 citing [9], but the paper's listed major results in Theorems 4.1, 4.6, 5.4, 5.6, and 5.13 do not reduce to unproved claims from those papers, and no fitted parameter is renamed as a prediction. The only notable defect, a typographical index in the displayed definition of J_i in Theorem 5.13, is fixed by Proposition 3.2 and does not create circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No fitted parameters appear; the paper is pure mathematics. The axioms are standard algebraic number theory or explicit structural hypotheses of Definition 3.1; none assert the paper's target result. The only supporting citations are to prior published or preprint results in the same program, and the new characterizations are derived within the text.

assumptions (4)

standard math Exactness of the unit/class-group sequence from Neukirch [22, Prop 12.9], plus finiteness of class groups and ideal norms for orders (Corollary 2.11).
Theorem 2.9 generalizes this sequence to arbitrary domains; the order case requires the finite class group and norm facts from algebraic number theory.
domain assumption Half-factoriality criteria for orders and power series from [9, Theorems 3.8, 5.9] and [23, Theorem 1.1].
Used in Theorem 5.12 to derive the HFD characterization; the first half of Theorem 5.12 is extracted directly from [9].
domain assumption Chebotarev density: every ideal class of a number field contains infinitely many prime ideals, used to choose Q in Theorem 5.12.
The proof of the non-principal odd case in Theorem 5.12 silently assumes such a Q exists; this is standard algebraic number theory.
ad hoc to paper Nested coefficient ring hypotheses R_i subseteq R_{i+1}, T_i subseteq T_{i+1}, R_i subseteq T_i and conductor description from Definition 3.1 and Prop 3.2.
These hypotheses define the class of rings studied; they are not derived, but they are explicit in Definition 3.1 and used in every later theorem.

how reviews work

0 comments

Cite this review

Pith. "Pith review of (Locally) Associated Subrings in Polynomial and Power Series Extensions." pith.science (2026). https://pith.science/paper/DAFNKGL6

@misc{pith2026260807741,
  author       = {Pith},
  title        = {Pith review of: (Locally) Associated Subrings in Polynomial and Power Series Extensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DAFNKGL6}},
  note         = {Machine review of arXiv:2608.07741}
}

abstract

The associated, ideal-preserving, and locally associated properties of subrings, first formally defined in 2024, give a way of understanding the multiplicative structure of a subring given information about the larger ring. In this paper, we establish notation and preliminary results on a generalized type of polynomial and power series rings that is often used in the construction of counterexamples in the field of commutative algebra. We then provide sets of necessary and sufficient conditions under which such a polynomial or power series ring may be (locally) associated in a larger such ring. This allows for the production of several informative examples, as well as a better understanding of the circumstances under which the ring of formal power series $R[[x]]$ over an order $R$ in a number field may be half-factorial.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 13 canonical work pages

[20]

Multiplicative relationships of subrings and their applications to factorization, 2025

Grant Moles. Multiplicative relationships of subrings and their applications to factorization, 2025. https://arxiv.org/abs/2506.24031

arXiv 2025
[9]

Elasticity in orders of an algebraic number field with radical conductor ideal and their rings of formal power series, 2025.https://arxiv.org/abs/2505.01668

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.https://arxiv.org/abs/2505.01668

arXiv 2025
[18]

Elasticity of orders from theS-relative Davenport constant: an arithmetic application of a number-theoretic investigation, 2026

Jared Kettinger and Grant Moles. Elasticity of orders from theS-relative Davenport constant: an arithmetic application of a number-theoretic investigation, 2026

work page 2026
[19]

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
[1]

Anderson, David F

Daniel D. Anderson, David F. Anderson, and Muhammad Zafrullah. Factorization in integral domains. Journal of Pure and Applied Algebra, 69(1):1–19, 1990

work page 1990
[2]

Anderson, David F

Daniel D. Anderson, David F. Anderson, and Muhammad Zafrullah. Rings betweenD[x] andK[x]. Houston J. Math, 17(1):109–129, 1991. 24 GRANT MOLES AND JOSEPH SW ANSON

work page 1991
[3]

Elasticity in polynomial-type extensions.Proceedings of the Edinburgh Mathematical Society, 59:581 – 590, 2013

Mark Thomas Batell and Jim Coykendall. Elasticity in polynomial-type extensions.Proceedings of the Edinburgh Mathematical Society, 59:581 – 590, 2013

work page 2013
[4]

A characterization of algebraic number fields with class number two.Proceedings of the American Mathematical Society, 11(3):391, 1960

Leonard Carlitz. A characterization of algebraic number fields with class number two.Proceedings of the American Mathematical Society, 11(3):391, 1960

work page 1960

Show all 24 references

[5]

TheA+XB[X] construction from Pr¨ uferv-multiplication domains.Journal of Algebra, 439:417–437, 2015

Gyu Whan Chang. TheA+XB[X] construction from Pr¨ uferv-multiplication domains.Journal of Algebra, 439:417–437, 2015

2015
[6]

Chapman, Marco Fontana, Alfred Geroldinger, and Bruce Olberding

Scott T. Chapman, Marco Fontana, Alfred Geroldinger, and Bruce Olberding. Multiplicative ideal theory and factorization theory.Proceedings in Mathematics and Statistics, 170, 2016

2016
[7]

Class group and factorization in orders of a PID.Journal of Number Theory, 265:226– 269, 2024

Hyun Seung Choi. Class group and factorization in orders of a PID.Journal of Number Theory, 265:226– 269, 2024

2024
[8]

The conductor ideal of an order.Expository Paper, 2019.https://kconrad.math.uconn

Keith Conrad. The conductor ideal of an order.Expository Paper, 2019.https://kconrad.math.uconn. edu/blurbs/gradnumthy/conductor.pdf

2019
[10]

Extensions of half-factorial domains: A survey.Arithmetical Properties of Commutative Rings and Monoids, page 46–70, 2005

Jim Coykendall. Extensions of half-factorial domains: A survey.Arithmetical Properties of Commutative Rings and Monoids, page 46–70, 2005

2005
[11]

The half-factorial property and do- mains of the formA+XB[X].Houston Journal of Mathematics, 32(1):33–46, 01 2006

Jim Coykendall, Tiberiu Dumitrescu, and Muhammad Zafrullah. The half-factorial property and do- mains of the formA+XB[X].Houston Journal of Mathematics, 32(1):33–46, 01 2006

2006
[12]

Factorization in Pr¨ ufer domains.Glasgow Mathematical Journal, 60(2):401–409, 2018

Jim Coykendall and Richard Erwin Hasenauer. Factorization in Pr¨ ufer domains.Glasgow Mathematical Journal, 60(2):401–409, 2018

2018
[13]

Factorization theory in commutative monoids.Semigroup Fo- rum, 100(1):22–51, 2020

Alfred Geroldinger and Qinghai Zhong. Factorization theory in commutative monoids.Semigroup Fo- rum, 100(1):22–51, 2020

2020
[14]

On polynomial and power series rings over a commutative ring.Rocky Mountain Journal of Mathematics, 5(2):157–175, 1975

Robert Gilmer. On polynomial and power series rings over a commutative ring.Rocky Mountain Journal of Mathematics, 5(2):157–175, 1975

1975
[15]

On the ascent of almost and quasi-atomicity to monoid semidomains, 2025.https://arxiv.org/abs/2501.04990

Victor Gonzalez, Felix Gotti, and Ishan Panpaliya. On the ascent of almost and quasi-atomicity to monoid semidomains, 2025.https://arxiv.org/abs/2501.04990

2025 arXiv
[16]

Factorization of algebraic integers.Ber

Franz Halter-Koch. Factorization of algebraic integers.Ber. Math. Stat. Sektion Forschung, 191, 1983

1983
[17]

Elasticity of orders with prime conductor.Journal of Number Theory, 2025

Jared Kettinger and Grant Moles. Elasticity of orders with prime conductor.Journal of Number Theory, 2025

2025
[21]

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
[22]

Springer, 1999

J¨ urgen Neukirch.Algebraic number theory. Springer, 1999

1999
[23]

A characterization of half-factorial orders in algebraic number fields.Acta Arithmetica, 2023

Balint Rago. A characterization of half-factorial orders in algebraic number fields.Acta Arithmetica, 2023

2023
[24]

Robert J. Valenza. Elasticity of factorization in number fields.Journal of Number Theory, 36:212–218, 1990

1990

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [20]

Multiplicative relationships of subrings and their applications to factorization, 2025

Grant Moles. Multiplicative relationships of subrings and their applications to factorization, 2025. https://arxiv.org/abs/2506.24031

arXiv 2025

[2] [9]

Elasticity in orders of an algebraic number field with radical conductor ideal and their rings of formal power series, 2025.https://arxiv.org/abs/2505.01668

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.https://arxiv.org/abs/2505.01668

arXiv 2025

[3] [18]

Elasticity of orders from theS-relative Davenport constant: an arithmetic application of a number-theoretic investigation, 2026

Jared Kettinger and Grant Moles. Elasticity of orders from theS-relative Davenport constant: an arithmetic application of a number-theoretic investigation, 2026

work page 2026

[4] [19]

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

[5] [1]

Anderson, David F

Daniel D. Anderson, David F. Anderson, and Muhammad Zafrullah. Factorization in integral domains. Journal of Pure and Applied Algebra, 69(1):1–19, 1990

work page 1990

[6] [2]

Anderson, David F

Daniel D. Anderson, David F. Anderson, and Muhammad Zafrullah. Rings betweenD[x] andK[x]. Houston J. Math, 17(1):109–129, 1991. 24 GRANT MOLES AND JOSEPH SW ANSON

work page 1991

[7] [3]

Elasticity in polynomial-type extensions.Proceedings of the Edinburgh Mathematical Society, 59:581 – 590, 2013

Mark Thomas Batell and Jim Coykendall. Elasticity in polynomial-type extensions.Proceedings of the Edinburgh Mathematical Society, 59:581 – 590, 2013

work page 2013

[8] [4]

A characterization of algebraic number fields with class number two.Proceedings of the American Mathematical Society, 11(3):391, 1960

Leonard Carlitz. A characterization of algebraic number fields with class number two.Proceedings of the American Mathematical Society, 11(3):391, 1960

work page 1960