Engel's Theorem for Alternative Superalgebras
Pith reviewed 2026-05-23 05:10 UTC · model grok-4.3
The pith
Finite-dimensional alternative superalgebras satisfy an Engel-style nilpotency criterion over fields of arbitrary cardinality.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A nilpotency criterion is given for finite dimensional alternative superalgebras in the spirit of Engel's Theorem for Jordan superalgebras over infinite fields provided by Shestakov and Okunev. For alternative superalgebras, no restrictions on the cardinality of the ground field are required. Furthermore, connections are established between the concepts of graded-nil and nilpotent alternative superalgebras, and an example is exhibited of an Engelian commutative power-associative superalgebra of dimension 4 which is not nilpotent.
What carries the argument
The Engel condition applied directly to finite-dimensional alternative superalgebras, which forces nilpotency without any cardinality hypothesis on the ground field.
If this is right
- Every finite-dimensional alternative superalgebra obeying the Engel condition is nilpotent.
- Finite-dimensional graded-nil alternative superalgebras are nilpotent.
- The nilpotency criterion holds over finite as well as infinite ground fields.
- The Engel condition does not imply nilpotency for all commutative power-associative superalgebras, even in low dimension.
Where Pith is reading between the lines
- The result isolates alternative multiplication as the feature that removes the need for an infinite field.
- The four-dimensional counterexample shows that dropping alternativity immediately allows non-nilpotent Engelian examples.
- The criterion supplies a practical test that could be used to decide nilpotency in concrete low-dimensional calculations.
Load-bearing premise
The structures under consideration must be finite-dimensional alternative superalgebras.
What would settle it
An explicit finite-dimensional alternative superalgebra over a finite field that satisfies the Engel condition but is not nilpotent.
read the original abstract
In this paper, a nilpotency criterion is given for finite dimensional alternative superalgebras in the spirit of Engel's Theorem for Jordan superalgebras over infinite fields provided by Shestakov and Okunev. For alternative superalgebras, no restrictions on the cardinality of the ground field are required. Furthermore, we establish some connections between the concepts of graded-nil and nilpotent alternative superalgebras, and we also exhibit an example of an Engelian commutative power-associative superalgebra of dimension $4$ which is not nilpotent.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves an Engel-type nilpotency criterion for finite-dimensional alternative superalgebras over arbitrary fields: if every homogeneous element induces a nilpotent left or right multiplication operator, then the superalgebra is nilpotent. It also establishes relations between graded-nil and nilpotent alternative superalgebras and exhibits an explicit 4-dimensional Engelian commutative power-associative superalgebra that is not nilpotent.
Significance. The result removes the infinite-field hypothesis required in the analogous theorem for Jordan superalgebras (Shestakov-Okunev), using only finite-dimensionality via induction on a maximal nilpotent ideal and the alternative identities in the even/odd cases. The counterexample demonstrates that the alternative assumption is essential. The manuscript supplies complete proofs of the main theorem and auxiliaries.
minor comments (3)
- §3, after the statement of the main theorem: the induction step on dimension could explicitly reference the even/odd decomposition used to close the argument.
- The 4-dimensional counterexample in §4 is presented via structure constants; adding a short table of the nonzero products would improve readability.
- References to prior work on Engel theorems for alternative algebras (non-super case) are present but could be expanded with one or two additional citations for context.
Simulated Author's Rebuttal
We thank the referee for their careful reading, accurate summary of the results, and positive recommendation to accept the manuscript without revisions.
Circularity Check
No significant circularity; self-contained proof
full rationale
The paper presents a direct proof of a nilpotency criterion for finite-dimensional alternative superalgebras via induction on dimension, using the alternative identities and separate even/odd cases to close the argument. Finite-dimensionality is invoked in the standard way to guarantee a maximal nilpotent ideal, with no reduction of the main claim to a fitted parameter, self-defined quantity, or load-bearing self-citation. The reference to Shestakov-Okunev is to an external result on Jordan superalgebras and does not substitute for the alternative case proof supplied here. No ansatz, renaming of known results, or uniqueness theorem imported from the authors' prior work appears in the derivation chain.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Finite-dimensional alternative superalgebras satisfy the usual graded identities and multiplication rules of the variety.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.