Every finitely generated abelian group is the class group of a generalized cluster algebra

Mara Pompili

REVIEW 4 major objections 5 minor 27 references

Every finitely generated abelian group is the class group of a generalized cluster algebra

T0 review · 4 major / 5 minor · reviewed 2026-08-12 · 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 every finitely generated abelian group is isomorphic to the class group of some acyclic and coprime generalized cluster algebra, and gives a criterion for when such algebras are unique factorization domains.

desk verdict The realization theorem is very likely true, but Theorem 4.14's proof as written has load-bearing indexing errors and a missing characteristic hypothesis; both are easily repairable. read the letter →

arxiv 2411.14963 v2 pith:QFSSKJPZ submitted 2024-11-22 math.AC

Mara Pompili This is my paper · ORCID

classification math.AC MSC 13F6013F0513F15

keywords generalizedclusteralgebrasclassgroupsKrulldomainsfinitefactorizationstrongatomstorsioninLaurentphenomenon

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

Every commutative domain has a class group that measures how far it is from having unique factorization, and for Krull domains this is a well-defined abelian group. This paper proves that generalized cluster algebras, a variant of cluster algebras with multinomial exchange relations, can realize every finitely generated abelian group as their class group. That is a sharp break from classical cluster algebras, whose class groups are always free abelian and therefore cannot have torsion or finite class groups. The paper also shows that generalized cluster algebras are finite-factorization domains, that their cluster variables are strong atoms, and that a generalized cluster algebra that is a Krull domain is a UFD exactly when its exchange polynomials are irreducible. A final section proves analogous factorization and factoriality results for Laurent phenomenon algebras, whose Krull class groups, like those of ordinary cluster algebras, are always free abelian.

What carries the argument

The load-bearing mechanism is the class-group presentation theorem (Theorems 4.1 and 4.2), which for a Krull domain $A$ that becomes a factorial Laurent polynomial ring after inverting cluster variables $x_1,\dots,x_n$ says that $C(A)\cong \mathbb{Z}^r/\langle a_1,\dots,a_n\rangle$, where $a_i=(a_{i1},\dots,a_{ir})$ is the exponent vector in the factorization $x_iA=\mathfrak{p}_1^{a_{i1}}\cdots \mathfrak{p}_r^{a_{ir}}$ into height-1 prime ideals. For an acyclic and coprime generalized seed, the starfish lemma and the equality $A=U=S_{\mathbf{x}}$ (Theorem 3.9) place the algebra exactly in this situation. To realize a prescribed group $G\cong \mathbb{Z}^{m-1}\oplus \mathbb{Z}/n_1\mathbb{Z}\oplus\cdots\oplus \mathbb{Z}/n_k\mathbb{Z}$, the proof assembles a rank $N=2k+2$ exchange matrix whose nonzero entries are $m$, the $n_i$, and $-1$, and whose exchange polynomials include $x_N^m+1$ and $(x_{N-i+1}+1)^{n_i}$; the repeated binomial factors create torsion relations, while the distinct irreducible factors of $x_N^m+1$ create the free part. This is the mechanism that lets every finitely generated abelian group appear as a class group.

What would settle it

Run the paper's construction for $G=\mathbb{Z}/p\mathbb{Z}$ over an algebraically closed field of characteristic $p$: the exchange polynomial $(x_2+1)^p=x_2^p+1$ has only one irreducible factor, so Corollary 4.10 gives a single height-1 prime ideal over $x_1$ instead of $p$ distinct ones, and the presentation of Theorem 4.2 yields a free abelian class group rather than $\mathbb{Z}/p\mathbb{Z}$.

Watch

Extended reading notes

Core claim

