pith. sign in

arxiv: 2601.22110 · v1 · submitted 2026-01-29 · 🧮 math.RA

The algebraic and geometric classification of derived Jordan and bicommutative algebras

Hani Abdelwahab , Ivan Kaygorodov , Roman Lubkov This is my paper

Pith reviewed 2026-05-16 10:00 UTC · model grok-4.3

classification 🧮 math.RA
keywords derived Jordan algebrasbicommutative algebrasalgebraic classificationgeometric classificationmetabelian commutative algebrasthree-dimensional algebrasisomorphism classes
0
0 comments X

The pith

A new enumeration method completely classifies all three-dimensional derived Jordan algebras and their bicommutative relatives.

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

The paper introduces a systematic enumeration procedure for n-dimensional derived Jordan algebras and carries it out explicitly in dimension three. The same procedure produces classifications of three-dimensional metabelian commutative algebras and derived commutative associative algebras as intermediate steps. Building on the derived commutative associative classification, the authors then classify three-dimensional bicommutative algebras. The second half of the work supplies the geometric classification of all four families by determining the orbits under the natural action of the general linear group.

Core claim

Complete algebraic lists of isomorphism classes exist for three-dimensional derived Jordan algebras, metabelian commutative algebras, derived commutative associative algebras, and bicommutative algebras; the geometric classification consists of the corresponding GL(3)-orbit decompositions for each family.

What carries the argument

An enumeration method that generates every possible algebra structure on a fixed three-dimensional vector space by solving the defining identities and quotienting by the action of GL(3) to avoid overcounting.

If this is right

  • All isomorphism classes of three-dimensional derived Jordan algebras are now explicitly known.
  • Three-dimensional metabelian commutative algebras admit a finite algebraic classification.
  • Three-dimensional bicommutative algebras are classified by reducing to the derived commutative associative case.
  • The geometric classification supplies the number and dimensions of GL(3)-orbits for each of the four families.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same enumeration technique can be tested on four-dimensional derived Jordan algebras to check whether the computational cost remains manageable.
  • The resulting lists may be used to compute deformation spaces or cohomology groups for these algebra varieties.
  • Geometric orbit data could be compared with classifications of other nonassociative structures to detect shared moduli-space patterns.

Load-bearing premise

The enumeration procedure produces every distinct isomorphism class exactly once when the underlying vector space is three-dimensional.

What would settle it

Exhibiting a single three-dimensional derived Jordan algebra whose multiplication table is not isomorphic to any algebra on the published list would show the method missed a class.

read the original abstract

We developed a new proper method for classifying $n$-dimensional derived Jordan algebras, and apply it to the classification of $3$-dimensional derived Jordan algebras. As a byproduct, we have the algebraic classification of $3$-dimensional metabelian commutative algebras and $3$-dimensional derived commutative associative algebras. After that, we introduced a method of classifying $n$-dimensional bicommutative algebras, based on the classification of $n$-dimensional derived commutative associative algebras, and applied it to the classification of $3$-dimensional bicommutative algebras. The second part of the paper is dedicated to the geometric classification of $3$-dimensional metabelian commutative, derived commutative associative, derived Jordan and bicommutative algebras.

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.

Referee Report

2 major / 2 minor

Summary. The paper develops a new method for classifying n-dimensional derived Jordan algebras and applies it to obtain the complete algebraic classification of all 3-dimensional derived Jordan algebras. As byproducts, it classifies 3-dimensional metabelian commutative algebras and 3-dimensional derived commutative associative algebras. It then introduces a classification method for n-dimensional bicommutative algebras derived from the commutative associative case and applies it to 3 dimensions. The second part of the work provides the geometric classification (via orbit closures and degenerations) of the 3-dimensional metabelian commutative, derived commutative associative, derived Jordan, and bicommutative algebras.

