Pith. sign in

REVIEW 2 major objections 5 minor 39 references

de Rham theory and locally analytic vectors

T0 review · 2 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read The pro-analytic de Rham period ring of a p-adic Lie tower has a Galois-equivariant power-series description over K̂∞^la exactly when the tower is orientable.

desk verdict New orientation framework for pro-analytic de Rham periods, but the general case of the main theorem has a genuine gap in Construction 5.14. read the letter →

arxiv 2608.00845 v1 pith:OOHERAYE submitted 2026-08-01 math.NT

Hui Gao , Gal Porat , Léo Poyeton This is my paper · ORCID
classification math.NT MSC 11F8014F30
keywords p-adicHodgetheorylocallyanalyticvectorsSenoperatordeRhamperiodringorientationsLieextensionsGaloiscohomologyperfectoidfields
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 p-adic Lie extension K∞/K carries a canonical Sen operator, an invariant element of the Lie algebra of its Galois group twisted by the completed algebraic closure. This paper asks when the de Rham period ring B+dR(K∞), after passing to pro-analytic vectors, can be written as a one-variable power series ring over the locally analytic completion K̂∞^la with a Galois-compatible variable. The answer: exactly when the Sen operator admits a Galois-equivariant lift to B+dR⊗LieΓ(K∞), which the paper calls an orientation. With an orientation, the ∇-kernel of the pro-analytic ring is K̂∞^la and the full ring is K̂∞^la[[t_{K∞}]]; without one, no such equivariant description exists. This gives a complete criterion for when the familiar cyclotomic formula B+dR(Kcyc)^pa = Kcyc[[t]] generalizes to arbitrary towers, and connects B+dR-representations to regular connections and Galois cohomology.

What carries the argument

The load-bearing object is the Sen operator of the tower, Θ(K∞) ∈ D_C(LieΓ(K∞)), the canonical GK-invariant element of the adjoint Lie algebra obtained by differentiating the cyclotomic action, together with its lifts ∇(K∞) to D_dR^+(LieΓ(K∞)), called orientations. The proof also uses a vanishing theorem for higher locally analytic vectors of K̂∞-semilinear representations (R^i_{Γ-la} W = 0 for i ≥ 1), which gives the exactness needed to pass locally analytic vectors through the I_θ-adic filtration, and a formal eigenspace lemma showing that an operator acting as multiplication by n on gr^n decomposes a complete filtered algebra into pieces A^{T=n} whose product reconstructs the whole ring.

What would settle it

For a tower with Δ = Gal(K∞Kcyc/K∞) ≅ Zp, compute directly whether u = exp(-log χ_cyc(γ)(z - z0)) lies in the locally analytic completion and satisfies g(u) = χ_cyc(g)^{-1}u after a finite base change; if it does not, the power-series isomorphism of Theorem 5.5(3) cannot hold. More broadly, any tower where dim_K D_dR(LieΓ(K∞)) ≠ dim_K D_HT(LieΓ(K∞)) but B+dR(K∞)^pa still admits a Γ-equivariant power-series description would refute the orientability criterion.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 5.5: for an orientable tower K∞/K, a choice of orientation ∇ gives a Γ(K∞)-equivariant isomorphism B+dR(K∞)^pa,∇=0 ≅ K̂∞^la, and if t_{K∞} is any element of Fil^1 B+dR(K∞)^pa satisfying ∇(t_{K∞}) = t_{K∞}, then the natural map K̂∞^la[[t_{K∞}]] → B+dR(K∞)^pa is an isomorphism. Without choosing the generator, the same result says B+dR(K∞)^pa is Γ-equivariantly isomorphic to the completed symmetric algebra of the locally analytic first graded piece L(K∞)^la over K̂∞^la. Theorem 6.3 makes the correspondence exact: orientations are in bijection with Γ-equivariant sections of the reduction map and with Γ-equivariant power-series isomorphisms inducing the identi

Load-bearing premise

For towers not containing the cyclotomic extension, the proof assumes that the explicit convergent series used to build the Galois-equivariant variable t_{K∞} does converge in the locally analytic completion and transforms by the inverse cyclotomic character after a finite base change; if this fails, the power-series isomorphism is not established.