The central claim, Theorem 4.14, states that for any finitely generated abelian group $G$ there exists an acyclic and coprime generalized cluster algebra $A$ over an algebraically closed field $R$ such that $A$ is a Krull domain, its class group $C(A)$ is isomorphic to $G$, and every class of $C(A)$ contains exactly $|R|$ prime divisors. The proof is constructive: from the invariant factors of $G$ it builds an explicit exchange matrix $B$ and a set of strings so that the exchange polynomials take the form $f_1=x_N^m+1$ and $f_i=(x_{N-i+1}+1)^{n_i}$ (with the remaining $f_i$ binomials), and it then presents $C(A)$ as $\mathbb{Z}^{m+2k+1}$ modulo the lattice generated by the divisor-exponent vectors of the cluster variables. The same computation yields the paper's general structural result: if a generalized cluster algebra or generalized upper cluster algebra is a Krull domain, then $C(A) \cong \mathbb{Z}^r/\langle a_1,\dots,a_n\rangle$, where the $a_i$ record the exponents of the height-1 prime ideals containing the cluster variables, and each class of $C(A)$ contains exactly $|R|$ prime divisors. Torsion arises exactly from exchange polynomials with repeated irreducible factors, such as $(x+1)^n$, which cannot occur for classical cluster algebras. The paper further proves that generalized cluster algebras are FF-domains and that their cluster variables are strong atoms, and that Krull Laurent phenomenon algebras have free abelian class groups.

Load-bearing premise

The construction assumes that the exchange polynomial $x_N^m+1$ splits into exactly $m$ distinct irreducible factors over the ground field, which requires the characteristic of the field not to divide $m$; the theorem as stated only assumes an algebraically closed field, and when the characteristic divides $m$ the factor count and the resulting class group change.

Editorial extensions

If this is right

Every finite abelian group, and every mix of a free part with finite torsion, occurs as the class group of a Krull generalized cluster algebra, so factorization in these algebras can be governed by a finite class group.
Classical cluster algebras have only free abelian class groups, so the generalized setting is strictly richer: torsion and finite class groups are genuinely new phenomena driven by repeated factors in exchange polynomials.
For a Krull generalized cluster algebra with $A=U=S_{\mathbf{x}}$, the algebra is a unique factorization domain if and only if all exchange polynomials are irreducible, giving a direct factoriality criterion.
Each class of the class group contains exactly $|R|$ height-1 prime divisors, so when the ground field is algebraically closed (hence infinite) prime divisors are distributed evenly among all classes.
Laurent phenomenon algebras that are Krull domains have free abelian class groups of rank $r-n$, so the torsion phenomenon does not occur in the LP framework.

Reading between the lines

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

A natural testable conjecture is that torsion in the class group of a generalized cluster algebra is determined entirely by the multiplicities of irreducible factors of exchange polynomials, so the realization theorem could be framed as a statement about which multisets of irreducible polynomials occur.
The construction is stated over algebraically closed fields; over other fields the same seed realizes a different class group, so one can extend the theorem by replacing $x_N^m+1$ with any degree-$m$ polynomial with $m$ distinct irreducible factors, provided the characteristic does not obstruct that splitting.
Because Claborn's theorem realizes every abelian group as the class group of a Dedekind domain, this result shows that being a generalized cluster algebra imposes no additional restriction on finitely generated class groups, tying cluster theory into the classical realization program.
One could attempt to realize the same groups with smaller rank by exploiting that a single exchange polynomial with several distinct irreducible factors contributes several generators to the free part, potentially lowering the ambient dimension $N$ of the seed.

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

Here's the thing you should know: the headline result—every finitely generated abelian group is the class group of a generalized cluster algebra—is almost certainly correct, and it's a good result. But Theorem 4.14 as printed does not prove it. The B-matrix in the proof puts the n_i in the wrong column, so the exchange polynomials computed from the displayed matrix do not match the ones used later. The homomorphism φ also has one too many free coordinates: the printed map lands in a free part of rank m, while G has free rank m−1, so the kernel is not the subgroup generated by the a_i. Example 4.15 shows what the construction should be, and the stress-test note is right that the example and the theorem are inconsistent. These look like repairable typos, not a broken strategy.

What's genuinely new: torsion class groups for generalized cluster algebras, a sharp contrast with classical cluster algebras (whose Krull class groups are free abelian), and a clean way to realize arbitrary finitely generated abelian groups using acyclic coprime seeds and the GELS19 class-group formula. The FF-domain and strong-atom results are routine extensions but are handled consistently. The LP algebra section is fine and doesn't affect the main point.

