Pith. sign in

REVIEW 5 minor 47 references

Three variations on the linear independence of grouplikes in a coalgebra

T0 review · 0 major / 5 minor · reviewed 2026-08-27 · deepseek-v4-flash

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

Pith's one-line read The paper extends the classical linear independence of distinct grouplike elements beyond fields: to commutative rings, to id-unipotent coefficients in commutative bialgebras, and to invertible characters in the dual algebra.

desk verdict Genuinely new and rigorous proofs of three variations on grouplike independence; Theorem 4.7 and the dual-algebra theorem hold up, with only minor presentational blemishes. read the letter →

arxiv 2009.10970 v5 pith:ZNTLXAPF submitted 2020-09-23 math.QA math.CO

Gérard Duchamp (LIPN) , Darij Grinberg , Vincel Minh This is my paper · ORCID
classification math.QAmath.CO MSC 16T0516T15
keywords grouplikeelementscoalgebrabialgebralinearindependenceid-unipotentcharactersconvolutionalgebrasymmetric
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 takes a standard one-line result—distinct grouplike elements of a coalgebra over a field are linearly independent—and asks how far it survives when the field is replaced by a commutative ring, when coefficients are allowed to live in a subalgebra of the bialgebra, and when grouplikes are replaced by characters. The first variation proves that over a commutative ring a relation $\sum_i c_i g_i=0$ forces each coefficient $c_i$ to annihilate the product $\prod_{j\ne i}(g_i-g_j)$ in the symmetric algebra of the coalgebra. The second shows that in a commutative bialgebra, if the grouplikes and their pairwise differences are regular, then the grouplikes are linearly independent over the set of id-unipotent elements—elements whose convolution powers with $\eta\epsilon-\mathrm{id}$ eventually vanish. The third proves that in the dual algebra of a bialgebra over an integral domain, the invertible characters are linearly independent over a naturally defined subalgebra $B^\vee_\infty$. Taken together, the three theorems turn the classical fact into a special case of a wider phenomenon that applies to many bialgebras arising in combinatorics and noncommutative geometry.

What carries the argument

The main engine is a generating-series identity. In Theorem 3.1, summing $\sum_i c_i(1-tg_i)^{-1}$ and multiplying by $\prod_j(1-tg_j)$ produces the polynomial identity $\sum_i c_i \prod_{j\ne i}(t-g_j)=0$, whose substitution $t=g_h$ isolates $c_h\prod_{j\ne h}(g_h-g_j)$. For bialgebras, Lemma 4.14 expresses the generating series of convolution powers of an id-unipotent element as a rational function: $(1-t)^{m+1}\sum_{k\in\mathbb N} \mathrm{id}^{\circledast k}(b)t^k = \sum_{k=0}^m (-1)^k(\eta\epsilon-\mathrm{id})^{\circledast k}(b)t^k(1-t)^{m-k}$. This rational expression is what allows the same substitution-and-cancellation argument to run over id-unipotent coefficients, where the coefficient ring is no longer an integral domain. The dual-algebra result uses a shift action $u\triangleright f$ on the dual, mimicking a classical descent argument for independence of characters, to descend degrees in the annihilator filtration $B^\vee_N=(B_+^{N+1})^\perp$, where $B_+=\ker\epsilon$.

What would settle it

Test Lemma 4.14 directly in $B=\mathbb F_p[x]/(x^p)$ with $\Delta(x)=x\otimes 1+1\otimes x+x\otimes x$ and $b=x$: both sides of the stated identity must become the same polynomial in $t$ of degree at most $p-1$. A discrepancy there, or a commutative bialgebra with regular grouplikes and regular pairwise differences admitting a nontrivial id-unipotent relation $\sum_i b_i g_i=0$, would refute Theorem 4.7.

Watch

Extended reading notes

Core claim

