Pith. sign in

REVIEW 3 major objections 6 minor 39 references

Positive characteristic analogues of finite algebraic numbers

T0 review · 3 major / 6 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read The paper proves that over the rational function field K=F_q(θ), the ring P^0_{A_K} of finite algebraic numbers admits three equivalent descriptions: as values of linear recurrent sequences with separable eigen polynomial, as Frobenius eval

desk verdict Core positive-characteristic analogue is solid and worth engaging, but the density theorem's proof has a real gap in Section 7 that needs fixing. read the letter →

arxiv 2601.21209 v2 pith:X64CP7F7 submitted 2026-01-29 math.NT

Daichi Matsuzuki , Honami Sakamoto , Jun Ueki This is my paper · ORCID
classification math.NT MSC 11R5811B3711R4511A0711B3911J93
keywords finitealgebraicnumberslinearrecurrentsequencespositivecharacteristicfunctionfieldsFrobeniusevaluationseparableeigenpolynomialFrobeniansetst-motives
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 builds the positive-characteristic counterpart of the ring of finite algebraic numbers, working inside the function-field analogue A_K of the usual product-of-residue-fields ring. Its main theorem shows that three different descriptions pick out the same subring P^0_{A_K}: linear recurrent sequences over K whose eigen polynomial is a product of separable polynomials, Frobenius evaluations of maps on finite Galois extensions of K, and K-linear combinations of matrix coefficients of the A_K-valued Frobenius automorphism. Because all three agree, P^0_{A_K} sits properly between K and the separable and algebraic elements of A_K, making it the natural finite analogue of the separable closure of K. The paper also proves a zero-set characterization of Frobenian sets of monic irreducibles in terms of such recurrences, and a density formula for roots of separable polynomials. If the main theorem is right, positive-characteristic finite multiple zeta values gain a well-defined arithmetic home, and the t-motive perspective gives a concrete period-theoretic reading of the ring.

What carries the argument