Two issues need fixing. First, the indexing in Theorem 4.14: the B-matrix entries and the definition of φ have to match the example. Concretely, the n_i should sit in the column of the cluster variable whose exchange polynomial they are meant to produce, and φ should use m coordinates for the free part, not m+1. Second, the construction assumes an algebraically closed field but needs characteristic not dividing m for x^m+1 to split into m distinct irreducible factors. Since the theorem only asserts existence, specifying an algebraically closed field of characteristic zero (e.g., C) removes the problem. Both are minor to fix but load-bearing as written.

The paper leans on external theorems—GELS19 and BCDX20—but that's normal, and those cited results are published. Self-citation to Pom25 is also legitimate there.

Who this is for: people working on cluster algebras, factorization theory, or Krull domains. The realization theorem is worth knowing once the proof is corrected. It deserves a serious referee; the referee should demand the indexing corrections and a clean characteristic statement, but the core idea is sound.

Referee Report

4 major / 5 minor

Summary. The paper studies divisor class groups and factorization properties of generalized cluster algebras. Its main results are: (i) generalized cluster algebras and generalized upper cluster algebras are FF-domains and their cluster variables are strong atoms (Propositions 2.12 and 2.13); (ii) a structural theorem computing the class group of a Krull generalized cluster algebra as Z^r modulo the exponent vectors of the cluster variables (Theorem 4.2, following GELS19); (iii) the realization theorem claiming that every finitely generated abelian group occurs as the class group of an acyclic coprime generalized cluster algebra, with exactly |R| height-one primes in every class (Theorem 4.14); and (iv) analogous factoriality and FF-domain statements for LP algebras, with examples distinguishing LP algebras from cluster algebras. The paper is largely an application of the GELS19 class-group formula and the BCDX20 upper/lower bound theorem, supplemented by explicit worked examples.

Significance. If Theorem 4.14 is correct, it establishes a striking new phenomenon: unlike classical cluster algebras, whose Krull class groups are always free abelian, generalized cluster algebras can realize arbitrary finitely generated abelian groups, including finite groups with nontrivial torsion. This has consequences for factorization theory, since a finite class group can make arithmetic invariants finite. The paper's examples (4.11, 4.13, 4.15) are explicit and useful, and the overall strategy is plausible: the class-group computation is a direct application of established external theorems, and the new construction is demonstrated in the worked example. However, the proof of Theorem 4.14 as written contains systematic indexing inconsistencies in the definition of the exchange matrix, in the exchange polynomials, and in the homomorphism used to compute the class group. These are load-bearing but appear repairable.

major comments (4)

[Section 4.2, Theorem 4.14 (definition of B)] The displayed formula for B is not the matrix used to compute the exchange polynomials. For the paper's own Example 4.15 (m=2, k=1, n1=3, N=4), the formula gives b_{3,1}=n_1=3 and b_{4,1}=m=2, so column 2 is zero; this matrix has rank at most 3 and is not skew-symmetrizable. The example instead uses b_{3,2}=3, and the claimed exchange polynomials f_1=x_4^2+1 and f_2=(x_3+1)^3 require exactly that entry. Consequently the appeals to Corollary 4.10, Theorem 3.9, and Theorem 4.2 do not apply to the seed as formally defined. The lower-left block should be corrected (presumably b_{k+1+r,k+2-r}=n_r for 1≤r≤k and b_{N,1}=m).
[Section 4.2, Theorem 4.14 (definition of phi)] The homomorphism phi is written with m+1 free coordinates u_1,...,u_{m+1} and m difference coordinates (u_1-u_2, ..., u_{m+1}-u_1), whose image has rank m, but G has free rank m-1. The stated kernel forces u_1=...=u_{m+1}; however, the subgroup generated by a_1,...,a_N only forces u_1=...=u_m and leaves n_1 beta_1 in coordinate m+1, so the two groups are not equal when n_1>1. Example 4.15 works only because it uses two coordinates u_1,u_2 for the free part Z, not three as in the theorem. The proof therefore does not establish C(A) ≅ G for the construction as written.
[Section 4.2, Theorem 4.14 (indices of n_i)] The proof sets d_i=n_i for 2≤i≤k+1 and writes the exchange polynomials as (x_{N-i+1}+1)^{n_i} for the same range, but n_i is only defined for 1≤i≤k; these should be n_{i-1}. The same misindexing affects the a_i vectors in the class-group computation. This is repairable but must be corrected for the theorem to be internally consistent.
[Section 4.2, opening of Section 4.2 and Theorem 4.14] The local assumption 'R is an algebraically closed field' does not specify the characteristic. The proof needs f_1=x_N^m+1 to factor into m distinct linear factors and (x+1)^{n_i} to be squarefree; this fails for algebraically closed fields of characteristic p dividing m or n_i. If the standing characteristic-zero assumption from Section 2 is still in force, this should be stated explicitly; as written, Theorem 4.14 is false for some positive-characteristic algebraically closed fields.