Editorial extensions

If this is right

  • For an orientable tower, every finite free B+dR-representation U has pro-analytic invariants D forming a finite free module over K̂∞^la[[t_{K∞}]], and ∇ acts as a regular connection; the complex [D --∇-→ D] computes RΓ(GK,U) after taking Γ(K∞)-invariants.
  • When K∞ is canonically orientable—for example abelian, nilpotent, or false Tate towers—the isomorphism B+dR(K∞)^pa ≅ K̂∞^la[[t_{K∞}]] is canonical, so the cyclotomic pattern B+dR(Kcyc)^pa = Kcyc[[t]] extends without choices.
  • Orientability is equivalent to dim_K D_dR(LieΓ(K∞)) = dim_K D_HT(LieΓ(K∞)); in particular, for Hodge-Tate adjoint representations, being de Rham is the same as being orientable.
  • Even without orientability, the vanishing of higher locally analytic vectors yields a general Sen theory for arbitrary p-adic Lie towers, including cohomology comparisons RΓ(GK,U) ≃ RΓ(Θ(K∞),D)^{Γ(K∞)}.
  • If LieΓ(K∞) has a generalized Hodge-Tate weight in Z≤−1, the tower is not canonically orientable; the non-split extension 0→Qp→V→Qp(1)→0 provides an explicit non-orientable example.

Reading between the lines

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

  • A natural extension beyond the paper is that, for non-canonically orientable towers, the set of possible period variables t_{K∞} should form a torsor under the de Rham cohomology group H^1(GK, B+dR⊗LieΓ(K∞)(1)); making this torsor explicit for the SL2(Zp) examples would turn the theory into an algorithmic classification.
  • If the orientability criterion survives scrutiny, Iwasawa-theoretic invariants over general towers—Selmer groups and explicit reciprocity laws—could be re-expressed through regular connections on K̂∞^la[[t_{K∞}]], mirroring the cyclotomic case; the false Tate tower, where a concrete section sends α to α̃, is a natural first test case.
  • The vanishing theorem for higher locally analytic vectors may transfer to other period rings whose reduction filtration is pro-etale over a perfectoid field; if so, the same orientation formalism could describe pro-analytic vectors in larger Robba-type rings whose higher locally analytic vectors are already known to be nonzero away from the cyclotomic tower.
  • One could test orientability computationally in towers coming from modular forms: the criterion dim_K D_dR = dim_K D_HT reduces to a classical p-adic Galois cohomology computation for the adjoint representation, giving an effectively checkable obstruction.
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.

Referee Report

2 major / 5 minor

Summary. The paper studies the pro-analytic vectors of the de Rham period ring B_dR^+(K∞) for an infinitely ramified p-adic Lie extension K∞/K. After proving a vanishing theorem for higher locally analytic vectors of finite free semilinear Η_K∞-representations, it introduces the notion of an orientation of K∞, i.e. a G_K-equivariant lift of the Sen operator Θ(K∞) to B_dR^+ ⊗ Lie Γ(K∞). The main theorem (Thm 5.5) asserts that an orientation yields a Γ(K∞)-equivariant isomorphism B_dR^+(K∞)^pa ≅ Η_K∞^la[[t_K∞]], and Theorem 6.3 gives a bijection between orientations and equivariant power-series descriptions. The paper then derives cohomological applications, including a version of Sen theory for general towers and a comparison between B_dR^+-representations and regular connections. The cyclotomic-containing case is treated in detail, and the algebraic structure theorem for B_dR^+(K∞)^pa is proved. The general non-cyclotomic-containing case, however, depends on an unproved construction of the element t_K∞.

Significance. If correct, the paper gives a coherent and satisfying answer to Question 1.1: equivariant power-series descriptions of B_dR^+(K∞)^pa exist exactly when the tower is orientable, and orientations are classified by equivariant sections. The vanishing theorem (Theorem 2.1), the algebraic Lemma 5.10, and the cyclotomic-containing case of the main theorem are clean and are likely to be useful independent of the rest. The explicit examples (abelian, nilpotent, false Tate, SL2) make the criterion concrete and are valuable. However, the significance is conditional: in the general case, the existence of t_K∞, which is the basis for Lemma 5.15 and Proposition 5.16, rests on an unproved assertion in Construction 5.14. The claimed complete answer to Question 1.1 is therefore not established without fixing that gap.

