Nilpotency and Frattini theory for transposed Poisson algebras
Pith reviewed 2026-05-07 13:50 UTC · model grok-4.3
The pith
A finite-dimensional transposed Poisson algebra is nilpotent precisely when the left multiplication operators in both the associative and Lie structures are nilpotent.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A finite-dimensional transposed Poisson algebra is nilpotent if and only if the left multiplication operators in both the associative and the Lie structures are nilpotent. The lower central series admits a simplified form. For a Lie-nilpotent transposed Poisson algebra the derived Lie subalgebra is a nilpotent ideal, which implies that the nilpotent radical coincides with the associative radical. The Frattini subalgebra is always contained in the derived algebra and the Frattini ideal is associative nilpotent. When the algebra is nilpotent all maximal subalgebras are ideals and the Frattini subalgebra equals the derived algebra. Conversely, for a Lie-nilpotent algebra, if all maximal subalgs
What carries the argument
The Engel-type criterion that equates nilpotency of the transposed Poisson algebra with simultaneous nilpotency of left multiplications under the associative product and under the Lie bracket.
Load-bearing premise
The transposed Poisson algebra is finite-dimensional over a field and satisfies the compatibility condition between its associative multiplication and Lie bracket.
What would settle it
A concrete finite-dimensional transposed Poisson algebra in which every left multiplication operator is nilpotent yet the lower central series never reaches zero would falsify the main nilpotency theorem.
read the original abstract
We develop the theory of nilpotency and the Frattini theory for transposed Poisson algebras. The lower central series is shown to admit a simplified form, and an analogue of Engel's theorem is established: a finite-dimensional transposed Poisson algebra is nilpotent precisely when the left multiplication operators in both the associative and the Lie structures are nilpotent. Constructions of nilpotent and solvable algebras via tensor products and derivations are given. For a finite-dimensional Lie-nilpotent transposed Poisson algebra, we prove that the derived Lie subalgebra is a nilpotent ideal, which implies that the nilpotent radical coincides with the associative radical. In the framework of Frattini theory, we show that the Frattini subalgebra is always contained in the derived algebra and the Frattini ideal is associative nilpotent. When the algebra is nilpotent, all maximal subalgebras are ideals and the Frattini subalgebra equals the derived algebra. Conversely, for a Lie-nilpotent transposed Poisson algebra, if all maximal subalgebras are ideals, the algebra either is nilpotent or decomposes as a direct sum of a one-dimensional algebra generated by an idempotent and the nilpotent radical; if the Frattini subalgebra equals the derived algebra, the algebra is necessarily nilpotent. We also prove that the zero socle coincides with the nilpotent radical, and when the Frattini ideal is zero, the algebra splits into a subalgebra and its zero socle; in the Lie-nilpotent case this subalgebra is abelian as a Lie algebra.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops nilpotency and Frattini theory for transposed Poisson algebras. It simplifies the lower central series via the transposed Poisson identity and proves an Engel-type theorem: a finite-dimensional transposed Poisson algebra is nilpotent precisely when all left multiplication operators L_x (associative) and ad_x (Lie) are nilpotent. It gives constructions of nilpotent/solvable examples via tensor products and derivations, shows that the derived Lie subalgebra is a nilpotent ideal (hence nilpotent radical coincides with associative radical), and establishes Frattini results including containment of the Frattini subalgebra in the derived algebra, nilpotency of the Frattini ideal, and characterizations of nilpotency via maximal subalgebras or equality of Frattini and derived algebras. Additional results address the zero socle coinciding with the nilpotent radical and splitting properties when the Frattini ideal vanishes.
Significance. If the results hold, the work supplies a coherent structural theory for transposed Poisson algebras that directly extends classical Engel and Frattini theorems from Lie and associative algebras. The central equivalence is load-bearing and useful for classification, as it reduces nilpotency checks to operator nilpotency while respecting the compatibility condition; the Frattini and radical results then follow without circularity. The derivations are grounded in the algebra axioms and standard series definitions, with no free parameters or invented entities.
minor comments (4)
- The preliminaries section should explicitly recall the transposed Poisson identity (associator and Lie compatibility) to make the simplification of the lower central series self-contained.
- In the statement of the Engel analogue, clarify the precise definition of 'nilpotent algebra' (associative nilpotency, Lie nilpotency, or joint) before the equivalence is proved.
- Cross-references from the abstract claims to the corresponding theorem numbers in the body would improve readability.
- The constructions via tensor products and derivations would benefit from a short example verifying the transposed Poisson condition holds.
Simulated Author's Rebuttal
We thank the referee for the positive summary and recommendation of minor revision. The assessment that the work provides a coherent structural theory extending classical Engel and Frattini theorems is appreciated. No specific major comments were provided in the report, so we interpret the minor revision as addressing any small presentational or typographical issues that may arise during copyediting.
Circularity Check
Derivation self-contained from axioms and finite-dimensional linear algebra
full rationale
The central Engel-type equivalence and Frattini results are derived directly from the transposed Poisson compatibility identity, standard definitions of lower central series and nilpotency, and finite-dimensionality arguments (common eigenvectors or simultaneous triangularization). No step reduces a claimed result to a fitted parameter, self-defined term, or unverified self-citation chain. All implications follow from the algebra axioms without circular renaming or ansatz smuggling. This is the normal case of an independent structural theorem.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The structure is a finite-dimensional vector space over a field equipped with an associative product and a Lie bracket satisfying the transposed Poisson compatibility condition.
- standard math Standard properties of lower central series, derived series, and radicals hold in this setting.
Reference graph
Works this paper leans on
-
[1]
H. Abdelwahab, E. Barreiro, A. Calder ´on, A. Fern´andez Ouaridi, The algebraic classification and degenera- tions of nilpotent Poisson algebras,J. Algebra615(2023), 243-277. 4
work page 2023
-
[2]
C. Bai, R. Bai, L. Guo and Y . Wu, Transposed Poisson algebras, Novikov-Poisson algebras, and 3-Lie alge- bras,J. Algebra632(2023), 535-566. 2, 6, 7, 8, 9, 13, 14
work page 2023
-
[3]
Barnes, On the cohomology of soluble Lie algebras,Math
D. Barnes, On the cohomology of soluble Lie algebras,Math. Z.101(1967), 343-349. 2, 11
work page 1967
-
[4]
D. Barnes and H. Gastineau-Hills, On the theory of soluble Lie algebras,Math. Z.106(1968), 343-354. 2, 11
work page 1968
- [5]
-
[6]
R. Bai, L. Chen and D. Meng, The Frattini subalgebra ofn-Lie algebras,Acta Math. Sin. Engl. Ser.23(2007), 847-856. 2
work page 2007
-
[7]
L. Chen, D. Meng and Y . Zhang, The Frattini subalgebra of restricted Lie superalgebras,Acta Math. Sin. Engl. Ser.22(2006), 1343-1356. 2
work page 2006
-
[8]
S. Chen and C. Bai, Quantizations of transposed Poisson algebras by Novikov deformations,J. Phys. A: Math. Theor.57(2024), Paper No. 495203, 17 pp
work page 2024
-
[9]
X. Cao, Z. Normatov, B. Omirov and J. Ruan, On generalized Poisson algebras: Solvability and constructions, J. Geom. Phys.218(2025), 105649. 2
work page 2025
-
[10]
Fern ´andez Ouaridi, On the simple transposed Poisson algebras and Jordan superalgebras,J
A. Fern ´andez Ouaridi, On the simple transposed Poisson algebras and Jordan superalgebras,J. Algebra641 (2024), 173-198. 2
work page 2024
-
[11]
A. Fern ´andez Ouaridi and B. Omirov, On the solvable Poisson algebras,J. Algebra684(2025), 792-827. 2, 4, 7
work page 2025
-
[12]
A. Fern ´andez Ouaridi, R. Navarro and D. Towers, Abelian subalgebras and ideals of maximal dimension in Poisson algebras,J. Algebra660(2024), 680-704. 6, 12, 14
work page 2024
-
[13]
Frattini, Intorno alla generazione dei gruppi di operazioni,Rom
G. Frattini, Intorno alla generazione dei gruppi di operazioni,Rom. Acc. L. Rend.(4)I(1885), 281-285, 455-457. 2
-
[14]
G. Leger and E. Luks, Generalized derivations of Lie algebras,J. Algebra228 (1)(2000), 165-203
work page 2000
-
[15]
B. Ferreira, I. Kaygorodov and V . Lopatkin, 1 2-derivations of Lie algebras and transposed Poisson algebras, Rev. R. Acad. Cienc. Exactas F´ ıs. Nat. Ser. A Mat.115(2021), 142-157. 2, 7
work page 2021
-
[16]
M. Goze and E. Remm, Poisson algebras in terms of non-associative algebras,J. Algebra320(2008), 294-317. 2
work page 2008
-
[17]
J. Hartwig, D. Larsson and S. Silvestrov, Deformations of Lie algebras usingσ-derivations,J. Algebra,295 (2006), 314-361. 7
work page 2006
-
[18]
Kantor, Jordan and Lie superalgebras defined by Poisson algebra,Am
I. Kantor, Jordan and Lie superalgebras defined by Poisson algebra,Am. Math. Soc. Transl.151(1989), 55-80. 2
work page 1989
-
[19]
I. Kaygorodov and A. Khudoyberdiyev, Transposed Poisson structures on solvable and perfect Lie algebras, J. Phys. A: Math. Gen.57(2024), Paper No. 035205, 19 pp. 2
work page 2024
-
[20]
I. Kaygorodov, A. Khudoyberdiyev and Z. Shermatova, Transposed Poisson structures on Virasoro-type al- gebras,J. Geom. Phys.207(2025), Paper No. 105356, 12 pp. 2 18
work page 2025
-
[21]
I. Kaygorodov and M. Khrypchenko, Transposed Poisson structures on Lie incidence algebras,J. Algebra 647(2024), 458-491. 2
work page 2024
-
[22]
Lichnerowicz, Les vari ´et´es de Poisson et leurs alg `ebres de Lie associ ´ees,J
A. Lichnerowicz, Les vari ´et´es de Poisson et leurs alg `ebres de Lie associ ´ees,J. Differ. Geom.12(1977), 253-300. 1
work page 1977
- [23]
-
[24]
Loday, Dialgebras, in: Dialgebras and Related Operads, Lecture Notes in Math., vol
J. Loday, Dialgebras, in: Dialgebras and Related Operads, Lecture Notes in Math., vol. 1763, Springer, Berlin, 2001, 7C66. 3
work page 2001
-
[25]
M. Ladra and A. P ´erez-Rodr´ıguez, A Frattini theory for evolution algebras, arXiv:2507.01935v1. 2
-
[26]
M. Lincoln and D. Towers, Frattini theory for restricted Lie algebras,Arch. Math.45(1985), 451-457. 2
work page 1985
-
[27]
Marshall, The Frattini subalgebra of a Lie algebra,J
E. Marshall, The Frattini subalgebra of a Lie algebra,J. London Math. Soc.42(1967), 416-422. 2, 11
work page 1967
-
[28]
Sartayev, Some generalizations of the variety of transposed Poisson algebras,Comm
B. Sartayev, Some generalizations of the variety of transposed Poisson algebras,Comm. Math.32(2024), 55-62. 2
work page 2024
-
[29]
Stitzinger, A non-imbedding theorem of associative algebras,Pacific J
E. Stitzinger, A non-imbedding theorem of associative algebras,Pacific J. Math.30(1969), 529-531. 2
work page 1969
-
[30]
Towers, A Frattini theory for algebras,Proc
D. Towers, A Frattini theory for algebras,Proc. London Math. Soc.27(3)(1973), 440-462. 2
work page 1973
-
[31]
Towers, Nilpotency, solvability and Frattini theory for Poisson algebras,J
D. Towers, Nilpotency, solvability and Frattini theory for Poisson algebras,J. Algebra Appl.(2025), https://doi.org/10.1142/S0219498826502932. 2, 4, 6, 8, 10, 12, 14, 15
-
[32]
D. Towers, Nilpotency, solvability and Frattini theory for bicommutative, assosymmetric and Novikov alge- bras.Commun. Algebra53(3)(2025), 917-928. 2
work page 2025
-
[33]
Towers, On the generators of a nilpotent non-associative algebra,Quart
D. Towers, On the generators of a nilpotent non-associative algebra,Quart. J. Math.22(1971), 545-550. 2
work page 1971
-
[34]
Weinstein, Lecture on Symplectic Manifolds,CBMS Regional Conference Series in Mathematics29, Amer
A. Weinstein, Lecture on Symplectic Manifolds,CBMS Regional Conference Series in Mathematics29, Amer. Math. Soc., Providence, R.I., 1979. 1
work page 1979
-
[35]
L. Yuan and Q. Hua, 1 2-(bi)derivations and transposed Poisson algebra structures on Lie algebras,Linear Multilinear Algebra70(2022), 7672-7701. 2
work page 2022
-
[36]
Z. Zeng, J. Sun and H. Zhang, Transposed Poisson structures on Virasoro-type (super)algebras,J. Geom. Phys.206(2024), Paper No. 105295, 22 pp. 2 School ofMathematics, HangzhouNormalUniversity, Hangzhou, 311121, China Email address:jrjin@stu.hznu.edu.cn School ofMathematics, HangzhouNormalUniversity, Hangzhou, 311121, China Email address:yyhong@hznu.edu.cn
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.