The central discovery is that the classical linear independence of grouplike elements is not tied to fields. Theorem 3.2 replaces field linear independence with the conclusion $c_i \prod_{j\neq i}(g_i-g_j)=0$ in $\mathrm{Sym} C$ whenever $\sum_i c_i g_i=0$ in a coalgebra over a commutative ring; over a field the integral domain property of $\mathrm{Sym} C$ turns this back into ordinary independence. Theorem 4.7 sharpens the setting: in a commutative bialgebra, if the grouplikes and all pairwise differences are regular (non-zero-divisors), then the grouplikes are linearly independent over the set of id-unipotent elements. Theorem 5.8 proves the dual statement: for a bialgebra over an integral domain, the invertible characters are left linearly independent over the subalgebra $B^\vee_\infty$ of the convolution algebra, with a cocommutative corollary characterizing algebraic independence of families of characters by injectivity of the monomial map.

Load-bearing premise

The load-bearing premise is that the infinite geometric-series expansion $\frac{1}{1-u}=1+u+u^2+\cdots$ is legitimate inside the convolution algebra of maps from $B$ to $B[[t]]$, with $1-t$ treated as a scalar that commutes with everything; if this formal step fails, the proof of Theorem 4.7 collapses.

Editorial extensions

If this is right

  • Over a field, Theorem 3.2's product identity reduces to the classical theorem that distinct grouplikes in a coalgebra are linearly independent.
  • In a commutative bialgebra where every element is id-unipotent (for example a connected graded bialgebra), Theorem 4.7 upgrades the conclusion to ordinary linear independence of the grouplikes whenever the grouplikes and their differences are regular.
  • Theorem 5.8(b) gives a usable criterion in cocommutative bialgebras: a family of invertible characters is algebraically independent over $B^\vee_\infty$ exactly when the associated monomial map is injective; in the one-variable polynomial bialgebra this reduces to $\mathbb{Z}$-linear independence of the scalars attached to the characters.
  • For tensor bialgebras over an integral domain, the characters $\phi^*$ attached to linear forms $\phi\in V^\vee$ are algebraically independent over the shuffle algebra exactly when the forms are $\mathbb{Z}$-linearly independent.

Reading between the lines

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

  • Because the proof of Theorem 4.7 uses commutativity to make convolution powers multiplicative, the authors' open question whether commutativity is needed could be answered by testing cocommutative but noncommutative bialgebras; a counterexample would locate the boundary of the phenomenon, while a proof would move the result toward quantum groups.
  • The rational-function form of Lemma 4.14 suggests replacing 'eventually vanishes' in the definition of id-unipotence by a summability condition in a completed bialgebra; if the geometric-series tail only needs to converge, the same independence argument might run for rationally finite elements.
  • The monoid-bialgebra examples in Section 5.2 connect characters to Kleene stars and Möbius functions; a reader might read Theorem 5.8 as a uniform independence statement behind scattered rationality results for rational series, though the paper does not develop that link.
Share X Bluesky LinkedIn Reddit HN

Formalized claims in Lean

  1. Claim #1: The central discovery is that the classical linear independence of grouplike elements is not tied to fields. Theorem 3.2 replaces field linear independence with the conclusion $c_i \prod_{j\neq i}(g_i-g_j)=0$ in $\mathrm{Sym} C$ whenever $\sum_i c_i g_i=0$ in a coalgebra over a commutative ring; over a field the integral domain property of $\mathrm{Sym} C$ turns this back into ordinary independenc

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper proves three variants of the classical theorem that grouplike elements of a coalgebra over a field are linearly independent. Theorem 3.2 replaces the field by an arbitrary commutative ring and derives a weaker conclusion: for a relation Σ c_i g_i = 0 in a coalgebra C, one obtains c_i ∏_{j≠i}(g_i−g_j) = 0 in the symmetric algebra Sym C. Theorem 4.7 strengthens the conclusion in a commutative bialgebra: if the grouplike elements and their pairwise differences are regular, then the grouplike elements are linearly independent over the set L of id-unipotent elements. Theorem 5.8(b) states that, over an integral domain, the set of invertible characters of a bialgebra is left linearly independent over the subalgebra B∨∞ of the convolution dual. The paper also includes an appendix showing that the id-unipotent elements form a subalgebra, a discussion of characters of monoid and polynomial algebras, and an appendix on duality for tensor products over non-Noetherian rings.