major comments (2)
  1. [§5.4, Construction 5.14] The assertion that u = exp(-log χ_cyc(γ)(z-z0)) satisfies g(u) = χ_cyc(g)^{-1}u for g ∈ Δ is not proved. With c = log χ_cyc(γ), a direct computation gives γ(u)/u = exp(-c) · exp(c(γ(z0)-z0)). The desired identity requires exp(c(γ(z0)-z0)) = 1, which, under the convergence conditions needed for the exponential, forces γ(z0) = z0. Since Δ = Gal(K∞Kcyc/K∞) has fixed field K∞, this forces z0 ∈ K∞. But then γ(z-z0) = (z-z0)+1 and γ is an isometry, so |z-z0| ≥ 1; the convergence condition |c(z-z0)| < p^{-1/(p-1)} is then not automatic and is not proved. The sentence 'after possibly replacing K by a finite extension' does not resolve this, because such a replacement does not change Δ or its fixed field. This is a load-bearing gap, not a presentation issue.
  2. [§5.4, Lemma 5.15 and Proposition 5.16] Lemma 5.15 states that ∇(K∞) acts on gr^n of the I_θ^pa-adic filtration as multiplication by n, and Proposition 5.16 concludes that Η_K∞^la[[t_K∞]] → B_dR^+(K∞)^pa is an isomorphism. Both facts depend entirely on the element t_K∞ = ut constructed in Construction 5.14. If the missing proof of the Δ-equivariance and convergence of u is not supplied, Theorem 5.5(2)-(3) are unproved in the general case, and Theorem 6.3, which relies on Theorem 5.5, inherits the gap. The authors should either provide the missing approximation/Galois-fixedness argument or explicitly restrict the main theorem to the cyclotomic-containing case.
minor comments (5)
  1. [§1.2, footnote 1] The introduction's statement of Theorem 1.4 is imprecise about the Γ(K∞)-action on Η_K∞^la[[t]]. It would be clearer to refer directly to the completed symmetric algebra Η_K∞^la(L(K∞)^la) used in Theorem 5.5, as the action on t_K∞ depends on a trivialization.
  2. [§5.4, Construction 5.14] The phrase 'z0 ∈ L∞ close enough to z' is never quantified. A rigorous proof should specify the required radius in terms of the valuation on Η_L∞^la and the value of |c|.
  3. [§5.1, Theorem 5.3] The variable s is used for a generator of I_θ^pa, while later the notation t_K∞ is used. It would help to clarify whether s is just a placeholder or has a fixed relation to the orientation later.
  4. [§7.3, proof of Theorem 7.5] In the commutative diagram identifying the three power-series rings, the image of t_K∞ under the inclusion Η_K∞^la[[t_K∞]] → Η_L∞^la[[t]] should be written explicitly; as written it is not clear that the diagram commutes.
  5. [Example 4.12(2)] The modular form example is very terse. A reference or a short computation for the non-ordinary twist would help the reader verify the claimed dichotomy.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the main equivalence is proved in both directions and the orientation is defined independently of the power-series description; minor self-citations are published inputs, and one underproved convergence step is flagged as a correctness risk rather than a circularity.

full rationale

