Pith. sign in

REVIEW 4 minor 1 cited by

Induced structures of averaging commutative and cocommutative infinitesimal bialgebras via a new splitting of perm algebras

T0 review · 0 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

Pith's one-line read This paper establishes that every averaging commutative and cocommutative infinitesimal bialgebra gives rise to a special apre-perm bialgebra, lifting the classical construction of a perm algebra from an averaging operator to the bialgebra

desk verdict Sound structural paper: new apre-perm splitting and Manin-triple equivalence; main arguments check out, with only exposition gaps in verifications. read the letter →

arxiv 2509.09884 v1 pith:PTQA5UPJ submitted 2025-09-11 math.RA math.QAmath.RT

classification math.RAmath.QAmath.RT MSC 17A3617A4017B1017D2518M70
keywords averagingoperatorpermalgebrainfinitesimalbialgebraapre-permManintripleFrobeniusO-operatorembeddingtensor
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 lifts the classical fact that an averaging operator on a commutative associative algebra produces a perm algebra to the level of bialgebras. It introduces averaging commutative and cocommutative infinitesimal bialgebras as the bialgebra counterpart of averaging commutative associative algebras, and shows they are equivalent to double constructions of averaging Frobenius commutative algebras. To capture the induced bialgebra structure, the paper defines apre-perm algebras via a new splitting of perm multiplications into two operations, and special apre-perm algebras when the second operation is commutative. The main result is that an averaging commutative and cocommutative infinitesimal bialgebra induces a special apre-perm bialgebra, with explicit formulas for the new operations and comultiplications. If correct, this gives a coherent bialgebra-level analogue of the averaging-to-perm correspondence, connecting Frobenius algebras, Manin triples, and perm algebras.

What carries the argument

The paper introduces apre-perm algebras: a two-operation splitting (▷, ◁) of a perm algebra whose sum is the perm multiplication and whose dual operators (L*_▷ + R*_◁, −R*_◁) form a representation of the perm algebra on the dual space. A special apre-perm algebra requires ◁ to be commutative. The carrying mechanism is the equivalence between representations of a perm algebra and representations on its dual, used to relate the adjoint representation to (L*_▷ + R*_◁, −R*_◁) and hence to define the splitting. The paper also uses dual a-O-operators and strong special dual a-O-operators to connect compatible apre-perm structures to bilinear forms and Manin triples.

What would settle it

Find a finite-dimensional perm algebra and a triple (l, r, V) for which (l*, l* − r*, V*) is not a representation, or construct an averaging commutative and cocommutative infinitesimal bialgebra whose images under formulas (63) and (102) fail to satisfy one of equations (84)-(90); either would refute the central induction theorem.

Watch

Extended reading notes

Core claim

The central claim is Proposition 4.13: given an averaging commutative and cocommutative infinitesimal bialgebra (A, ·_A, ∆, P, Q), the multiplications defined by x ▷_A y = P(x)·_A y + Q(x·_A y) and x ◁_A y = −Q(x·_A y), together with comultiplications ϑ(x) = (Q⊗id)∆(x) + ∆(Px) and θ(x) = −∆(Px), form a special apre-perm bialgebra. This is proved by showing that the double construction of an averaging Frobenius commutative algebra yields a Manin triple of special apre-perm algebras, and that this Manin triple is equivalent to the bialgebra structure. In particular, the paper shows that perm algebras equipped with nondegenerate symmetric left-invariant bilinear forms correspond exactly to quad

Load-bearing premise

The results rely on a cited lemma, not proved in the paper, that a triple (l, r, V) is a representation of a perm algebra if and only if (l*, l* − r*, V*) is a representation; if this duality fails in the setting of finite-dimensional perm algebras, the definition of apre-perm algebras and the induced bialgebra theorem collapse.

Editorial extensions

If this is right

  • Every averaging commutative and cocommutative infinitesimal bialgebra carries a special apre-perm bialgebra structure given explicitly by formulas (63) and (102).
  • Double constructions of averaging Frobenius commutative algebras are equivalent to Manin triples of special apre-perm algebras, which in turn correspond to Manin triples of perm algebras with nondegenerate symmetric left-invariant bilinear forms.
  • Perm algebras with nondegenerate symmetric left-invariant bilinear forms are in one-to-one correspondence with quadratic special apre-perm algebras.
  • Special apre-perm algebras give rise to both a pre-Lie algebra and an anti-pre-Lie algebra under compatible operations, with the anti-pre-Lie structure matching the commutative 2-cocycle of the sub-adjacent Lie algebra.
  • Manin triples of perm algebras with symmetric left-invariant forms produce Manin triples of Lie algebras with commutative 2-cocycles via the sub-adjacent Lie algebra construction.

