On p-Lie algebras of finite Morley rank

Samuel Zamour

Authors on Pith no claims yet

Pith reviewed 2026-05-14 18:00 UTC · model grok-4.3

classification 🧮 math.LO math.RA

keywords p-Lie algebrasfinite Morley ranksoluble algebrasmodel theoryLie algebrascharacteristic palgebraic structures

0 comments

The pith

Soluble p-Lie algebras of finite Morley rank receive a quite complete characterization.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops the theory of p-Lie algebras of finite Morley rank. It focuses on obtaining a quite complete characterization in the soluble case. A sympathetic reader would care because finite Morley rank imposes tameness conditions from model theory that restrict possible structures and enable classification. If correct, the result means soluble examples have a predictable form that can be described explicitly. This supplies tools for analyzing their definable properties and sets the stage for work on the non-soluble case.

Core claim

The central claim is that p-Lie algebras of finite Morley rank admit a quite complete characterization when they are soluble. The paper first develops the general theory for any such algebra and then specializes to the soluble case to describe their structure.

What carries the argument

Finite Morley rank applied as a tameness condition on p-Lie algebras, which restricts their possible configurations and supports explicit description in the soluble case.

Load-bearing premise

The algebras are assumed to have finite Morley rank and the characterization is stated only for the soluble case.

What would settle it

A concrete soluble p-Lie algebra of finite Morley rank whose structure deviates from the forms given in the characterization would serve as a counterexample.

read the original abstract

We develop the theory of p-Lie algebras of finite Morley rank. In particular, we obtain a quite complete characterization in the soluble case

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper develops the theory of p-Lie algebras of finite Morley rank and gives a characterization for the soluble case via standard inductive reductions.

read the letter

This paper develops the theory of p-Lie algebras of finite Morley rank and gives a characterization for the soluble case via standard inductive reductions. The new content is the characterization itself. It applies the finite Morley rank assumption to control definable subgroups and the p-map, then runs an inductive argument down the derived series until it reaches abelian p-Lie algebras that can be classified directly from model-theoretic properties. The steps line up with earlier results on groups and algebras of finite Morley rank and do not appear to introduce hidden assumptions about the base field or definability. That part is handled cleanly. The main limitation is the explicit restriction to the soluble case, which narrows the scope but is stated up front. Within that scope the argument looks consistent and free of circularity. No load-bearing gaps show up in the outline provided. This work is for specialists already comfortable with finite Morley rank techniques and their algebraic applications. A reader in that area would pick up the new characterization and the supporting reductions. I would send it to peer review. The result is new enough and the methods grounded enough that referees should see the full proofs.

Referee Report

0 major / 2 minor

Summary. The paper develops the theory of p-Lie algebras of finite Morley rank. In particular, it obtains a quite complete characterization in the soluble case.

Significance. If the results hold, the work is significant for extending model-theoretic techniques from groups of finite Morley rank to p-Lie algebras. The characterization in the soluble case relies on standard reductions using finite Morley rank to control definable subgroups and the p-map, together with an inductive argument along the derived series that reduces to the abelian case; this aligns with existing literature and provides a concrete classification tool for soluble structures.

minor comments (2)

The abstract is terse and states the main result without indicating the key steps (e.g., the inductive reduction on the derived series). A slightly expanded abstract or a clear theorem statement in the introduction would improve readability.
[§2] Notation for the p-map and the underlying field should be fixed and introduced once in §2 or §3 to avoid later ambiguity when discussing definability.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper develops the theory of p-Lie algebras of finite Morley rank, obtaining a characterization in the soluble case via standard reductions from finite Morley rank controlling definable subgroups and the p-map, followed by an inductive argument on the derived series terminating in abelian cases classified by model-theoretic properties. No derivation step reduces by construction to its inputs, no fitted parameters are renamed as predictions, and no self-citation chain or imported uniqueness theorem bears the central load. The arguments remain self-contained against external benchmarks in model theory and algebra of finite Morley rank.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based on abstract only; standard axioms of Lie algebras and p-maps plus properties of Morley rank are presupposed.

axioms (2)