The central claim is not circular. Definition 4.1 defines an orientation as a lift of the Sen operator Θ(K∞) to D^+_dR(Lie Γ(K∞)); this is a different object from a Γ(K∞)-equivariant power-series section, and Theorem 6.3 proves the bijection between orientations and such sections in both directions, using Theorem 5.5 and Proposition 3.8. Theorem 5.5 itself is proved algebraically via Lemma 5.10 once the orientation is shown to act with weight n on gr^n; the weight condition is derived in Lemmas 5.8, 5.9 and 5.15, not assumed. The paper does cite the authors' own prior work in load-bearing places: Proposition 2.4 uses [Por24, Theorem C] for the cyclotomic-containing case of the vanishing theorem, and [Por22] is used in examples and for the cyclotomic period ring. These are fixed, published mathematical statements that do not assume the present theorem, and under the review rules they count as real evidence rather than circularity. One non-circular but load-bearing gap should be flagged: Construction 5.14 asserts 'after possibly replacing K by a finite extension, we get that u has the property that g(u) = χcyc(g)^{-1}u for g ∈ Δ' (Section 5.4). This is not a formal consequence of the displayed convergence of u; it requires the approximant z0 to be Δ-fixed (or an equivalent argument), and the paper does not prove this. This affects the existence of t_{K∞} and hence Lemma 5.15 and Theorem 5.5(3) in the general case, but it is a correctness risk, not a reduction of the conclusion to an input by construction. No fitted parameters are renamed as predictions, and no uniqueness theorem from the authors is used to forbid alternatives.

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

No free parameters: the paper is pure mathematics with no data fitting, and the Sen operator Θ(K∞) is canonically defined by Sen theory rather than tuned. No invented entities of the graviton type: orientation is a definition (a Galois-equivariant lift of Θ(K∞)), and the theorems characterize existence and uniqueness of such lifts in terms of classical Hodge-Tate data (Theorems 4.7, 6.2), so the concept carries no independent-existence burden. The axioms listed are the background results the central claim rests on, most imported from the published literature and one from an unpublished preprint.

assumptions (10)
  • domain assumption K-hat∞ is a perfectoid field for every infinitely ramified p-adic Lie extension K∞/K.
    Invoked at §1.5.1, cited to [CG96, Theorem 2.13] and [Sch12, Remark 3.3]; perfectoidness underlies almost purity, the pro-étale descent used throughout, and the identification of the residue field of B+dR(K∞).
  • domain assumption Pro-étale descent gives B+dR(K∞)/Iθ ≅ K-hat∞, and B+dR(K∞) is a DVR with maximal ideal Iθ.
    Stated in §1.5.1 ('by pro-étale descent one shows'), cited to [Sch13, Corollary 6.4]; the entire filtration and graded analysis of B+dR(K∞)^pa starts from this residue-field identification.
  • standard math K-hat∞^la is a field of convergent power series in dim Γ(K∞) - 1 variables (Berger-Colmez).
    Theorem 3.6(2), Lemma 1.8, Proposition 5.2 and §5.3 use [BC16, Théorème 3.4]; it identifies gr0 = K-hat∞^la and makes gr^i one-dimensional over it.
  • standard math The Sen operator Θ(K∞) acts by zero on K-hat∞^la (Proposition 3.8 of the paper).
    Quoted from [BC16, §6] with a summary argument in §3.2; this is what turns the lifted operator into a derivation acting as multiplication by n on gr^n (Lemmas 5.9, 5.15) and what makes the section in Theorem 6.3 land in the ∇=0 part.
  • standard math Sen's theorem: Θ(K∞) exists, is nonzero, is GK-equivariant, and lies in C ⊗ LieΓ(K∞).
    Sections 3.1-3.2 and Proposition 3.3 rest on [Sen80, Theorems 11-12]; orientability is defined as a lift of this element, so its existence and nonvanishing are load-bearing.
  • standard math Tate-Sen axioms (TS1)-(TS4) hold for L∞ = K∞Kcyc.
    Used in Proposition 2.4 to reduce Theorem 2.1 to the cyclotomic-containing case; cited to [BC08, Proposition 4.1.1], [BC09, §14.1], and [Por24, Example 5.5].
  • standard math Almost purity for the pro-étale extension L-hat∞/K-hat∞ of perfectoid fields: Hi_cont(Δ, W(L∞)) = 0 for i > 0.
    First equality in the chain of quasi-isomorphisms proving Theorem 2.1 (§2.3); it is essential for passing from Γ(K∞)- to Γ(L∞)-cohomology.
  • standard math Adjunction and derived locally analytic vector machinery of [RJRC22] and [RJRC23] (Proposition 2.7, Theorem A of [RJRC23]).
    The proof of the vanishing theorem and the cohomology comparisons in §7 run through derived locally analytic vectors; [RJRC23] is cited as a preprint.
  • standard math Cyclotomic base case: B+dR(Kcyc)^pa = Kcyc[[t]] ([Por22, Proposition 2.6]).
    A published result by co-author Porat, used in Example 4.10 and as the base case that Theorem 5.5 generalizes; it is an input, not a consequence, of the paper's results.
  • standard math Cyclotomic regular connection comparison RΓ(∇(Kcyc), D(Kcyc)) ≃ RΓ(GK, U) ⊗ K Kcyc ([GMW, Theorem 10.12]).
    Load-bearing for the proof of Theorem 7.5; cited from an unpublished preprint by Gao, Min and Wang, so its status is weaker than a published reference.

