(Locally) Associated Subrings in Polynomial and Power Series Extensions

Title: (Locally) Associated Subrings in Polynomial and Power Series Extensions

Problem Statement
The paper addresses the factorization theory of subrings, specifically focusing on the properties of being "associated," "ideal-preserving," and "locally associated." These properties, defined in 2024, describe how the multiplicative structure of a subring $R$ relates to a larger ring $T$. While these concepts were previously applied to orders in algebraic number fields and their rings of integers, this work investigates their behavior in more complex constructions: polynomial rings $R[x]$ and formal power series rings $R[[x]]$ where the coefficient rings are allowed to change with the degree of the variable. Specifically, the authors examine rings of the form $R_{\Gamma}[x; \Gamma]$ and $R_{\Gamma}[[x; \Gamma]]$, where the coefficient of $x^i$ is drawn from a ring $R_i$ in a sequence $\{R_i\}$. The central problem is to determine necessary and sufficient conditions under which such a subring extension is associated or locally associated within a larger extension of the same type.

Methodology
The authors employ a combination of structural ring theory and factorization analysis:

1. Generalized Notation: They define a compact notation for rings where coefficients vary by degree, allowing for a unified treatment of standard polynomial/power series rings and "changing coefficient" rings (e.g., $Z + xZ + x^2Q[x]$).
2. Conductor and Unit Analysis: A significant portion of the methodology involves characterizing the conductor ideal $(R : T)$ and the group of units $U(T)$ in these generalized extensions. The authors derive explicit descriptions of units in polynomial and power series rings over sequences of rings, noting how nilpotent elements and constant terms dictate invertibility.
3. Exact Sequences: In Section 2, the authors generalize a known exact sequence relating unit groups and ideal class groups ($Cl(R)$ and $Cl(T)$) for orders in number fields. They prove that this sequence remains exact under specific conditions regarding comaximal ideals, providing a tool to characterize locally associated subrings via isomorphisms of class groups.
4. Inductive Construction: For power series extensions, the authors use inductive arguments to construct units and elements within the subring, often relying on the Chinese Remainder Theorem and properties of maximal ideals to lift local properties to the global ring.

Key Contributions and Results

• Generalized Characterizations: The paper provides necessary and sufficient conditions for a subring $R_{\Gamma}[x; \Gamma]$ to be an associated or locally associated subring of $T_{\Gamma}[x; \Gamma]$.
  • Associated Case (Theorem 4.1): $R_{\Gamma}[x]$ is associated in $T_{\Gamma}[x]$ if and only if the base ring $R_0$ is associated in $T_0$ and, for all $i \geq 1$, $T_i$ is the localization of $R_i$ by the multiplicative set $S = R_0 \cap U(T_0)$.
  • Locally Associated Case (Theorem 4.6): $R_{\Gamma}[x]$ is locally associated in $T_{\Gamma}[x]$ if and only if a specific condition on comaximal elements in the base ring holds and the radical of the intersection of the coefficient rings with the conductor ideal is contained within the subring coefficients.
• Power Series Extensions:
  • Associated Case: While a full characterization for general power series is elusive, the authors provide sufficient conditions (Theorem 5.4) involving the conductor ideal being an intersection of finitely many maximal ideals and pairwise comaximal restrictions. They also provide necessary conditions (Theorem 5.6), showing that if $R[[x]]$ is associated in $T[[x]]$, then $R$ must be associated in $T$ and the conductor ideal must be radical.
  • Locally Associated Case: The authors establish a clean equivalence (Theorem 5.13): $R_{\Gamma}[[x]]$ is locally associated in $T_{\Gamma}[[x]]$ if and only if the base rings satisfy a specific comaximality condition. Notably, Corollary 5.15 shows that if the base ring $R_0$ is locally associated in $T_0$, the power series extension inherits this property.
• Half-Factoriality (HFD) of Orders: The paper applies these findings to the factorization theory of orders in number fields. Theorem 5.12 provides a near-complete characterization of when the ring of formal power series $R[[x]]$ over an order $R$ is a Half-Factorial Domain (HFD). The result states that $R[[x]]$ is an HFD if $R$ is an HFD, $R$ is an associated order, and the conductor ideal is radical. The paper notes that the case where the conductor ideal contains a square of a non-principal prime ideal remains an open question.

Significance and Claims
The authors claim that their work extends the utility of associated and locally associated subring relations beyond the context of orders in number fields to a broader class of polynomial and power series constructions often used to generate counterexamples in commutative algebra.

• The paper clarifies the behavior of these properties in "changing coefficient" rings, demonstrating that standard intuitions (e.g., that $R[x]$ is associated in $T[x]$ if $R$ is associated in $T$) do not always hold without additional localization conditions.
• The results allow for the production of "informative examples" (such as Example 2.4 and Example 5.16) where expected "nice" properties fail, thereby refining the understanding of factorization in non-standard rings.
• The work settles conjectures regarding the half-factoriality of $R[[x]]$ for many cases, specifically linking the property to the radical nature of the conductor ideal and the associated nature of the base order.
• The paper explicitly states that it does not claim to fully resolve the half-factoriality question for all cases (specifically when the conductor is divisible by the square of a non-principal prime), maintaining a modest scope regarding open problems.

The paper concludes that the interplay between the conductor ideal, unit groups, and the structure of coefficient sequences is the determining factor for these associated properties in polynomial and power series extensions.