Significance. If the results are correct, they form a useful and nontrivial extension of a standard coalgebra fact. The ring-valued generalization in Theorem 3.2 is clean and exactly captures the obstruction to ordinary linear independence. Theorem 4.7 is the most substantial contribution: it introduces the class of id-unipotent elements and shows, under regularity assumptions, a new linear-independence phenomenon in commutative bialgebras. Theorem 5.8(b) provides a flexible independence criterion for invertible characters and is applied to concrete bialgebras in Examples 5.13. The proofs are generally detailed and self-contained: Lemma 4.14 is the delicate generating-function step, and the minimal-counterexample argument in Theorem 5.8(b) is coherent. The examples (e.g., q-infiltration bialgebras, monoid algebras) usefully illustrate sharpness of the hypotheses. I found no load-bearing error in the central arguments.

minor comments (5)
  1. [Section 5.3, proof of Theorem 5.8(b), near Eq. (65)] The justification for the equality p'_ǫ = u ⊲ p_ǫ is misstated: the parenthetical says that u ⊲ p_ǫ = 0 and u_(2) ⊲ p_ǫ = 0, but the correct reason is that ⟨ǫ|u⟩ = 0 and ⟨ǫ|u_(2)⟩ = 0. The conclusion is true, and the argument is unaffected, but the explanation should be corrected.
  2. [Proposition 5.1 and second proof of Lemma 4.18] The proofs of Proposition 5.1 and of the second proof of Lemma 4.18 are explicitly marked as sketched. Since these statements are later used, it would be helpful to either include the full details or provide a precise reference to where the binomial inversion argument is written out completely.
  3. [Lemma 4.14] The identification of Hom(B, B[[t]]) with the power-series ring (Hom(B, B))[[t]] is stated in prose and is legitimate, but a short sentence stressing that t is central and that the geometric-series identity is taken in the t-adic sense would improve readability and forestall possible objections.
  4. [Throughout] There are several typographical errors, including 'un der' in the abstract, 'Northen Paris University' in the affiliations, and 'V incel' in the author line. These should be cleaned up in the final version.
  5. [Section 5.4, Example 5.15] Example 5.15 is a long and interesting appendix, but it is somewhat tangential to the main results. It could be compressed or moved to a separate note without harming the paper.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the three main theorems are proved from the definitions via independent lemmas, with self-citations used only for background or auxiliary standard facts.

full rationale

The paper's three main theorems are each derived by self-contained arguments from the definitions of coalgebra, bialgebra, convolution, and id-unipotence. Theorem 3.2 reduces grouplike independence to the purely commutative-algebraic Theorem 3.1, whose proof is a direct power-series and substitution argument with no assumption of the target result. Theorem 4.7 is proved from Lemma 4.14, which is established inside the paper by manipulating formal power series over the convolution algebra Hom(B,B[[t]]); the key geometric-series inversion is legitimate because t is central and (1-t) is invertible in B[[t]]. Lemma 4.14 does not assume Theorem 4.7 or any equivalent statement. The later elimination argument uses only the definition of degree-upper bound and the regularity assumptions. Theorem 5.8(b) is proved by a self-contained minimal-counterexample argument with left shifts, analogous to Artin's proof of linear independence of characters; it does not import the conclusion from prior work. The self-citations that appear ([GriRei20], [Grinbe17], [DuMiNg19], [DGM2-20]) are cited for background definitions, standard binomial identities, or notation, and none of the load-bearing steps reduces to a self-citation. No fitted parameter is called a prediction, and no known result is merely renamed. The only noted defect is a harmless typo in the proof of Theorem 5.8(b), which does not affect the derivation. Consequently, there is no significant circularity.

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

The paper relies only on standard algebraic background (coalgebras, bialgebras, convolution, symmetric algebras, power series) and two cited binomial identities. No free parameters are fitted. The only new notion is 'id-unipotent', which is explicitly defined and used as a coefficient set, not as an unexplained entity.