how reviews work

0 comments
Cite this review

Pith. "Pith review of de Rham theory and locally analytic vectors." pith.science (2026). https://pith.science/paper/OOHERAYE

@misc{pith2026260800845,
  author       = {Pith},
  title        = {Pith review of: de Rham theory and locally analytic vectors},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OOHERAYE}},
  note         = {Machine review of arXiv:2608.00845}
}
abstract

Let $K_\infty/K$ be a $p$-adic Lie extension of a $p$-adic field $K$. We study the subring of pro-analytic vectors in the de Rham period ring $\mathbf{B}_{\mathrm{dR}}^+(K_\infty)$. We show that the pro-analytic subring admits a Galois-equivariant isomorphism with a formal power series ring $\widehat{K}_{\infty}^{\mathrm{la}} [[t_{K_\infty}]]$ if and only if $K_\infty$ satisfies a certain orientability condition, which says that the $\widehat{K}_\infty$-level Sen operator admits a Galois-equivariant $\mathbf{B}_{\mathrm{dR}}^+$-lift. A key input is the vanishing of higher locally analytic vectors of $\widehat{K}_\infty$-representations. As an application, we show that the lifted Sen operator induces regular connections on pro-analytic vectors of $\mathbf{B}_{\mathrm{dR}}^+$-representations, and can be used to compute Galois cohomology.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 34 canonical work pages

  1. [1]

    Fontaine, Jean-Marc , TITLE =. Doc. Math. , FJOURNAL =. 2003 , NUMBER =

    work page 2003

  2. [2]

    Scholze, Peter , TITLE =. Publ. Math. Inst. Hautes \'. 2012 , PAGES =. doi:10.1007/s10240-012-0042-x , URL =

    doi:10.1007/s10240-012-0042-x 2012

  3. [3]

    Forum Math

    Scholze, Peter , TITLE =. Forum Math. Pi , FJOURNAL =. 2013 , PAGES =. doi:10.1017/fmp.2013.1 , URL =

    doi:10.1017/fmp.2013.1 2013

  4. [4]

    Algebra Number Theory , FJOURNAL =

    Tamme, Georg , TITLE =. Algebra Number Theory , FJOURNAL =. 2015 , NUMBER =. doi:10.2140/ant.2015.9.937 , URL =

    work page doi:10.2140/ant.2015.9.937 2015

  5. [5]

    2008 , PAGES =

    Neukirch, J\"urgen and Schmidt, Alexander and Wingberg, Kay , TITLE =. 2008 , PAGES =. doi:10.1007/978-3-540-37889-1 , URL =

    doi:10.1007/978-3-540-37889-1 2008

  6. [6]

    and Greenberg, R

    Coates, J. and Greenberg, R. , TITLE =. Invent. Math. , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/s002220050048 , URL =

    work page doi:10.1007/s002220050048 1996

  7. [7]

    Gao, Hui and Liu, Tong , TITLE =. Amer. J. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1353/ajm.2020.0043 , URL =

    arXiv 2020

  8. [8]

    arxiv:2311.07024 , YEAR =

    Gao, Hui and Min, Yu and Wang, Yupeng , TITLE =. arxiv:2311.07024 , YEAR =

    arXiv