standard math p-Lie algebra axioms including the p-map satisfying the usual identities
Invoked as background for the structures under study.
domain assumption Finite Morley rank implies definable sets have bounded complexity
Core model-theoretic assumption enabling the theory development.

pith-pipeline@v0.9.0 · 5290 in / 1021 out tokens · 35178 ms · 2026-05-14T18:00:12.989162+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 2 canonical work pages · 2 internal anchors

[1]

AMS, 2008

Tuna Altınel, Alexandre Borovik, and Gregory Cherlin.Simple groups of finite Morley rank. AMS, 2008

2008
[2]

Block and R.L

R.E. Block and R.L. Wilson. Classification of restricted simple lie algebras. J. Algebra, 114:115–259, 1988

1988
[3]

Oxford Logic Guides 26

Alexandre Borovik and Ali Nesin.Groups of finite Morley rank. Oxford Logic Guides 26. Oxford University Press, 1994

1994
[4]

Cherlin and A

G. Cherlin and A. Deloro. Small representations ofSL2 in the finire Morley rank category.J. Symbolic Logic, 77:919–933, 2012

2012
[5]

Simple Lie rings of Morley rank 4.Journal of Algebra, 651:243–280, 2024

Adrien Deloro and Jules Tindzogho Ntsiri. Simple Lie rings of Morley rank 4.Journal of Algebra, 651:243–280, 2024

2024
[6]

Soluble Lie rings of finite Morley rank.Model theory, 4:163–154, 2025

Adrien Deloro and Jules Tindzogho Ntsiri. Soluble Lie rings of finite Morley rank.Model theory, 4:163–154, 2025

2025
[7]

Chapman and Hall, 1988

Rolf Farnsteiner and Helmut Strade.Modular Lie Algebras and represen- tations. Chapman and Hall, 1988

1988
[8]

Lincoln and D

M. Lincoln and D. Towers. Frattini theory for restricted Lie algebras.Arch. Math., 45:451–457, 1985

1985
[9]

Lincoln and D

M. Lincoln and D. Towers. The Frattinip-algebra of a solvablep-Lie alge- bra.Proc. Edin. Math. Soc., 40:31–40, 1997

1997
[10]

Springer, 1970

Ian Stewart.Lie Algebras. Springer, 1970

1970
[11]

Strade.Simple Lie algebras over fields of positive characteristic I : Structure theory

H. Strade.Simple Lie algebras over fields of positive characteristic I : Structure theory. De Gruyter, 2004

2004
[12]

Strade.Simple Lie algebras over fields of positive characteristic II : Classifying the absolute toral rank two case

H. Strade.Simple Lie algebras over fields of positive characteristic II : Classifying the absolute toral rank two case. De Gruyter, 2009

2009
[13]

Strade.Simple Lie algebras over fields of positive characteristic III : Completion of the classification

H. Strade.Simple Lie algebras over fields of positive characteristic III : Completion of the classification. De Gruyter, 2013

2013
[14]

Cartan subrings in soluble ranked Lie rings

J. Tindzhogo Ntsiri and S. Zamour. Cartan subrings of soluble Lie rings of finite Morley rank. arXiv:2511.20323

work page internal anchor Pith review Pith/arXiv arXiv
[15]

D. Towers. A Frattini theory for algebras.Proc. Edin. Math. Soc., 27:440– 462, 1973

1973
[16]

F.O. Wagner. Fields of finite Morley rank.J.Symbolic.Log., 66:703–706, 2001. 15

2001
[17]

D.J. Winter. On the toral structure of lie p-algebras.Acta. Math., 123:69– 81, 1969

1969
[18]

On the cohomology of finite-dimensional nilpotent groups and Lie rings

S. Zamour. On the cohomology of finite-dimensional nilpotent groups and Lie rings. arXiv:2511.05249, 2025. Samuel Zamour Université Paris-Saclay Laboratoire de Mathématiques d’Orsay (LMO), équipe "Arithmétique et Géométrie algébrique" e-mail: samuel.zamour@u-pec.fr 16

work page internal anchor Pith review Pith/arXiv arXiv 2025