minor comments (5)

[Example 4.11] The text says 'Then by Corollary 4.2 we have'; the statement used is Theorem 4.2, not Corollary 4.2.
[Corollary 4.10, proof] The proof states L_{x_i}=U[x_i^{-1}], which is not literally correct with the paper's notation for the mutated Laurent ring; the desired conclusion can be obtained directly from U⊆L_{x_i} and x_i∈r_jL_{x_i}, so please rephrase the localization argument.
[Example 4.13(2)] The prime ideal p for x_1 is written as (x_2+1)L_{x_2}∩A, but to contain x_1 it should be obtained from the mutated Laurent ring L_{x_1} (as in Example 4.11). This appears to be a typo in the localization index.
[Theorem 4.14, displayed matrix] The block labels under the displayed matrix ('k z}|{ k + 1 z}|{') are unclear and should be replaced with a precise description of the nonzero entries; this is especially important because the current matrix is inconsistent with the example.
[Example 4.15] There is a typo: 'exchange polymomials' should be 'exchange polynomials'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 4.14's realization proof is an explicit construction feeding external, independently established class-group and upper-bound theorems, with no fitted parameter or self-referential normalization.

full rationale

The paper's central claim, Theorem 4.14, is derived by constructing an explicit acyclic and coprime generalized seed, identifying the height-1 prime ideals containing cluster variables via Corollary 4.10 (proved in the paper using Proposition 4.9), and then applying the external class-group formula of GELS19 (Theorem 4.2) to compute C(A) as a quotient of a free abelian group by the exponent vectors of the principal ideals (x_i A). The final quotient is analyzed through an explicit homomorphism φ to the target group G. Nothing in this chain is fitted to the target answer, and the target isomorphism is not assumed: the subgroup generated by the a_i is computed, and the kernel of φ is computed independently. The proof relies on [BCDX20, Theorem 3.10] and [GELS19, Theorems 3.1 and 3.2], which are external results with assumptions not containing the present theorem. Some auxiliary arguments are delegated to the author's prior work [Pom25] (e.g., Proposition 4.9 and Theorem 4.6), but those are published, parameter-free results on upper cluster algebras and do not presuppose the conclusion of this paper; thus they are real independent support rather than self-citation load-bearing. The reader's and skeptic's concerns about the characteristic of R and about possible indexing inconsistencies in the proof of Theorem 4.14 are correctness or clarity issues, not circularity: an erroneous index in the displayed matrix or in φ would mean the proof as written fails to establish the theorem, but it would not make the theorem equivalent to its own inputs by construction. No fitted input is renamed as a prediction, no uniqueness theorem from the authors is invoked to forbid alternatives, and no known result is merely relabeled. Accordingly, no circular step is identified and the circularity score is 0.

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

The paper introduces no data-fitted parameters and no new entities. It leans on prior structural theorems from GELS19, BCDX20, and CS13, and on an implicit characteristic condition for squarefree factorization. The main proof's indexing errors are internal derivation errors, not ledger inputs.

assumptions (5)