Significance. If the algebraic classifications are exhaustive and the geometric results correctly describe the degeneration diagrams, the paper supplies explicit lists of isomorphism classes and their geometric relations for four families of 3-dimensional algebras. These lists are useful for representation theory, deformation theory, and computational algebra in low dimensions; the new methods may extend to higher dimensions or related varieties such as Jordan or associative algebras.

major comments (2)
  1. [Section describing the 3D derived Jordan classification] The central claim that the new method yields a complete classification of 3-dimensional derived Jordan algebras rests on the assertion that the chosen normal forms under GL(3)-action together with the case divisions (by rank of the multiplication map or dimension of the derived subalgebra) enumerate every orbit exactly once. The manuscript must supply an explicit argument or exhaustive case-by-case verification that no orbits are missed, particularly in degenerate cases where the derived subalgebra has dimension 0 or 1; without this, the completeness of the listed algebras cannot be confirmed.
  2. [Geometric classification section] The geometric classification in the second part depends on the algebraic lists being complete. Any gap in the algebraic enumeration would propagate to the degeneration diagrams and orbit-closure statements; the paper should therefore include a cross-check that every algebra in the algebraic list appears in the geometric stratification.
minor comments (2)
  1. Notation for the structure constants and the action of GL(n) should be introduced uniformly at the beginning of the algebraic-classification part to avoid repeated redefinitions.
  2. Tables listing the isomorphism classes would benefit from an additional column indicating the dimension of the derived subalgebra for quick reference.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the major points below and will revise the manuscript to strengthen the explicit verification of completeness.

read point-by-point responses

  1. Referee: [Section describing the 3D derived Jordan classification] The central claim that the new method yields a complete classification of 3-dimensional derived Jordan algebras rests on the assertion that the chosen normal forms under GL(3)-action together with the case divisions (by rank of the multiplication map or dimension of the derived subalgebra) enumerate every orbit exactly once. The manuscript must supply an explicit argument or exhaustive case-by-case verification that no orbits are missed, particularly in degenerate cases where the derived subalgebra has dimension 0 or 1; without this, the completeness of the listed algebras cannot be confirmed.

    Authors: Our method classifies by exhaustive division on the dimension of the derived subalgebra (0 through 3) and the rank of the multiplication map within each dimension. For the degenerate cases (dimensions 0 and 1), the possible structure constants are constrained by the Jordan identity and commutativity, reducing to a small number of solvable systems that we enumerate directly up to GL(3) equivalence. This enumeration is complete because every possible multiplication table falls into one of the rank/dimension cases, with no overlaps by construction of the normal forms. To address the request for explicit verification, we will add a dedicated subsection in the revised manuscript that tabulates the cases, shows the solving steps for the degenerate ones, and confirms that all orbits are covered without omission. revision: yes

  2. Referee: [Geometric classification section] The geometric classification in the second part depends on the algebraic lists being complete. Any gap in the algebraic enumeration would propagate to the degeneration diagrams and orbit-closure statements; the paper should therefore include a cross-check that every algebra in the algebraic list appears in the geometric stratification.

    Authors: We agree that the geometric results rest on the algebraic classification. The degeneration diagrams were built by computing all possible limits between the listed algebras, ensuring each algebraic class appears as a distinct orbit. In the revised manuscript we will insert an explicit cross-reference (a short table or paragraph) that maps every algebra from the algebraic lists to its location in the geometric stratification, thereby confirming that the orbit closures contain precisely the enumerated classes with no gaps. revision: yes

Circularity Check

0 steps flagged

No circularity: classification proceeds from axioms via explicit orbit enumeration

full rationale