assumptions (6)
  • standard math Standard definitions of k-coalgebra, k-bialgebra, convolution product, and Sweedler notation.
    Used in all sections, e.g., Section 2.1.3 and throughout proofs.
  • standard math Symmetric algebra Sym C exists and the tensor algebra projects onto it.
    Used in the proof of Theorem 3.2 to obtain identities in Sym C.
  • standard math Formal power series ring A[[t]] and Laurent polynomial ring A[t,t^{-1}] have the described universal properties.
    Used in proof of Theorem 3.1 and Lemma 4.14.
  • domain assumption Commuting scalar t in B[[t]] acts centrally on the convolution algebra Hom(B,B[[t]]).
    Critical in Lemma 4.14; follows from centrality of t in the target algebra.
  • standard math Binomial transform inversion (Lemma 4.16) and Vandermonde-type identity (Lemma 4.17) from [Grinbe17].
    Used in Appendix 4.3 to prove id-unipotents form a subalgebra.
  • domain assumption k is a commutative ring (with unity); for Theorem 5.8(b) k is an integral domain; for Theorem 4.7 B is commutative.
    Explicitly stated in theorem statements, Section 2.1.1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Three variations on the linear independence of grouplikes in a coalgebra." pith.science (2026). https://pith.science/paper/ZNTLXAPF

@misc{pith2026200910970,
  author       = {Pith},
  title        = {Pith review of: Three variations on the linear independence of grouplikes in a coalgebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZNTLXAPF}},
  note         = {Machine review of arXiv:2009.10970}
}
read the original abstract

The grouplike elements of a coalgebra over a field are known to be linearly independent over said field. Here we prove three variants of this result. One is a generalization to coalgebras over a commutative ring (in which case the linear independence has to be replaced by a weaker statement). Another is a stronger statement that holds (un-der stronger assumptions) in a commutative bialgebra. The last variant is a linear independence result for characters (as opposed to grouplike elements) of a bialgebra.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages

  1. [1]

    Cambridge University Press, Cambridge-New York, 1980

    Eiichi Abe , Hopf algebras, Cambridge Tracts in Mathematics 74. Cambridge University Press, Cambridge-New York, 1980

    work page 1980

  2. [2]

    J. Y. Abuhlail, J. G\'omez-Torrecillas, R. Wisbauer , Dual coalgebras of algebras over commutative rings, Journal of Pure and Applied Algebra 153 (2000), pp. 107--120

    work page 2000

  3. [3]

    https://projecteuclid.org/euclid.ndml/1175197041

    Emil Artin , Galois Theory, Notre Dame Mathematical Lectures 2, University of Notre Dame Press, 1971. https://projecteuclid.org/euclid.ndml/1175197041

    work page arXiv 1971

  4. [4]

    Berstel, C

    J. Berstel, C. Reutenauer , Rational series and their languages, Springer-Verlag, 1988

    work page 1988

  5. [5]

    One-parameter groups and combinatorial physics

    G. Duchamp, K.A. Penson, A.I. Solomon, A. Horzela and P. Blasiak , One-Parameter Groups and Combinatorial Physics, Scientific World Publishing (2004).\\ arXiv:quant-ph/0401126

    work page Pith review arXiv 2004

  6. [6]

    Bourbaki , Algebra I (Chapters 1-3), Springer 1989

    N. Bourbaki , Algebra I (Chapters 1-3), Springer 1989

    work page 1989

  7. [7]

    Bourbaki , Lie groups and Lie algebras (Chapters 1-3), Springer 1998

    N. Bourbaki , Lie groups and Lie algebras (Chapters 1-3), Springer 1998

    work page 1998

  8. [8]

    Bourbaki , Commutative Algebra, Hermann 1972

    N. Bourbaki , Commutative Algebra, Hermann 1972

    work page 1972