standard math GELS19 class group formula for Krull domains with Laurent polynomial localization.
Used as Theorem 4.1 to derive the class group formula for generalized cluster algebras in Theorem 4.2.
standard math BCDX20 theorem: acyclic and coprime generalized seeds satisfy A = U = Sx.
Invoked as Theorem 3.9 and throughout Section 4 to ensure A = U = Sx, which is needed for the Krull and class group computations.
domain assumption Locally acyclic generalized cluster algebras are Krull domains.
Stated as immediate in Section 4.1 without proof; needed for the class group discussion.
ad hoc to paper The exchange matrix B built in Theorem 4.14 is full rank and skew-symmetrizable.
Asserted in Theorem 4.14; full rank ensures all mutation-equivalent seeds are coprime via Proposition 3.8, which is needed for U = Sx.
domain assumption The polynomial x_N^m + 1 splits into m distinct linear factors over the ground field.
Needed in Theorem 4.14 to count m height-1 primes contributing free rank m-1; requires algebraically closed field of characteristic not dividing m, which the paper does not state.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Every finitely generated abelian group is the class group of a generalized cluster algebra." pith.science (2026). https://pith.science/paper/QFSSKJPZ

@misc{pith2026241114963,
  author       = {Pith},
  title        = {Pith review of: Every finitely generated abelian group is the class group of a generalized cluster algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QFSSKJPZ}},
  note         = {Machine review of arXiv:2411.14963}
}

read the original abstract

We determine the class group of those generalized cluster algebras that are Krull domains. In particular, this provides a criterion for determining whether or not a generalized cluster algebra is a UFD. In fact, any finitely generated abelian group can be realized as the class group of a generalized cluster algebra. Additionally, we show that generalized cluster algebras are FF-domains and that their cluster variables are strong atoms. Finally, we examine the factorization and ring-theoretic properties of Laurent phenomenon algebras.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 17 canonical work pages

[5]

[Cla66] Luther Claborn

doi:10.4134/JKMS.j210419. [Cla66] Luther Claborn. Every abelian group is a class group. Pacific J. Math. , 18:219–222,

work page doi:10.4134/jkms.j210419
[8]

[FFN+24] Victor Fadinger, Sophie Frisch, Sarah Nakato, Daniel Smertnig, and Daniel Windisch

doi:10.3934/era.2022153. [FFN+24] Victor Fadinger, Sophie Frisch, Sarah Nakato, Daniel Smertnig, and Daniel Windisch. Primes and absolutely or non-absolutely irreducible elements in atomic domains,

work page doi:10.3934/era.2022153
[9]

[Fos73] Robert M

arXiv:2411.01051. [Fos73] Robert M. Fossum. The Divisor Class Group of a Krull Domain , volume 74 of Ergebnisse der Mathematik und Ihrer Grenzgebiete. Springer Berlin, Heidelberg,

work page arXiv
[14]

[GLS13] Christof Geiss, Bernard Leclerc, and Jan Schr¨ oer

doi: 10.1016/j.jnt.2024.03.001. [GLS13] Christof Geiss, Bernard Leclerc, and Jan Schr¨ oer. Factorial cluster algebras. Doc. Math. , 18:249–274,

work page doi:10.1016/j.jnt.2024.03.001 2024
[15]

Factorial cluster algebras

arXiv:1110.1199 . [GSV18] Misha Gekhtman, Michael Shapiro, and Alek Vainshtein. Drinfeld double of GLn and generalized cluster struc- tures. Proc. Lond. Math. Soc. (3) , 116(3):429–484,

work page Pith review arXiv
[25]

doi:10.1007/978-3-319-38855-7

doi:10.1007/978-3-319-38855-7
[1972]

[LP16] Thomas Lam and Pavlo Pylyavskyy

doi:10.2307/1995734. [LP16] Thomas Lam and Pavlo Pylyavskyy. Laurent phenomenon algebras. Camb. J. Math. , 4(1):121–162,

work page doi:10.2307/1995734
[1973]

[Ros76] Michael Rosen

doi:10.1016/0021-8693(73)90036-7. [Ros76] Michael Rosen. Elliptic curves and Dedekind domains. Proc. Amer. Math. Soc. , 57(2):197–201,

work page doi:10.1016/0021-8693(73)90036-7

Show all 27 references

[1976]

24 MARA POMPILI [R W21] Roswitha Rissner and Daniel Windisch

doi:10.2307/2041187. 24 MARA POMPILI [R W21] Roswitha Rissner and Daniel Windisch. Absolute irreducibility of the binomial polynomials. J. Algebra, 578:92– 114,