The carrying object is the Frobenius evaluation map ev_L: A(L) → A_K, g ↦ [(g(φ_P) mod P)_P], where A(L) is the set of maps g: Gal(L/K) → L satisfying g(στσ^{-1}) = σg(τ). The proof hinges on a canonical isomorphism between L⊗L and the space of all functions on Gal(L/K), which places the Galois-twisted invariants (L⊗L)^Gal in bijection with A(L). Combined with a Galois-cohomological vanishing result, this turns the eigen-decomposition of a linear recurrence into a Frobenius-evaluation datum and back. The matrix-coefficient description follows from the non-degeneracy of the trace form, and the density theorem works by inflating Gal(L/K) to a wreath product (Z/2)^r^{#Γ} ⋊ Γ, where a counting l

What would settle it

Compute, for some product of separable polynomials f with no root in K, the densities δ({P | f(a_{q^{deg P}})=0}) and δ({P | f has a root mod P}) for the explicit sequences of Example 1.17; if the former ever equals the latter, Theorem 1.21's non-attainment claim is false. Alternatively, enumerate a small finite group Γ and A=(Z/2)^r to test the wreath-product counting bound; a single violation of the claimed lower bound (1 - #Γ/#A)#S' would break the proof of the density theorem.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.13: for α∈A_K, the following are equivalent: (1) α is represented by a linear recurrent sequence over K whose eigen polynomial is a product of separable polynomials; (2) α is the Frobenius evaluation of some g on a finite Galois extension L/K; (3) α is a K-linear combination of matrix coefficients of the A_K-valued Frobenius automorphism of L⊗A_K. From this it follows that P^0_{A_K} is a K-subalgebra with proper chain K ⊊ P^0_{A_K} ⊊ C_sep ⊊ C_alg ⊊ A_K, that Frobenian sets of monic irreducibles are exactly cofinite zero sets of such recurrences, and that for a product of separable polynomials f the sup of zero-densities inside P^0_{A_K} equals the mod-

Load-bearing premise

The load-bearing premise is that the counting estimates about Frobenius conjugacy classes, imported from the number-field analogue without proof, remain valid over F_q(θ); if they fail, the density formula could fail, although the three-way characterization of P^0_{A_K} would survive.

Editorial extensions

If this is right

  • P^0_{A_K} is a K-subalgebra, and the proper chain K ⊊ P^0_{A_K} ⊊ C_sep ⊊ C_alg ⊊ A_K shows the ring is a finite analogue of the separable closure, not the algebraic closure.
  • A set of monic irreducible polynomials is Frobenian exactly when it is cofinally the zero set {P | a_{q^{deg P}} ≡ 0 mod P} of a linear recurrence with separable eigen polynomial, giving the function-field analogue of the classical zero-set theorem for linear recurrences.
  • Any polynomial over K that vanishes on an element of P^0_{A_K} has a root in K, so the ring inherits the number-field analogue's key root-lifting property.
  • For f a product of separable polynomials, the best zero-density achievable inside P^0_{A_K} is exactly the density of mod-P roots of f, and if f has no K-root the supremum is not attained.
  • Periods of t-motives of the relevant Galois-trivial class generate K^sep, reinforcing the picture of P^0_{A_K} as the finite-period analogue of K^sep.

Reading between the lines

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

  • Editorial inference: the density theorem depends on counting lemmas the paper imports from the number-field case without proof; if those lemmas fail over function fields, Theorem 1.21's equality of densities could fail even though Theorem 1.13 and the Frobenian-set theorem would remain intact.
  • Editorial inference: a natural test is to compute the two densities for the explicit sequences of Example 1.17; agreement for small q and degree ranges would support the imported lemmas, and a mismatch would pinpoint exactly which step breaks.
  • Editorial inference: the paper leaves open a definition of a finite period ring P_{A_K} in positive characteristic; the natural candidate would sit strictly between P^0_{A_K} and A_K and would deserve the expected containment P^0_{A_K} ⊊ P_{A_K} ⊊ A_K.
  • Editorial inference: the matrix-coefficient characterization suggests P^0_{A_K} is unchanged if one uses iterates of the Frobenius automorphism, so an easy verification of that invariance would sharpen the period-theoretic interpretation.
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

3 major / 6 minor

Summary. The paper introduces a positive-characteristic analogue of Rosen's ring of finite algebraic numbers. With K=F_q(θ), A_K = (∏_P R/(P))/(⊕_P R/(P)), the authors define P^0_{A_K} as the set of elements representable by linear recurrent sequences with separable eigen polynomial, equivalently by Frobenius evaluations of maps g: Gal(L/K)→L satisfying the 1-cocycle condition, equivalently by K-linear combinations of matrix coefficients of the A_K-valued Frobenius automorphism (Theorem 1.13). They prove P^0_{A_K} is a K-subalgebra, establish the chain K ⊊ P^0_{A_K} ⊊ C^{sep}_{A_K} ⊊ C^{alg}_{A_K} ⊊ A_K (Theorem 1.16), give a Frobenian-set characterization (Theorem 1.19), a root theorem (Theorem 1.20), and a density formula (Theorem 1.21). Section 8 discusses Artin t-motives and shows their periods generate K^{sep}. The main structural results are proven in detail; the density theorem relies on lemmas imported from Rosen's characteristic-zero paper without complete proofs.

Significance. If Theorem 1.13 is correct, this is a meaningful analogue of Rosen's theorem and provides a foundation for a new object. The proof of Theorem 1.13 is careful and uses standard tools (Bourbaki's isomorphism, normal basis theorem, Hilbert 90) valid in any characteristic; the separability assumption is used precisely. The paper also provides explicit examples and connects to Artin t-motives. However, the density theorem is not on the same footing: the proof of Theorem 1.21 imports three lemmas from Rosen's characteristic-zero setting without proof, and the one proof given (Lemma 7.5) contains a gap. The main characterization is unaffected, but the paper's advertised scope includes Theorem 1.21, so the gaps must be repaired.