Show all 39 references
  1. [9]

    preprint , YEAR =

    Gao, Hui and Wang, Yupeng , TITLE =. preprint , YEAR =

  2. [10]

    preprint , YEAR =

    Gao, Hui and Min, Yu and Wang, Yupeng , TITLE =. preprint , YEAR =

  3. [11]

    Fontaine, Jean-Marc , TITLE =. Ast\'. 2004 , PAGES =

    2004

  4. [12]

    Proceedings of a Conference on Local Fields: NUFFIC Summer School held at Driebergen (The Netherlands) in 1966 , pages=

    p -Divisible groups , author=. Proceedings of a Conference on Local Fields: NUFFIC Summer School held at Driebergen (The Netherlands) in 1966 , pages=. 1967 , organization=

    1966

  5. [13]

    Solid locally analytic representations of

    Rodrigues Jacinto, Joaqu\'. Solid locally analytic representations of. Represent. Theory , FJOURNAL =. 2022 , PAGES =. doi:10.1090/ert/615 , URL =

    2022 doi

  6. [14]

    Solid locally analytic representations , JOURNAL =

    Rodrigues Jacinto, Joaqu\'. Solid locally analytic representations , JOURNAL =

  7. [15]

    Multivariable

    Berger, Laurent , journal=. Multivariable. 2016 , publisher=

    2016

  8. [16]

    Locally analytic vector bundles on the

    Porat, Gal , journal=. Locally analytic vector bundles on the. 2024 , publisher=

    2024

  9. [17]

    Forum of Mathematics, Pi , volume=

    On locally analytic vectors of the completed cohomology of modular curves , author=. Forum of Mathematics, Pi , volume=. 2022 , organization=

    2022

  10. [18]

    Corps locaux,

    Serre, Jean-Pierre , journal=. Corps locaux,

  11. [19]

    Familles de repr

    Berger, Laurent and Colmez, Pierre , journal=. Familles de repr

  12. [20]

    Berger, Laurent and Colmez, Pierre , booktitle=. Th

  13. [21]

    1975 , publisher=

    Lie groups and Lie algebras: Chapters 1-3 , author=. 1975 , publisher=

    1975

  14. [22]

    Continuous cohomology and

    Sen, Shankar , journal=. Continuous cohomology and. 1980 , publisher=

    1980

  15. [23]

    Groupes alg

    Serre, Jean-Pierre , journal=. Groupes alg

  16. [24]

    2009 , publisher=

    Lie algebras and Lie groups: 1964 lectures given at Harvard University , author=. 2009 , publisher=

    1964

  17. [25]

    Brinon, Olivier and Conrad, Brian , journal=

  18. [26]

    Locally analytic vectors and

    Poyeton, L. Locally analytic vectors and. arXiv preprint arXiv:2412.03272 , year=

    arXiv

  19. [27]

    Documenta Mathematica , volume=

    Locally analytic vectors and rings of periods , author=. Documenta Mathematica , volume=

  20. [28]

    Locally analytic vectors and overconvergent

    Gao, Hui and Poyeton, L. Locally analytic vectors and overconvergent. Journal of the Institute of Mathematics of Jussieu , volume=. 2021 , publisher=

    2021

  21. [29]

    On the higher analytic vectors of

    Steingart, Rustam , journal=. On the higher analytic vectors of

  22. [30]

    2022 , publisher=

    Porat, Gal , journal=. 2022 , publisher=

    2022

  23. [31]

    Fontaine, Jean-Marc , booktitle=. Repr. 2007 , publisher=

    2007

  24. [32]

    Cherbonnier, Fr. Repr. Inventiones mathematicae , volume=

  25. [33]

    Colmez, Pierre , journal=. Repr

  26. [34]

    Colmez, Pierre and Dospinescu, Gabriel and Pa. The. Cambridge Journal of Mathematics , volume=. 2014 , publisher=

    2014

  27. [35]

    2003 , publisher=

    Berger, Laurent , booktitle=. 2003 , publisher=

    2003

  28. [36]

    Documenta Mathematica , volume=

    Slope filtrations revisited , author=. Documenta Mathematica , volume=

  29. [37]

    Berger, Laurent , journal=. Repr. 2002 , publisher=

    2002

  30. [38]

    Caruso, Xavier , journal=. Repr

  31. [39]

    1969 , publisher=

    Introduction to commutative algebra , author=. 1969 , publisher=

    1969

Pith tools

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