Reading between the lines

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

  • The paper's mechanism suggests that other induced bialgebra structures from averaging operators might be obtained by analogous dual-representation splittings; for instance, averaging Lie algebras with symmetric invariant forms could induce special variants of pre-Lie bialgebras.
  • The explicit formulas (63) and (102) provide a testable recipe for constructing examples: any concrete averaging commutative algebra with a compatible infinitesimal bialgebra structure can be checked directly against equations (84)-(90).
  • The one-to-one correspondence between quadratic special apre-perm algebras and perm algebras with symmetric left-invariant forms may offer a route to classify symmetric left-invariant perm algebra structures in low dimensions.
  • The paper leaves open whether the induced special apre-perm bialgebra is functorial in the input averaging bialgebra.
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

0 major / 4 minor

Summary. The paper lifts the classical construction that an averaging operator on a commutative associative algebra induces a perm algebra (Proposition 1.1) to the bialgebra level. Section 2 introduces representations of averaging commutative algebras, admissible averaging operators, double constructions of averaging Frobenius commutative algebras, and averaging commutative and cocommutative infinitesimal bialgebras; Theorem 2.16 establishes their equivalence. Section 3 introduces a new two-part splitting of perm algebras, the notion of an apre-perm algebra (Definition 3.8), and its special case in which the second multiplication is commutative. It shows that perm algebras with nondegenerate symmetric left-invariant bilinear forms correspond to quadratic special apre-perm algebras (Proposition 3.29), and that admissible averaging commutative algebras induce special apre-perm algebras (Proposition 3.22). Section 4 defines Manin triples for these structures and special apre-perm bialgebras, proves their equivalences (Theorem 4.11, Corollary 4.12), and shows that every averaging commutative and cocommutative infinitesimal bialgebra gives rise to a special apre-perm bialgebra (Proposition 4.13).

Significance. If correct, the paper provides a coherent bialgebra counterpart of the averaging-to-perm induction, using a genuinely new splitting of perm algebras rather than the pre-perm splitting. The main structural results are stated with explicit formulas and are connected in a useful diagram (103), relating averaging bialgebras to Manin triples of special apre-perm algebras and then to Manin triples of Lie algebras with commutative 2-cocycles. The paper is largely self-contained, and the central chain Theorem 2.16 → Proposition 4.3 → Proposition 4.13 is checkable; the computations in Sections 3 and 4 are detailed. The main external input, the representation dualization lemma for perm algebras cited from [27,35], is standard and is correctly applicable in the stated setting, as I verified.

minor comments (4)
  1. [§3.2, Proposition 3.12] The proof of Proposition 3.12 states that the converse direction follows by 'a similar argument'. Since this equivalent characterization is used later (e.g., in Corollary 3.21 and Proposition 3.37), the omitted verification would be helpful. At minimum, indicate explicitly how Lemma 3.10 supplies the converse.
  2. [§4.2, Proposition 4.13] In the proof of Proposition 4.13, only equation (84) is verified; equations (85)–(90) are dismissed with 'Similarly'. The structural route via Remark 4.14 assures the reader that the claim is sound, but for a self-contained proof the remaining verifications should be included or the correspondence with the ten compatibility equations in Lemma 4.10 should be tabulated explicitly.
  3. [§3.3, Definition 3.28 and Proposition 3.29] The term 'invariant bilinear form' for special apre-perm algebras is defined by (57). This is a different use of 'invariant' from the usual left-invariance (24) on perm algebras. To avoid ambiguity, consider calling it '◁-invariant' or explicitly contrasting the two notions where they are first used.
  4. [Throughout] There are a few typographical and wording slips, e.g., 'a averaging commutative and cocommutative infinitesimal bialgebra' in the abstract of Section 4 and 'cocomutative' in the introduction. These are harmless but should be corrected in the final version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the induced special apre-perm bialgebra is derived by explicit formulas and verified from the input identities, not assumed into them.

full rationale