Show all 47 references
  1. [9]

    V. C. Bui , Hopf algebras of shuffles and quasi-shuffles. Constructions of dual bases, Master dissertation (2012)

    2012

  2. [10]

    V. C. Bui, G. H. E. Duchamp, Hoang Ngoc Minh, L. Kane, C. Tollu , Dual bases for noncommutative symmetric and quasi-symmetric functions via monoidal factorization, Journal of Symbolic Computation 75 (2016), pp. 56--73

    2016

  3. [11]

    (eds), Frontiers in Number Theory, Physics, and Geometry II, (2007)

    Pierre Cartier A primer of Hopf algebras, in: Cartier P., Moussa P., Julia B., Vanhove P. (eds), Frontiers in Number Theory, Physics, and Geometry II, (2007)

    2007

  4. [12]

    Cartier, D

    P. Cartier, D. Foata, Commutation and Rearrangements, An electronic reedition of the monograph Probl\`emes combinatoires decommutation et r\'earrangements, Lect. Notes in Math. 85 Springer-Verlag (1969), with three new appendices by D. Foata, B. Lassand Ch. Krattenthaler (2006)

    1969

  5. [13]

    Chen, R.H

    K.T. Chen, R.H. Fox, R.C. Lyndon , Free differential calculus, IV: The quotient groups of the lower central series, Ann. of Math. (2) 68 (1958), pp. 163--178

    1958

  6. [14]

    G\'erard H. E. Duchamp, Darij Grinberg, Hoang Ngoc Minh , Kleene stars in shuffle bialgebras, forthcoming

  7. [15]

    Duchamp, C

    G. Duchamp, C. Reutenauer , Un crit\`ere de rationalit\'e provenant de la g\'eom\'etrie noncommutative, Inventiones Mathematicae, 128 (1997), pp. 613--622

    1997

  8. [16]

    Duchamp, D.Krob , Free partially commutative structures, Journal of Algebra, 156 , 318-359 (1993)

    G. Duchamp, D.Krob , Free partially commutative structures, Journal of Algebra, 156 , 318-359 (1993)

    1993

  9. [17]

    G\'erard H. E. Duchamp , Christophe Tollu , Sweedler's duals and Sch\"utzenberger's calculus, In K. Ebrahimi-Fard, M. Marcolli and W. van Suijlekom (eds), Combinatorics and Physics, pp. 67--78, Amer. Math. Soc. (Contemporary Mathematics, vol. 539), 2011.\\ arXiv:0712.0125v3

    2011 arXiv

  10. [18]

    G\'erard H. E. Duchamp, Vincel Hoang Ngoc Minh, Christophe Tollu, B\`ui van Chi\^en, Nguyen Hoang Nghia , Combinatorics of -deformed stuffle Hopf algebras, arXiv:1302.5391v7

    arXiv

  11. [19]

    Duchamp, V

    G.H.E. Duchamp, V. Hoang Ngoc Minh, Q.H. Ngo , Kleene stars of the plane, polylogarithms and symmetries, Theoretical Computer Science 800 (2019), pp. 52--72, arXiv:1811.09091v2

    2019 arXiv

  12. [20]

    G\'erard H. E. Duchamp , MathOverflow answer \#216201: Important formulas in combinatorics, https://mathoverflow.net/a/216201

  13. [21]

    Duchamp, M

    G. Duchamp, M. Flouret, \'E. Laugerotte, J.-G. Luque , Direct and dual laws for automata with multiplicities, Theoretical Computer Science 267 (2001), pp. 105--120, arXiv:math/0607412v1

    2001 arXiv

  14. [22]

    Eilenberg , Automata, languages and machines, vol A

    S. Eilenberg , Automata, languages and machines, vol A. Acad. Press, New-York, 1974

    1974

  15. [23]

    K. R. Goodearl , Distributing Tensor Product over Direct Product, Pacific Journal of Mathematics 43, no. 1 (1972), pp. 107--110

    1972

  16. [24]

    Darij Grinberg , Notes on the combinatorial fundamentals of algebra, 10 January 2019, arXiv:2008.09862v1

    2019 arXiv

  17. [25]

    See also http://www.cip.ifi.lmu.de/ grinberg/algebra/HopfComb-sols.pdf for a version that gets updated

    Darij Grinberg, Victor Reiner , Hopf algebras in Combinatorics, version of 27 July 2020, arXiv:1409.8356v7. See also http://www.cip.ifi.lmu.de/ grinberg/algebra/HopfComb-sols.pdf for a version that gets updated

    2020 arXiv

  18. [26]

    Milnor and J.C

    J.W. Milnor and J.C. Moore , On the structure of Hopf algebras, Ann. of Math. (2) 81 (1965), pp. 211--264

    1965

  19. [27]

    560--579

    Fr\'ed\'eric Patras, Christophe Reutenauer , On Dynkin and Klyachko Idempotents in Graded Bialgebras, Advances in Applied Mathematics 28 (2002), pp. 560--579

    2002

  20. [28]

    Radford , Hopf algebras, Series on Knots and Everything 49

    David E. Radford , Hopf algebras, Series on Knots and Everything 49. World Scientific, 2012

    2012

  21. [29]

    Christophe Reutenauer , Free Lie Algebras, London Math. Soc. Monographs, 1993

    1993

  22. [30]

    Taft , A left quantum group, Journal of Algebra 286 (2005), pp

    Suemi Rodr\'iguez-Romo, Earl J. Taft , A left quantum group, Journal of Algebra 286 (2005), pp. 154--160

    2005

  23. [31]

    245--270

    Marcel-Paul Sch\"utzenberger , On the definition of a family of automata, Information and Control, 4 (1961), pp. 245--270

    1961

  24. [32]

    Sweedler , Hopf algebras, W.A

    Moss E. Sweedler , Hopf algebras, W.A. Benjamin, New York, 1969

    1969

  25. [33]

    Bourbaki , Algebra II (Chapters 4-7), Springer 2003

    N. Bourbaki , Algebra II (Chapters 4-7), Springer 2003

    2003

  26. [34]

    Bourbaki , General Topology, part 1, Hermann 1966

    N. Bourbaki , General Topology, part 1, Hermann 1966

    1966

  27. [35]

    Press, 1994

    Vyjayanthi Chari , Andrew Pressley , A guide to quantum groups, Cambridge Univ. Press, 1994

    1994

  28. [36]

    G. H. E. Duchamp, P. Blasiak, A. Horzela, K. A. Penson, and A. I. Solomon , A three-parameter Hopf deformation of the algebra of Feynman-like diagrams, Russian Laser Research: Volume 31,

  29. [37]

    Deneufch\^atel, G.H.E

    M. Deneufch\^atel, G.H.E. Duchamp, Hoang Ngoc Minh, A.I. Solomon ,

  30. [38]

    Drinfel'd , On quasitriangular quasi-Hopf algebras and a group closely connected with Gal( / ), Leningrad Math

    V. Drinfel'd , On quasitriangular quasi-Hopf algebras and a group closely connected with Gal( / ), Leningrad Math. J. , 4, pp. 829--860, 1991

    1991

  31. [39]

    G\'erard H. E. Duchamp, Christophe Tollu, Karol A. Penson and Gleb A. Koshevoy , Deformations of Algebras: Twisting and Perturbations, S\'eminaire Lotharingien de Combinatoire, B62e (2010)

    2010

  32. [40]

    G. H. E. Duchamp, C. Tollu, K. A. Penson and G. A. Koshevoy , Deformations of Algebras: Twisting and Perturbations,

  33. [41]

    Duchamp, J.Y

    G.H.E. Duchamp, J.Y. Enjalbert, Hoang Ngoc Minh, C. Tollu , The mechanics of shuffle products and their siblings, Discrete Mathematics 340 9 2286-2300 (2017)

    2017

  34. [42]

    Enjalbert, Hoang Ngoc Minh ,

    J.Y. Enjalbert, Hoang Ngoc Minh ,

  35. [43]

    Hochschild ,

    Gerhard P. Hochschild ,

  36. [44]

    M. E. Hoffman , Quasi-symmetric functions, multiple zeta values, and rooted trees, Oberwolfach Reports 3 (2006), 1259-1262; preprint QA/0609413

    2006

  37. [45]

    Duchamp, J.Y

    G.H.E. Duchamp, J.Y. Enjalbert, Hoang Ngoc Minh, C. Tollu ,

  38. [46]

    Enjalbert, Hoang Ngoc Minh , Analytic and combinatoric aspects of Hurwitz polyz\^etas,

    J.Y. Enjalbert, Hoang Ngoc Minh , Analytic and combinatoric aspects of Hurwitz polyz\^etas,

  39. [47]

    Sch\"utzenberger , On a theorem of R

    M.P. Sch\"utzenberger , On a theorem of R. Jungen, Proc. document macrosB1.tex0000664000000000000000000001632514101635432011755 0ustar rootroot amsmath amsfonts amssymb [1] #1 A Z L M H C Q S K J U D g N _ >0 Z Q R K def = [1] ( #1 ) [2] #1 #2 [2] _ #1 ^ #2 [2] _ #1 ^ #2 [2] _...

Pith tools

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