The paper develops its classification method directly from the derived Jordan identity imposed on structure constants, followed by case analysis on invariants such as the dimension of the derived subalgebra and rank of the multiplication map, then normal forms under GL(3) action. No step reduces a claimed result to a fitted parameter renamed as a prediction, nor does any central claim rest solely on a self-citation whose content is itself unverified. The byproduct classifications of metabelian commutative and derived commutative associative algebras are obtained by the same direct imposition of their defining identities. Geometric classification likewise uses standard deformation theory on the already-listed algebraic representatives. The derivation chain is therefore self-contained against the external benchmark of the algebra axioms and group action, with no load-bearing reduction to inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The classifications rest on the standard definitions of Jordan, commutative, associative, metabelian, and bicommutative algebras together with the assumption that the enumeration procedure is exhaustive in dimension 3.

axioms (2)
  • standard math Standard Jordan identity and commutativity for derived Jordan algebras.
    Invoked as the base variety being classified.
  • domain assumption Metabelian and bicommutative identities as given in the literature.
    Used to define the additional classes whose classifications are obtained as byproducts.

pith-pipeline@v0.9.0 · 5423 in / 1217 out tokens · 35674 ms · 2026-05-16T10:00:07.707116+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages

  1. [1]

    Abdelwahab H., Abdurasulov K., Kaygorodov I., The algebraic and geometric classi- fication of noncommutative Jordan algebras, Frontiers of Mathematics, 2025, DOI: 10.1007/s11464-024-0173-7 29

    work page doi:10.1007/s11464-024-0173-7 2025

  2. [2]

    Abdelwahab H., Fernández Ouaridi A., Martín González C., Degenerations of Poisson algebras, Journal of Algebra and its Applications, 24 (2025), 3, 2550087

    work page 2025

  3. [3]

    Abdelwahab H., Kaygorodov I., Lubkov R., The algebraic and geometric classification ofδ-Novikov algebras, Boletín de la Sociedad Matemática Mexicana (3), 31 (2025), 3, 145

    work page 2025

  4. [4]

    Abdurasulov K., Kaygorodov I., Khudoyberdiyev A., The algebraic classification of nilpotent bicommutative algebras, Mathematics, 11 (2023), 3, 777

    work page 2023

  5. [5]

    Abdurasulov K., Khudoyberdiyev A., Toshtemirova F., The geometric classification of nilpotent Lie-Yamaguti, Bol and compatible Lie algebras, Communications in Math- ematics, 33 (2025), 3, 10

    work page 2025

  6. [6]

    Alvarez M., Fehlberg Júnior R., Kaygorodov I., The algebraic and geometric clas- sification of Zinbiel algebras, Journal of Pure and Applied Algebra, 226 (2022), 11, 107106

    work page 2022

  7. [7]

    Bai Y., Chen Y., Zhang Z., Gelfand-Kirillov dimension of bicommutative algebras, Linear and Multilinear Algebra, 70 (2022), 22, 7623–7649

    work page 2022

  8. [8]

    Barreiro E., Benayadi S., Rizzo C., Bialgebra theory for nearly associative algebras and LR-algebras: equivalence, characterization, and LR-Yang-Baxter equation, Lin- ear Algebra and its Applications, 711 (2025), 84–125

    work page 2025

  9. [9]

    Barrionuevo J., Tirao P., Sulca D., Deformations and rigidity in varieties of Lie alge- bras, Journal of Pure and Applied Algebra, 227 (2023), 3, 107217

    work page 2023

  10. [10]

    Ben Hassine A., Chtioui T., Elhamdadi M., Mabrouk S., Cohomology and defor- mations of left-symmetric Rinehart algebras, Communications in Mathematics, 32 (2024), 2, 127–152

    work page 2024

  11. [11]

    Benayadi S., Oubba H., Nonassociative algebras of biderivation-type, Linear Alge- bra and its Applications, 701 (2024), 22–60

    work page 2024

  12. [12]

    Benayadi S., Boulmane S., Kaygorodov I., Nonassociative algebras of anti- biderivation-type, arXiv:2506.17228

    work page arXiv

  13. [13]

    Bildanov R., Gorshkov I., On 3-generated axial algebras of Jordan type 1 2,Commu- nications in Mathematics, 33 (2025), 3, 4

    work page 2025

  14. [14]

    Bokut L., Chen Y., Zhang Z., Automorphisms of finitely generated free metabelian Novikov algebras, Journal of Algebra and its Applications, 25 (2026), 4, 2550370

    work page 2026

  15. [15]

    Burde D., Dekimpe K., Vercammen K., Complete LR-structures on solvable Lie al- gebras, Journal of Group Theory, 13 (2010), 5, 703–719

    work page 2010

  16. [16]

    Math., 491, Amer

    Burde D., Dekimpe K., Deschamps S., LR-algebras, New developments in Lie theory and geometry, 125–140, Contemp. Math., 491, Amer. Math. Soc., Providence, RI, 2009

    work page 2009

  17. [17]

    Burde D., Steinhoff C., Classification of orbit closures of 4–dimensional complex Lie algebras, Journal of Algebra, 214 (1999), 2, 729–739. 30

    work page 1999

  18. [18]

    Dauletiyarova A., Abdukhalikov K., Sartayev B., On the free metabelian Novikov and metabelian Lie-admissible algebras, Communications in Mathematics, 33 (2025), 3, 3

    work page 2025

  19. [19]

    Dauletiyarova A., Sartayev B., Differential Novikov algebras, arXiv:2503.00457

    work page arXiv

  20. [20]

    De Medts T., Meulewaeter J., Inner ideals and structurable algebras: Moufang sets, triangles and hexagons, Israel Journal of Mathematics, 259 (2024), 1, 33–88

    work page 2024

  21. [21]

    Drensky V., Varieties of bicommutative algebras, Serdica Mathematical Journal, 45 (2019), 2, 167–188

    work page 2019

  22. [22]

    Non-associative alge- bras and related topics, 231–243, Springer Proc

    Drensky V., Invariant theory of free bicommutative algebras. Non-associative alge- bras and related topics, 231–243, Springer Proc. Math. Stat., 427, Springer, Cham, [2023], ©2023

    work page 2023

  23. [23]

    Drensky V., Ismailov N., Mustafa M., Zhakhayev B., Free bicommutative superal- gebras, Journal of Algebra, 652 (2024), 158–187

    work page 2024

  24. [24]

    Drensky V., Zhakhayev B., Noetherianity and Specht problem for varieties of bi- commutative algebras, Journal of Algebra, 499 (2018), 570–582

    work page 2018

  25. [25]

    Dzhumadil’daev A., Ismailov N., Polynomial identities of bicommutative algebras, Lie and Jordan elements, Communications in Algebra, 46 (2018), 12, 5241–5251

    work page 2018

  26. [26]

    Dzhumadildaev A., Ismailov N., Tulenbaev K., Free bicommutative algebras, Serdica Mathematical Journal, 37 (2011), 1, 25–44

    work page 2011

  27. [27]

    Dzhumadildaev A., Tulenbaev K., Bicommutative algebras, Russian Mathematical Surveys, 58 (2003), 6, 1196–1197

    work page 2003

  28. [28]

    Fehlberg Júnior R., Kaygorodov I., Saydaliyev A., The geometric classification of symmetric Leibniz algebras, Communications in Mathematics, 33 (2025), 1, 10

    work page 2025

  29. [29]

    Fehlberg Júnior R., Kaygorodov I., Saydaliyev A., The complete classification of irre- ducible components of varieties of Jordan superalgebras, Communications in Math- ematics, 33 (2025), 3, 15

    work page 2025

  30. [30]

    Fernández-Culma E., Rojas N., On the classification of 3-dimensional complex Hom- Lie algebras, Journal of Pure and Applied Algebra, 227 (2023), 5, 107272

    work page 2023

  31. [31]

    Grunewald F., O’Halloran J., Varieties of nilpotent Lie algebras of dimension less than six, Journal of Algebra, 112 (1988), 315–325

    work page 1988

  32. [32]

    Ismailov N., Mashurov F., Sartayev B., On algebras embeddable into bicommutative algebras, Communications in Algebra, 52 (2024), 11, 4778–4785

    work page 2024

  33. [33]

    Jordan P., von Neumann J., Wigner E., On an algebraic generalization of the quan- tum mechanical formalism, Annals of Mathematics (2), 35 (1934), 1, 29–64

    work page 1934

  34. [34]

    Jumaniyozov D., Kaygorodov I., Khudoyberdiyev A., The geometric classification of nilpotent commutativeCD-algebras, Bollettino dell’Unione Matematica Italiana, 15 (2022), 3, 465–481. 31

    work page 2022

  35. [35]

    Kaygorodov I., Non-associative algebraic structures: classification and structure, Communications in Mathematics, 32 (2024), 3, 1–62

    work page 2024

  36. [36]

    Kaygorodov I., Mashurov F., Nam T., Zhang Z., Products of commutator ideals of some Lie-admissible algebras, Acta Mathematica Sinica, English Series, 40 (2024), 8, 1875–1892

    work page 2024

  37. [37]

    Kaygorodov I., Khrypchenko M., Páez-Guillán P., The geometric classification of non-associative algebras: a survey, Communications in Mathematics, 32 (2024), 2, 185–284

    work page 2024

  38. [38]

    Kaygorodov I., Khrypchenko M., Popov Y., The algebraic and geometric classifica- tion of nilpotent terminal algebras, Journal of Pure and Applied Algebra, 225 (2021), 6, 106625

    work page 2021

  39. [39]

    Kaygorodov I., Páez-Guillán P., Voronin V., The algebraic and geometric classifica- tion of nilpotent bicommutative algebras, Algebras and Representation Theory, 23 (2020), 6, 2331–2347

    work page 2020

  40. [40]

    Kaygorodov I., Páez-Guillán P., Voronin V., One-generated nilpotent bicommutative algebras, Algebra Colloquium, 29 (2022), 3, 453–474

    work page 2022

  41. [41]

    Kochloukova D., García Hernández E., Homological properties of metabelian re- stricted Lie algebras, Journal of Algebra, 643 (2024), 119–152

    work page 2024

  42. [42]

    Kolesnikov P., Sartayev B., White Manin product and Hadamard product, arXiv:2503.21308v1

    work page arXiv

  43. [43]

    Lopes S., Noncommutative algebra and representation theory: symmetry, structure & invariants, Communications in Mathematics, 32 (2024), 2, 63–117

    work page 2024

  44. [44]

    Mashurov F., Sartayev B., Metabelian Lie and perm algebras, Journal of Algebra and its Applications, 23 (2024), 4, 2450065

    work page 2024

  45. [45]

    Mishchenko S., Valenti A., Correspondence between some metabelian varieties and left nilpotent varieties, Journal of Pure and Applied Algebra, 225 (2021), 3, 106538

    work page 2021

  46. [46]

    Ö ˘gü¸ slü N., Fındık ¸ S., On invariants of free metabelian bicommutative algebras, Ricerche di Matematica, 74 (2025), 5, 3035–3050

    work page 2025

  47. [47]

    Pchelintsev S., Varieties of algebras that are solvable of index 2, Mathematics of the USSR-Sbornik, 43 (1982), 2, 159–180

    work page 1982

  48. [48]

    Siciliano S., Spinelli E., Lie metabelian restricted universal enveloping algebras, Archiv der Mathematik, 84 (2005), 5, 398–405

    work page 2005

  49. [49]

    Shestakov I., Zhang Z., Automorphisms of finitely generated relatively free bicom- mutative algebras, Journal of Pure and Applied Algebra, 225 (2021), 8, 106636

    work page 2021

  50. [50]

    Towers D., Nilpotency, solvability and Frattini theory for bicommutative, assosym- metric and Novikov algebras, Communications in Algebra, 53 (2025), 3, 917–928. 32

    work page 2025