doi
[1999]

[Kel10] Bernhard Keller

doi:10.4064/cm-80-1-23-30. [Kel10] Bernhard Keller. Cluster algebras, quiver representations and triangulated categories. In Triangulated categories, volume 375 of London Math. Soc. Lecture Note Ser. , pages 76–160. Cambridge Univ. Press, Cambridge,

doi
[2002]

[FZ03] Sergey Fomin and Andrei Zelevinsky

doi:10.1090/S0894-0347-01-00385-X. [FZ03] Sergey Fomin and Andrei Zelevinsky. Cluster algebras. II. Finite type classification. Invent. Math. , 154(1):63– 121,

doi
[2003]

[FZ07] Sergey Fomin and Andrei Zelevinsky

doi:10.1007/s00222-003-0302-y. [FZ07] Sergey Fomin and Andrei Zelevinsky. Cluster algebras. IV. Coefficients. Compos. Math., 143(1):112–164,

doi
[2005]

EVERY F.G

doi:10.1215/S0012-7094-04-12611-9. EVERY F.G. ABELIAN GROUP IS THE CLASS GROUP OF A GENERALIZED CLUSTER ALGEBRA 23 [CG24] Gyu Whan Chang and Alfred Geroldinger. On Dedekind domains whose class groups are direct sums of cyclic groups. J. Pure Appl. Algebra , 228(1):Paper No. 10...

doi
[2007]

[GELS19] Ana Garcia Elsener, Philipp Lampe, and Daniel Smertnig

doi:10.1112/S0010437X06002521. [GELS19] Ana Garcia Elsener, Philipp Lampe, and Daniel Smertnig. Factoriality and class groups of cluster algebras. Adv. Math., 358:106858, 48,

doi
[2009]

[CS13] Leonid Chekhov and Michael Shapiro

doi:10.4171/LEM/55-3-1. [CS13] Leonid Chekhov and Michael Shapiro. Teichm¨ uller Spaces of Riemann Surfaces with Orbifold Points of Arbi- trary Order and Cluster Variables. International Mathematics Research Notices , 2014(10):2746–2772, 02

2014 doi
[2013]

[DL22] Qiuning Du and Fang Li

doi:10.1093/imrn/rnt016. [DL22] Qiuning Du and Fang Li. Some elementary properties of Laurent phenomenon algebras. Electron. Res. Arch., 30(8):3019–3041,

doi
[2014]

University of Graz, Department of Mathematics and Scientific Computing, NA WI Graz, Heinrichstrasse 36, 8010 Graz, Austria Email address : mara.pompili@uni-graz.at

doi:10.1090/S0273-0979-2013-01417-4. University of Graz, Department of Mathematics and Scientific Computing, NA WI Graz, Heinrichstrasse 36, 8010 Graz, Austria Email address : mara.pompili@uni-graz.at

2013 doi
[2016]

[Per23] Giulio Peruginelli

doi:10.4310/CJM.2016.v4.n1.a2. [Per23] Giulio Peruginelli. Polynomial Dedekind domains with finite residue fields of prime characteristic. Pacific J. Math., 324(2):333–351,

2016 doi
[2017]

[Wil14] Lauren K

doi:10.1090/tran/6868. [Wil14] Lauren K. Williams. Cluster algebras: an introduction. Bull. Amer. Math. Soc. (N.S.) , 51(1):1–26,

doi
[2018]

[Kai99] Florian Kainrath

doi:10.1112/plms.12086. [Kai99] Florian Kainrath. Factorization in Krull monoids with infinite class group. Colloq. Math. , 80(1):23–30,

doi
[2019]

[GHK06] Alfred Geroldinger and Franz Halter-Koch

doi:10.1016/j.aim.2019.106858. [GHK06] Alfred Geroldinger and Franz Halter-Koch. Non-unique factorizations , volume 278 of Pure and Applied Math- ematics (Boca Raton) . Chapman & Hall/CRC, Boca Raton, FL,

2019
[2020]

[BFZ05] Arkady Berenstein, Sergey Fomin, and Andrei Zelevinsky