The paper's central claim—Proposition 4.13—is not circular. The input is an averaging commutative and cocommutative infinitesimal bialgebra (A,·,Δ,P,Q), defined independently in Definition 2.15 by the admissible averaging conditions (10),(18),(19). The output is a special apre-perm bialgebra (A,▷,◁,ϑ,θ), whose defining equations (80)-(90) are not among the input conditions. The bridge is explicit: (63) sets x▷y=P(x)y+Q(xy), x◁y=-Q(xy), and (102) sets ϑ=(Q⊗id)Δ+ΔP, θ=-ΔP. The verification of (84)-(90) then uses only the cocommutative infinitesimal bialgebra identity (17), the averaging identities (2),(10), and the mixed identities (18),(19), together with the perm-algebra identities from Proposition 1.1. The abbreviated 'similarly' in Proposition 4.13 is an exposition gap, not a substitution of the conclusion for the hypothesis. Earlier steps have the same structure: Proposition 3.22 constructs a special apre-perm algebra from an admissible averaging commutative algebra by explicit formulas and a direct representation check; Corollary 3.30 and Proposition 4.3 follow by applying these formulas to the double-construction data. The only notable external input is the perm-algebra representation duality lemma quoted from [27,35] in Proposition 3.9; that lemma is a published, independently checkable result used mainly to pass between equivalent representation formulations, and the existence parts of the main theorems (3.17, 3.22, 4.13) are verified directly without reducing to it. No parameter is fitted and no conclusion is renamed input; the new notions are engineered definitions, not hidden assumptions. Hence no circular step is identifiable.

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

No numerical constants are fitted and no unexplained physical or ad hoc entities are introduced. The new algebraic structures, such as apre-perm algebras and special apre-perm bialgebras, are explicitly defined by equations and are the content of the paper rather than hidden assumptions. The load-bearing inputs are standard domain assumptions and cited theorems about representations and Manin triples.

assumptions (5)
  • domain assumption All vector spaces and algebras are finite-dimensional over an algebraically closed field K of characteristic zero.
    Stated in Notations and used throughout for dual spaces, nondegenerate bilinear forms, and linear isomorphisms. The paper notes many results remain valid more generally.
  • domain assumption Representation dualization for perm algebras: (l,r,V) is a representation if and only if (l*, l*-r*, V*) is a representation.
    Invoked in Proposition 3.9 and Corollary 3.19 to characterize apre-perm algebras via coadjoint representations. Cited from [27,35] and used as a black box.
  • domain assumption Aguiar's result that an averaging operator on a commutative associative algebra induces a perm algebra via x∘y = P(x)·y.
    Used in Proposition 3.22 and Corollary 3.30 to build the associated perm algebra from an admissible averaging algebra.
  • domain assumption The equivalence between double constructions of Frobenius commutative algebras and commutative and cocommutative infinitesimal bialgebras.
    Used as the base equivalence in Theorem 2.16 to establish the averaging version. Cited from [6].
  • domain assumption Lemma 4.10 from [27,35] giving conditions for a direct-sum construction to be a perm algebra.
    Used in Theorem 4.11 to translate the special apre-perm bialgebra equations into the existence of a perm algebra structure on the direct sum.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Induced structures of averaging commutative and cocommutative infinitesimal bialgebras via a new splitting of perm algebras." pith.science (2026). https://pith.science/paper/PTQA5UPJ

@misc{pith2026250909884,
  author       = {Pith},
  title        = {Pith review of: Induced structures of averaging commutative and cocommutative infinitesimal bialgebras via a new splitting of perm algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PTQA5UPJ}},
  note         = {Machine review of arXiv:2509.09884}
}
read the original abstract

It is well-known that an averaging operator on a commutative associative algebra gives rise to a perm algebra. This paper lifts this process to the level of bialgebras. For this purpose, we first give an infinitesimal bialgebra structure for averaging commutative associative algebras and characterize it by double constructions of averaging Frobenius commutative algebras. To find the bialgebra counterpart of perm algebras that is induced by such averaging bialgebras, we need a new two-part splitting of the multiplication in a perm algebra, which differs from the usual splitting of the perm algebra (into the pre-perm algebra) by the characterized representation. This gives rise to the notion of an averaging-pre-perm algebra, or simply an apre-perm algebra. Furthermore, the notion of special apre-perm algebras which are apre-perm algebras with the second multiplications being commutative is introduced as the underlying algebra structure of perm algebras with nondegenerate symmetric left-invariant bilinear forms. The latter are also the induced structures of symmetric Frobenius commutative algebras with averaging operators. Consequently, a double construction of averaging Frobenius commutative algebra gives rise to a Manin triple of special apre-perm algebras. In terms of bialgebra structures, this means that an averaging commutative and cocommutative infinitesimal bialgebra gives rise to a special apre-perm bialgebra.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Bialgebra theory, the Yang-Baxter equation and relative Rota-Baxter operators for diassociative algebras

    math.RA 2026-06 unverdicted novelty 6.0 of 10

    Introduces diassociative bialgebras equivalent to Manin triples via matched pairs, proves symmetric DYBE solutions produce them, and shows they induce Leibniz bialgebras while constructing Lie bialgebras from tensor products.