major comments (3)
  1. [§7.1.2, Lemmas 7.3–7.5] These three lemmas are imported from Rosen's characteristic-zero paper [Ros20] with only the sentence 'Rosen's argument completely applies.' This is not sufficient. Lemma 7.4 in particular asserts an existence statement: for every g∈A(L), {σ | f(g(σ))=0}⊂S_2, and some g attains equality. No proof is supplied, and it is not immediate that the characteristic-zero argument survives the function-field setting (ramification, constant field extensions, and the definition of Frobenius). Since Theorem 1.21 uses the equality max_g δ({P | f(a_P)=0}) = #S_2/#Γ, this missing support is load-bearing. Please provide a complete proof or a precise transfer argument.
  2. [§7.1.2, Lemma 7.5] The lemma states that at least (1−#Γ/#A)#S' elements ξ=(f,σ)∈S' satisfy π(C_{Γ'}(ξ))⊂⟨σ⟩. The proof, however, defines the bad condition as π(C_{Γ'}(ξ))⊄⟨σ⟩_Γ, where ⟨σ⟩_Γ is the normal closure of ⟨σ⟩, and counts only those elements. Since ⟨σ⟩⊂⟨σ⟩_Γ, the condition 'π(C)⊄⟨σ⟩_Γ' is weaker than 'π(C)⊄⟨σ⟩', so the count does not prove the stated lemma. The argument must be redone with the cyclic subgroup ⟨σ⟩, or the lemma restated.
  3. [§7.2, proof of Theorem 1.21] The proof asserts S'_2 = π^{-1}(S_2), where S'_2 = ∪_i {σ∈Γ' | C_{Γ'}(σ)⊂Γ'_i} and Γ'_i = π^{-1}(Γ_i). This equality is false in general. For example, take Γ=C_2, A=C_2, so Γ'≅D_8 with kernel V_4, and let Γ_i={e}. Then ξ=((0,1), e) has centralizer contained in the kernel, so ξ∈S'_2, but π(ξ)=e∉S_2 because S_2=∅. Thus the proof as written is incorrect. The subsequent squeezing argument may be repairable without this equality, but the current text does not provide a valid proof of the density formula.
minor comments (6)
  1. [Definition 1.15] The definition refers to 'the equivalent three conditions in Theorem 1.1', but the conditions for the positive-characteristic setting are in Theorem 1.13.
  2. [Theorem 1.21 statement] The supremum is written as over P^0_A; it should be over P^0_{A_K}.
  3. [§5.1, heading and text] The subsection is titled 'P^0_{A_K} is a K-subalgebra' but the proof begins 'Proof of Theorem 1.13 (1)'; this should be Theorem 1.16 (1).
  4. [Lemma 5.5 proof] The polynomial is defined as f(x)=x^q−θ, but in the proof the expression x^p−θ appears. Since q is a power of p, this is confusing and should be clarified.
  5. [Definition 1.18] The text says 'A set of prime numbers S'; in the function-field setting this should be 'a set of monic irreducible elements of R' (or prime ideals).
  6. [Remark 1.14] There is a typo in the displayed formula: [(g(φp) mod p)_p] should read [(g(φ_P) mod P)_P] consistently.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the central characterization is proved from external inputs, and the only self-citations are non-load-bearing.

full rationale

The main characterization, Theorem 1.13, is a genuine bi-implication proved in both directions from standard external results: Bourbaki's isomorphism (Lemma 3.1), the normal basis theorem (Lemma 3.3), Hilbert's Satz 90 (Lemma 3.4), and the well-definedness of the Frobenius evaluation map (Section 2). None of the three conditions is defined in terms of another, and no parameter is fitted to any subset of data before being called a prediction. The later results, Theorem 1.16, Corollaries 1.19–1.20, and the period interpretation in Section 8, are consequences or analogies rather than renamings of the input. The density theorem 1.21 does import Rosen's Lemmas 7.3–7.5 with the statement 'Rosen's argument completely applies to the case over A_K'; this is reliance on external published work, not on the present authors' own prior results, and any defect in the transfer (for instance the skeptical note about Lemma 7.5's counting condition and the asserted equality S'_2 = π^{-1}(S_2)) is a correctness risk rather than a circularity, since the assertion is not being used as evidence for itself. The only self-citations, [STU26] in Remark 5.3 and [Mat22] in the introduction, are inspirational or background remarks and carry no load in the derivations. I can exhibit no equation or fitted parameter that reduces to its own input, so no significant circularity is present.

Assumptions & free parameters 0 free parameters · 8 assumptions · 1 invented entities

The results rest on standard theorems (Bourbaki's isomorphism, normal basis theorem, Hilbert 90 for GL, Chebotarev, Kummer/Artin–Schreier, Hilbert class fields) and on Rosen's Lemmas 7.3–7.5 imported without proof. No free parameters or fitted values appear. The only invented object, P^0_AK, is explicitly characterized and not ad hoc.

assumptions (8)
  • standard math Bourbaki canonical isomorphism ψ: L⊗K L → Map(Γ,L) is bijective for finite Galois L/K (Lemma 3.1).
    Used in Theorem 1.13 to translate between Γ-invariant tensors and maps g∈A(L).
  • standard math Normal basis theorem: L has a K-basis permuted regularly by Γ (Lemma 3.3).
    Used to prove surjectivity of the trace map L⊗L→(L⊗L)^Γ, needed in both directions of Theorem 1.13.
  • standard math Hilbert's Satz 90 in the form H^1(Γ_i, GL_{l_i}(L))=0 (Lemma 3.4).
    Used to produce coefficients b_i with Γ acting on pairs (b_i,λ_i).
  • standard math Jordan–Chevalley decomposition C=SU over K when the characteristic polynomial is a product of separable polynomials (Section 3.2).
    The proof of (1)⇒(2) requires separating semisimple and unipotent parts over the non-perfect field F_q(θ).
  • standard math Chebotarev density theorem for function fields with Dirichlet density (Lemma 7.1).
    Used to compute densities of Frobenian sets and to prove Theorems 1.19–1.21.
  • standard math Hilbert class field splitting criterion: a prime of L splits completely in the Hilbert class field iff it is principal (Lemma 7.2).
    Used to construct the primes P_i in Lemma 7.6.
  • domain assumption Rosen's Lemmas 7.3, 7.4, 7.5 (zero-set characterization and wreath-product counting) extend verbatim to function fields (Section 7.1.2).
    The paper asserts 'Rosen's argument over A completely applies' without reproducing the proofs; Theorem 1.21's density identity depends directly on these lemmas.
  • standard math Existence of wreath-product Galois extensions with Galois group (Z/2)^r^{#Γ}⋊Γ (Lemma 7.6).
    Proved via Kummer/Artin–Schreier theory; load-bearing for the limiting argument in Theorem 1.21.
invented entities (1)
  • P^0_AK — the ring of finite separable elements over K=F_q(θ) independent evidence
    purpose: Serves as the positive-characteristic analogue of Rosen's P^0_A; defined as images of Frobenius-evaluation maps (or equivalently by linear recurrent sequences with separable eigen polynomial).
    The paper proves multiple independent characterizations (Theorem 1.13), subalgebra property and proper inclusions (Theorem 1.16), and applications (Theorems 1.19–1.21), so the entity is not introduced ad hoc.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Positive characteristic analogues of finite algebraic numbers." pith.science (2026). https://pith.science/paper/X64CP7F7

@misc{pith2026260121209,
  author       = {Pith},
  title        = {Pith review of: Positive characteristic analogues of finite algebraic numbers},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/X64CP7F7}},
  note         = {Machine review of arXiv:2601.21209}
}
abstract

J.~Rosen introduced the ring $\mathcal{P}^0_{\mathcal{A}}$ of so-called finite algebraic numbers, which may be seen as an analogue of certain periods in the ring $\mathcal{A}=\prod_p \mathbb{Z}/p\mathbb{Z} /\bigoplus_p \mathbb{Z}/p\mathbb{Z}$, $p$ running through all prime numbers. In this article, we introduce its positive characteristic analogue $\mathcal{P}^0_{\mathcal{A}_K}$ over the rational function field $K=\mathbb{F}_q(\theta)$, $q$ being a prime power, and study foundational properties, and provide further scopes.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 3 linked inside Pith

  1. [1]

    63 (2024), no

    Takumi Anzawa and Hidetaka Funakura, Congruences for the q - F ibonacci sequence related to its transcendence , Ramanujan J. 63 (2024), no. 4, 1057--1072. 4721156

    2024

  2. [2]

    Anderson, t -motives , Duke Math

    Greg W. Anderson, t -motives , Duke Math. J. 53 (1986), no. 2, 457--502. 850546

    1986

  3. [3]

    James Ax, The elementary theory of finite fields, Ann. of Math. (2) 88 (1968), 239--271. 229613

    1968

  4. [4]

    Gebhard B\"ockle, David Goss, Urs Hartl, and Matthew Papanikolas (eds.), t -motives: H odge structures, transcendence and other motivic aspects , EMS Series of Congress Reports, EMS Publishing House, Berlin, [2020] 2020. 4321963

    2020

  5. [5]

    C hapters 4--7 , english ed., Elements of Mathematics (Berlin), Springer-Verlag, Berlin, 2003

    Nicolas Bourbaki, Algebra II . C hapters 4--7 , english ed., Elements of Mathematics (Berlin), Springer-Verlag, Berlin, 2003. 1994218

    2003

  6. [6]

    Chieh-Yu Chang, Yen-Tsung Chen, and Yoshinori Mishiba, Algebra structure of multiple zeta values in positive characteristic, Camb. J. Math. 10 (2022), no. 4, 743--783. 4524827

    2022

  7. [7]

    Pi 11 (2023), Paper No

    , On T hakur's basis conjecture for multiple zeta values in positive characteristic , Forum Math. Pi 11 (2023), Paper No. e26, 32. 4655529

    2023

  8. [8]

    arXiv:1103.5020, 2011

    Danielle Couty, Jean Esterle, and Rachid Zarouf, D \'e composition effective de Jordan - Chevalley et ses retomb \'e es en enseignement , preprint. arXiv:1103.5020, 2011

    arXiv 2011

Show all 39 references
  1. [9]

    Chieh-Yu Chang and Yoshinori Mishiba, On finite C arlitz multiple polylogarithms , J. Th\'eor. Nombres Bordeaux 29 (2017), no. 3, 1049--1058. 3745259

    2017

  2. [10]

    Keith Conrad, Quadratic reciprocity in characteristic 2, unpublished notes, http://www.math.uconn.edu/ kconrad/blurbs/ugradnumthy/QRchar2.pdf, 2010

    2010

  3. [11]

    Number Theory 232 (2022), 406--422

    Ryotaro Harada, On multi-poly- B ernoulli- C arlitz numbers , J. Number Theory 232 (2022), 406--422. 4343836

    2022

  4. [12]

    66 (2025), no

    Haruto Hori and Masanari Kida, Linear recurrent sequences providing decomposition law in number fields, Ramanujan J. 66 (2025), no. 3, Paper No. 58, 17. 4861242

    2025

  5. [13]

    Pi 12 (2024), Paper No

    Bo-Hae Im, Hojin Kim, Khac Nhuan Le, Tuan Ngo Dac, and Lan Huong Pham, Zagier- H offman's conjectures in positive characteristic , Forum Math. Pi 12 (2024), Paper No. e18, 49. 4812189

    2024

  6. [14]

    A lg\`ebre et th\'eorie des nombres

    Masanobu Kaneko, An introduction to classical and finite multiple zeta values, Publications math\'ematiques de B esan con. A lg\`ebre et th\'eorie des nombres. 2019/1, Publ. Math. Besan con Alg\`ebre Th\'eorie Nr., vol. 2019/1, Presses Univ. Franche-Comt\'e, Besan con, [2019] ...

    2019

  7. [15]

    Masanobu Kaneko, Toshiki Matsusaka, and Shin-ichiro Seki, On finite analogues of E uler's constant , Int. Math. Res. Not. IMRN (2025), no. 2, Paper No. rnae281, 12. 4849924

    2025

  8. [16]

    Maxim Kontsevich, Holonomic D -modules and positive characteristic , Jpn. J. Math. 4 (2009), no. 1, 1--25. 2491280

    2009

  9. [17]

    771--808

    Maxim Kontsevich and Don Zagier, Periods, Mathematics unlimited---2001 and beyond, Springer, Berlin, 2001, pp. 771--808. 1852188

    2001

  10. [18]

    Christer Lech, A note on recurring series, Ark. Mat. 2 (1953), 417--421. 56634

    1953

  11. [19]

    67 (2025), no

    Florian Luca and Wadim Zudilin, Irrationality and transcendence questions in the `poor man's ad\`ele ring', Ramanujan J. 67 (2025), no. 4, Paper No. 88, 10. 4921812

    2025

  12. [20]

    NT ] (2025), 2025

    , Poor man's transcendence for Frobenius traces of elliptic curves , Preprint, arXiv :2507.14773 [math. NT ] (2025), 2025

    2025

  13. [21]

    Mahler, Eine arithmetische Eigenschaft der Taylor - Koeffizienten rationaler Funktionen

    K. Mahler, Eine arithmetische Eigenschaft der Taylor - Koeffizienten rationaler Funktionen . , Proc. Akad. Wet. Amsterdam 38 (1935), 50--60 (German)

    1935

  14. [22]

    Integer Seq

    Daichi Matsuzuki, Alternating variants of multiple poly- B ernoulli numbers and finite multiple zeta values in characteristic 0 and p , J. Integer Seq. 25 (2022), no. 5, Art. 22.5.7, 21. 4448013

    2022

  15. [23]

    McCarthy, Algebraic extensions of fields, second ed., Dover Publications, Inc., New York, 1991

    Paul J. McCarthy, Algebraic extensions of fields, second ed., Dover Publications, Inc., New York, 1991. 1105534

    1991

  16. [24]

    Masanori Morishita, Knots and primes, Universitext, Springer Singapore, 2024, An introduction to arithmetic topology, 2nd edition

    2024

  17. [25]

    NT ] (2024), 2024

    Takumi Maesaka, Shin-ichiro Seki, and Taiki Watanabe, Deriving two dualities simultaneously from a family of identities for multiple harmonic sums, Preprint, arXiv :2402.05730 [math. NT ] (2024), 2024

    2024 arXiv

  18. [26]

    322, Springer-Verlag, Berlin, 1999, Translated from the 1992 German original and with a note by Norbert Schappacher, With a foreword by G

    J \"u rgen Neukirch, Algebraic number theory, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 322, Springer-Verlag, Berlin, 1999, Translated from the 1992 German original and with a note by Norbert Schappacher, With a forew...

    1999

  19. [27]

    Papanikolas, Tannakian duality for A nderson- D rinfeld motives and algebraic independence of C arlitz logarithms , Invent

    Matthew A. Papanikolas, Tannakian duality for A nderson- D rinfeld motives and algebraic independence of C arlitz logarithms , Invent. Math. 171 (2008), no. 1, 123--174. 2358057

    2008

  20. [28]

    Michael Rosen, The H ilbert class field in function fields , Exposition. Math. 5 (1987), no. 4, 365--378. 917350

    1987

  21. [29]

    210, Springer-Verlag, New York, 2002

    , Number theory in function fields, Graduate Texts in Mathematics, vol. 210, Springer-Verlag, New York, 2002. 1876657

    2002

  22. [30]

    arXiv:1706.06573, 2017

    Julian Rosen, A choice-free absolute G alois group and A rtin motives , preprint. arXiv:1706.06573, 2017

    2017 arXiv

  23. [31]

    Number Theory 208 (2020), 59--71

    , A finite analogue of the ring of algebraic numbers, J. Number Theory 208 (2020), 59--71. 4032288

    2020

  24. [32]

    Number Theory 263 (2024), 335--365

    Julian Rosen, Yoshihiro Takeyama, Koji Tasaka, and Shuji Yamamoto, The ring of finite algebraic numbers and its application to the law of decomposition of primes, J. Number Theory 263 (2024), 335--365. 4755038

    2024

  25. [33]

    Shin-ichiro Seki, Regular primes, non- W ieferich primes, and finite multiple zeta values of level N , Integers 24 (2024), Paper No. A22, 14. 4710423

    2024

  26. [34]

    67, Springer-Verlag, New York-Berlin, 1979, Translated from the French by Marvin Jay Greenberg

    Jean-Pierre Serre, Local fields, Graduate Texts in Mathematics, vol. 67, Springer-Verlag, New York-Berlin, 1979, Translated from the French by Marvin Jay Greenberg. 554237 (82e:12016)

    1979

  27. [35]

    11, CRC Press, Boca Raton, FL, 2012

    , Lectures on N_X (p) , Chapman & Hall/CRC Research Notes in Mathematics, vol. 11, CRC Press, Boca Raton, FL, 2012. 2920749

    2012

  28. [36]

    Skolem, Ein Verfahren zur Behandlung gewisser exponentialer Gleichungen und diophantischer Gleichungen

    Th. Skolem, Ein Verfahren zur Behandlung gewisser exponentialer Gleichungen und diophantischer Gleichungen . , 8. Skand . Mat . Kongr ., Stockholm , 1934, 163-188 (1934)., 1934

    1934

  29. [37]

    Honami Sakamoto, Ryoto Tange, and Jun Ueki, Liminal SL _2 Z _p -representations and odd-th cyclic covers of genus one two-bridge knots , Canad. Math. Bull. (2026), to appear. arXiv:2501.00323

    2026

  30. [38]

    Number Theory 129 (2009), no

    Lenny Taelman, Artin t -motifs , J. Number Theory 129 (2009), no. 1, 142--157. 2468475

    2009

  31. [39]

    Thakur, Function field arithmetic, World Scientific Publishing Co., Inc., River Edge, NJ, 2004

    Dinesh S. Thakur, Function field arithmetic, World Scientific Publishing Co., Inc., River Edge, NJ, 2004. 2091265

    2004

Pith tools

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