doi:10.3842/SIGMA.2020.092. [BFZ05] Arkady Berenstein, Sergey Fomin, and Andrei Zelevinsky. Cluster algebras. III. Upper bounds and double Bruhat cells. Duke Math. J. , 126(1):1–52,

2020 doi
[2021]

[Sch16] W

doi:10.1016/j.jalgebra.2021.03.007. [Sch16] W. A. Schmid. Some recent results and open problems on sets of lengths of Krull monoids with finite class group. In Multiplicative ideal theory and factorization theory , volume 170 of Springer Proc. Math. Stat. , pages 323–352. Spri...

2021 doi
[2022]

[BCDX20] Liqian Bai, Xueqing Chen, Ming Ding, and Fan Xu

doi:10.1007/s00233-021-10231-9. [BCDX20] Liqian Bai, Xueqing Chen, Ming Ding, and Fan Xu. On the generalized cluster algebras of geo- metric type. SIGMA Symmetry Integrability Geom. Methods Appl. , 16:Paper No. 092, 14,

doi
[2023]

[Pom25] Mara Pompili

doi:10.2140/pjm.2023.324.333. [Pom25] Mara Pompili. On class groups of upper cluster algebras. Canad. J. Math. , page 1–21,

2023 doi
[2024]

[Cha22] Gyu Whan Chang

doi:10.1016/j.jpaa.2023.107470. [Cha22] Gyu Whan Chang. The ideal class group of polynomial overrings of the ring of integers. J. Korean Math. Soc. , 59(3):571–594,

2023
[2025]

[Ros73] Michael Rosen

doi: 10.4153/S0008414X25000033. [Ros73] Michael Rosen. S-units and S-class group in algebraic function fields. J. Algebra , 26:98–108,

doi

Pith tools

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

[1] [5]

[Cla66] Luther Claborn

doi:10.4134/JKMS.j210419. [Cla66] Luther Claborn. Every abelian group is a class group. Pacific J. Math. , 18:219–222,

work page doi:10.4134/jkms.j210419

[2] [8]

[FFN+24] Victor Fadinger, Sophie Frisch, Sarah Nakato, Daniel Smertnig, and Daniel Windisch

doi:10.3934/era.2022153. [FFN+24] Victor Fadinger, Sophie Frisch, Sarah Nakato, Daniel Smertnig, and Daniel Windisch. Primes and absolutely or non-absolutely irreducible elements in atomic domains,

work page doi:10.3934/era.2022153

[3] [9]

[Fos73] Robert M

arXiv:2411.01051. [Fos73] Robert M. Fossum. The Divisor Class Group of a Krull Domain , volume 74 of Ergebnisse der Mathematik und Ihrer Grenzgebiete. Springer Berlin, Heidelberg,

work page arXiv

[4] [14]

[GLS13] Christof Geiss, Bernard Leclerc, and Jan Schr¨ oer

doi: 10.1016/j.jnt.2024.03.001. [GLS13] Christof Geiss, Bernard Leclerc, and Jan Schr¨ oer. Factorial cluster algebras. Doc. Math. , 18:249–274,

work page doi:10.1016/j.jnt.2024.03.001 2024

[5] [15]

Factorial cluster algebras

arXiv:1110.1199 . [GSV18] Misha Gekhtman, Michael Shapiro, and Alek Vainshtein. Drinfeld double of GLn and generalized cluster struc- tures. Proc. Lond. Math. Soc. (3) , 116(3):429–484,

work page Pith review arXiv

[6] [25]

doi:10.1007/978-3-319-38855-7

doi:10.1007/978-3-319-38855-7

[7] [1972]

[LP16] Thomas Lam and Pavlo Pylyavskyy

doi:10.2307/1995734. [LP16] Thomas Lam and Pavlo Pylyavskyy. Laurent phenomenon algebras. Camb. J. Math. , 4(1):121–162,

work page doi:10.2307/1995734

[8] [1973]

[Ros76] Michael Rosen

doi:10.1016/0021-8693(73)90036-7. [Ros76] Michael Rosen. Elliptic curves and Dedekind domains. Proc. Amer. Math. Soc. , 57(2):197–201,

work page doi:10.1016/0021-8693(73)90036-7