Reference graph

Works this paper leans on

52 extracted references · 3 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Aguiar, Infinitesimal Hopf algebras, in: New Trends in Hopf Algebra Theory, La Falda, 1999, in:Contemp

    M. Aguiar, Infinitesimal Hopf algebras, in: New Trends in Hopf Algebra Theory, La Falda, 1999, in:Contemp. Math.V ol. 267 (Amer. Math. Soc., Providence, RI, 2000), pp.1-29. 3

  2. [2]

    Aguiar, Pre-Poisson algebras,J

    M. Aguiar, Pre-Poisson algebras,J. Lett. Math. Phys.54 (2000) 263-277. 2

  3. [3]

    Aguiar, On the associative analog of Lie bialgebras,J

    M. Aguiar, On the associative analog of Lie bialgebras,J. Algebra. 244 (2001) 492-532. 3

  4. [4]

    Aguiar, Infinitesimal bialgebras, pre-Lie and dendriform algebras, in: Hopf algebras, inLecture Notes in Pure and Appl

    M. Aguiar, Infinitesimal bialgebras, pre-Lie and dendriform algebras, in: Hopf algebras, inLecture Notes in Pure and Appl. Math.V ol. 237, Marcel Dekker, New York, 2004, pp. 1-33. 3

  5. [5]

    Bai, Left-symmetric bialgebras and an analogue of the classical Yang-Baxter equation,Comm

    C. Bai, Left-symmetric bialgebras and an analogue of the classical Yang-Baxter equation,Comm. Contemp. Math.10 (2008) 221-260. 3

  6. [6]

    Bai, Double constructions of Frobenius algebras, Connes cocycles and their duality,J

    C. Bai, Double constructions of Frobenius algebras, Connes cocycles and their duality,J. Noncommut. Geom. 2 (2010) 475-530. 3, 7, 8, 9 28

  7. [7]

    Bai, An introduction to pre-Lie algebras, in: Algebra and Applications 1: Nonssociative Algebras and Categories, Wiley Online Library (2021) 245-273

    C. Bai, An introduction to pre-Lie algebras, in: Algebra and Applications 1: Nonssociative Algebras and Categories, Wiley Online Library (2021) 245-273. 20

  8. [8]

    C. Bai, O. Bellier, L. Guo and X. Ni, Splitting of operations, Manin products and Rota-Baxter operators,Int. Math. Res. Not.(2013) 485-524. 3, 4

Show all 52 references
  1. [9]

    C. Bai, L. Guo, G. Liu and T. Ma, Rota-Baxter Lie bialgebras, classical Yang-Baxter equations and special L-dendriform bialgebras,Algebr. Represent. Theory. 27 (2024) 1347-1372. 3, 4

  2. [10]

    C. Bai, L. Guo and T. Ma, Bialgebras, Frobenius algebras and associative Yang-Baxter equations for Rota- Baxter algebras,Asian J. Math.28 (2024) 411-436. 3, 4, 7

  3. [11]

    C. Bai, L. Guo and Y . Sheng, Coherent categorical structures for Lie bialgebras, Manin triples, classical r- matrices and pre-Lie algebras,Forum Math.34 (2022) 989-1013. 3

  4. [12]

    C. Bai, D. Hou and Z. Chen, On a class of Lie groups with a left-invariant flat pseudo-metric,Monatsh. Math. 164 (2011) 243-269. 3

  5. [13]

    Birkhoff, Lattices in applied mathematics, II Averaging operators,Proc

    G. Birkhoff, Lattices in applied mathematics, II Averaging operators,Proc. Symp. Pure Math.2 (1961) 163-184. 2

  6. [14]

    Burde, Left-symmetric algebras, or pre-Lie algebras in geometry and physics,Cent

    D. Burde, Left-symmetric algebras, or pre-Lie algebras in geometry and physics,Cent. Eur. J. Math. 4 (2006) 323-357. 20

  7. [15]

    Chapton, Un endofoncteur de la cat ´egorie des op ´erades, in: Dialgebras and related operads,Lect

    F. Chapton, Un endofoncteur de la cat ´egorie des op ´erades, in: Dialgebras and related operads,Lect. Notes. Math.1763, Springer-Verlag, (2001) 105-110. 2

  8. [16]

    Chari and A

    V . Chari and A. Pressley, A Guide to Quantum Groups, Cambridge University Press, Cambridge. 1994. 2

  9. [17]

    Das and S

    A. Das and S. Sen, 2-term averagingL ∞-algebras and non-abelian extensions of averaging Lie algebras,J. Algebra644 (2024) 126-151. 2

  10. [18]

    Drinfeld, Halmiltonian structure on the Lie groups, Lie bialgebras and the geometric sense of the classical Yang-Baxter equations,Sov

    V . Drinfeld, Halmiltonian structure on the Lie groups, Lie bialgebras and the geometric sense of the classical Yang-Baxter equations,Sov. Math. Dokl. 27 (1983) 68-71. 2

  11. [19]

    Dzhumadil’daev, Algebras with skew-symmetric identity of degree 3,J

    A. Dzhumadil’daev, Algebras with skew-symmetric identity of degree 3,J. Math. Sci.161 (2009) 11-30. 11

  12. [20]

    Dzhumadil’daev and P

    A. Dzhumadil’daev and P. Zusmanovich, Commutative 2-cocycles on Lie algebras,J. Algebra. 324 (2010) 732-748. 11

  13. [21]

    D. Gao, G. Liu and C. Bai, Anti-dendriform algebras, new splitting of operations and Novikov type algebras,J. Algebr. Combin.59 (2024) 661-696. 13

  14. [22]

    Gao and T

    X. Gao and T. Zhang, Averaging algebras, rewriting systems and Gr ¨obner-Shirshov bases,J. Algebra Appl.17 (2018) 1850130. 2

  15. [23]

    Gelfand and I

    I. Gelfand and I. Dorfman, Hamiltonian operators and algebraic structures related to them,Funct. Anal. Appl. 13 (1979) 248-262. 2

  16. [24]

    V . Yu. Gubarev and P. S. Kolesnikov, On embedding of dendriform algebras into Rota-Baxter algebras,Cent. Eur. Jour. Math.11 (2013) 226-245. 2

  17. [25]

    Guo, Operated semigroups, Motzkin paths and rooted trees,J

    L. Guo, Operated semigroups, Motzkin paths and rooted trees,J. Algebraic Combinatorics29 (2009) 35-62. 2

  18. [26]

    Y . Hong, C. Bai and L. Guo, Deformation families of Novikov bialgebras via differential antisymmetric infini- tesimal bialgebras, arXiv: 2402.16155. 3

  19. [27]

    Hou, Extending structures for perm algebras and perm bialgebras,J

    B. Hou, Extending structures for perm algebras and perm bialgebras,J. Algebra. 649 (2024) 392-432. 4, 11, 12, 24, 25

  20. [28]

    Kamp ´de F ´eriet, L’etat actuel du probl ´eme de la turbulaence (I and II),La Sci

    J. Kamp ´de F ´eriet, L’etat actuel du probl ´eme de la turbulaence (I and II),La Sci. A´ erienne3 (1934) 9-34, 4 (1935), 12-52. 2

  21. [29]

    Kock, Frobenius Algebras and 2d Topological Quantum Field Theories, Cambridge University Press, Cam- bridge

    J. Kock, Frobenius Algebras and 2d Topological Quantum Field Theories, Cambridge University Press, Cam- bridge. 2004. 3

  22. [30]

    Kotov and T

    A. Kotov and T. Strobl, The embedding tensor, Leibniz-Loday algebras, and their higher gauge theories,Comm. Math. Phys.376 (2020) 235-258. 2

  23. [31]

    Kupershmidt, What a classicalr-matrix really is,J

    B. Kupershmidt, What a classicalr-matrix really is,J. Nonlinear Math. Phys.6 (1999) 448-488. 13

  24. [32]

    Lauda and H

    A. Lauda and H. Pfeiffer, Open-closed strings: two-dimensional extended TQFTs and Frobenius algebras, Topology Appl.155 (2005) 623-666. 3

  25. [33]

    Lavau, Tensor hierarchies and Leibniz algebras,J

    S. Lavau, Tensor hierarchies and Leibniz algebras,J. Geom. Phys.144 (2019) 147-189. 2

  26. [34]

    Y . Lin, X. Liu and C. Bai, Differential antisymmetric infinitesimal bialgebras, coherent derivations and Poisson bialgebras,SIGMA Symmetry Integrability Geom. Methods Appl.19 (2023) 018. 3

  27. [35]

    Y . Lin, P. Zhou and C. Bai, Infinite-dimensional Lie bialgebras via affinization of perm bialgebras and pre-Lie bialgebras,J. Algebra. 663 (2025) 210-258. 4, 11, 12, 24, 25 29

  28. [36]

    Liu and C

    G. Liu and C. Bai, Anti-pre-Lie algebras, Novikov algebras and commutative 2-cocycles on Lie algebras,J. Algebra. 609 (2022) 337-379. 13, 20

  29. [37]

    Liu and C

    G. Liu and C. Bai, A bialgebra theory for transposed Poisson algebras via anti-pre-Lie bialgebras and anti-pre- Lie-Poisson bialgebras,Commun. Contemp. Math.26 (2024) 2350050. 24, 27

  30. [38]

    Loday and B

    J.-L. Loday and B. Vallette, Algebraic Operads, Springer. 2012. 2

  31. [39]

    J. B. Miller, Averaging and Reynolds operators on Banach algebra I, Representation by derivation and an- tiderivations,J. Math. Anal. Appl.14 (1966) 527-548. 2

  32. [40]

    Ni and C

    X. Ni and C. Bai, Poisson bialgebras,J. Math. Phys.54 (2013) 023515. 3

  33. [41]

    Ni and C

    X. Ni and C. Bai, On quadri-bialgebras, in Forty Years of Algebraic Groups, Algebraic Geometry, and Repre- sentation Theory in China, in Memory of the Centenary Year of Xihua Cao’s Birth, Edited by J. Du, J.Wang and L. Lin, East China Normal University Scientific Reports 16, 7...

  34. [42]

    Nicolai and H

    H. Nicolai and H. Samtleben, Maximal gauged supergravity in three dimensions,Phys. Rev. Lett.86 (2001) 1686-1689. 2

  35. [43]

    Symmetries and Groups in Contemporary Physics

    J. Pei, C. Bai, L. Guo and X. Ni, Disuccessors and duplicators of operads, Manin products and operators, In “Symmetries and Groups in Contemporary Physics”, Nankai Series in Pure, Applied Mathematics and Theo- retical Physics. 11 (2013) 191-196. 2

  36. [44]

    J. Pei, C. Bai, L. Guo and X. Ni, Replicators, Manin white product of binary operads and average operators, In: New Trends in Algebras and Combinatorics. (2020) 317-353. 2

  37. [45]

    Pei and L

    J. Pei and L. Guo, Averaging algebras, Schr ¨oder numbers, rooted trees and operads,J. Algebraic Combin.42 (2015) 73-109. 2

  38. [46]

    Reynolds, On the dynamic theory of incompressible viscous fluids,Phil

    O. Reynolds, On the dynamic theory of incompressible viscous fluids,Phil. Trans. Roy. Soc. A136 (1895) 123-164. 2

  39. [47]

    Rota, Reynolds operators,Proc

    G.-C. Rota, Reynolds operators,Proc. Symposia Applied MathXVI (1964) Amer. Math. Soc. 70-83. 2

  40. [48]

    Sheng, R

    Y . Sheng, R. Tang and C. Zhu, The controllingL ∞-algebra, cohomology and homotopy of embedding tensors and Lie-Leibniz triples,Commun. Math. Phys.386(2021) 269-304. 2

  41. [49]

    Tang and Y

    R. Tang and Y . Sheng, Nonabelian embedding tensors,Lett. Math. Phys.113 (2023) 14. 2

  42. [50]

    Wang and G

    K. Wang and G. Zhou, Cohomology theory of averaging algebras,L ∞-structures and homotopy averaging algebras, arXiv:2009.11618. 2

  43. [51]

    Zhang and X

    H. Zhang and X. Gao, Averaging groups, arXiv:2412.11600, 2024. 2

  44. [52]

    Zusmanovich, Invariants of Lie algebras extended over commutative algebras without unit,J

    P. Zusmanovich, Invariants of Lie algebras extended over commutative algebras without unit,J. Nonlinear Math. Phys.17 (2010) 87-102. 11 ChernInstitute ofMathematics& LPMC, NankaiUniversity, Tianjin300071, China Email address:baicm@nankai.edu.cn Department ofMathematics andComp...

Pith tools

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