Pith. sign in

REVIEW 4 major objections 4 minor 34 references

Diagram of Representations of Universal Algebras

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

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A two-step action tower lifts to a free representation inside endomorphisms of endomorphisms, with all maps coordinated.

desk verdict An elaborate, original framework for representations of universal algebras with real organizational value, but load-bearing gaps in coordinatization and tower coordination make the central claims unproved. read the letter →

arxiv 1908.04418 v2 pith:MMEDBYXC submitted 2019-08-09 math.GM

Aleks Kleyn This is my paper · ORCID
classification math.GM
keywords universalalgebrarepresentationoftowerrepresentationsdiagrammorphismbasisgeometricobjecttensorproduct
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

Representation theory normally starts with a group or a ring acting on a vector space; this book starts with one arbitrary universal algebra acting on another and asks what the whole structure—actions, structure-preserving maps between them, bases, tensor products—looks like in that generality. The paper's central claim is that representations arranged in a tower $A_1 \to A_2 \to A_3 \to \cdots$ are coherent in a strong sense: the maps relating one level to the next are coordinated rather than accidental. The main engine is Theorem 7.1.6, which lifts a two-step action to a single free representation of $A_1$ inside the endomorphisms of endomorphisms of $A_3$, provided the second action is effective and the first is free; Theorem 7.2.2 then shows that morphisms of the lower representations induce the missing map at the top level. A sympathetic reader would care because, if these theorems hold, vector spaces, modules, affine spaces, and their invariant theory all become instances of one construction.

What carries the argument

The load-bearing object is the induced representation $f_{ijk}$ defined by $f_{ijk}(a_i)\bigl(f_{jk}(a_j)\bigr) = f_{jk}\bigl(f_{ij}(a_i)(a_j)\bigr)$, which converts a two-step chain of actions into one action by $A_i$ on the algebra of endomorphisms of $A_k$. This identity carries the coordination: Theorem 7.1.6 shows injectivity follows from effectiveness of $f_{jk}$ plus freedom of $f_{ij}$, and Theorem 7.2.2 shows that any morphism between diagrams induces the map $h^*_k$ on endomorphism algebras, forcing the whole diagram to commute. A second load-bearing mechanism, introduced in Theorem 3.1.10, is the transport of operations: a single transitive representation $f: A_1 \to \mathrm{End}(A_2)$ is used to define the $\Omega_1$-algebra structure on $A_2$ by $b_1\cdots b_n\omega = f(a_1\cdots a_n\omega)(b)$, where each $b_i = f(a_i)(b)$. Coordinates, bases, basis manifolds, and geometric objects are then defined as orbits of this transported structure under the automorphism group of the representation.

What would settle it

Let $A_1 = A_2$ be a cyclic group of order three with addition, and let $f$ be left translation, which is single transitive and free. For base point $0$, the transported addition is ordinary addition; for base point $1$, it becomes $x \oplus y = x + y - 1$. Since these operations differ, the transported structure depends on the reference point; this directly tests the base-point-independence clause of Theorem 3.1.10.

Watch

Extended reading notes

Core claim

The discovery is a coordination principle for towers of representations. Given representations $f_{ij}: A_i \to \mathrm{End}(A_j)$ and $f_{jk}: A_j \to \mathrm{End}(A_k)$, define $f_{ijk}(a_i)\bigl(f_{jk}(a_j)\bigr) = f_{jk}\bigl(f_{ij}(a_i)(a_j)\bigr)$. The paper proves that when $f_{jk}$ is effective and $f_{ij}$ is free, this assignment is itself a free representation of $A_i$ in $\mathrm{End}(\Omega_j, \mathrm{End}(\Omega_k, A_k))$. The same mechanism makes the diagram commute: $f_{jk}$ becomes a reduced morphism from $f_{ij}$ to $f_{ijk}$, and Theorem 7.2.2 constructs the top-level map $h^*_k$ that any diagram morphism must use, so that every square in the tower commutes. On the paper's telling, this is why all maps in a tower of representations are coordinated.

Load-bearing premise

Everything later rests on the assertion in Theorem 3.1.10 that when an algebra acts transitively on a set, the operation transported to that set is well defined and does not depend on which reference point was used; the proof states this must be required but does not establish it, so if it ever fails the coordinatization chapters collapse.

Editorial extensions

If this is right

  • Any two-step tower $f_{ij}, f_{jk}$ with $f_{ij}$ free and $f_{jk}$ effective yields a free representation of $A_i$ in $\mathrm{End}(\Omega_j, \mathrm{End}(\Omega_k, A_k))$, so a tower can be studied one step at a time without losing information.
  • Morphisms between diagrams of representations are determined by their maps on the initial algebras once effectiveness is available; the induced $h^*_k$ on endomorphism algebras makes every diagram square commute.
  • Representations of a multiplicative $\Omega$-group admit twin left- and right-side actions, and the coordinate changes induced by passive basis transformations form an effective contravariant right-side representation of the automorphism group.
  • Geometric objects, defined as orbits of a coordinate representation, are invariant under the choice of basis, generalizing tensor calculus to arbitrary universal algebras.
  • Tensor products of effective representations exist, are unique up to isomorphism, and are associative, matching the classical tensor product when the algebras are modules over a commutative ring.

Reading between the lines

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

  • Editorial inference: the unproved base-point independence in Theorem 3.1.10 is doing more work than the text acknowledges; if it fails for some single transitive action, then the transported $\Omega_1$-structure, and therefore the coordinates, bases, and geometric objects built on it, are not definable.
  • Editorial inference: the coordination identity in Theorem 7.1.6 has the shape of an interchange law; for a Lie algebra represented by left shifts, the identity recovers the Jacobi identity, suggesting the tower construction is a universal-algebra counterpart of the interchange law familiar from double categories.
  • Editorial inference: one can test the theory by building a tower in which the first representation is free but the second is only effective, not free; Theorem 7.1.6 predicts the induced representation is free, and a counterexample would force the second hypothesis to be strengthened to freedom.
  • Editorial inference: the paper's basis manifold is single transitive under the active representation, so the theory implies that any two bases of a representation are related by a unique automorphism; this is a strong rigidity statement that would fail for representations with inequivalent bases, a possibility the paper itself notes in Remark 6.2.7.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The manuscript, a book-length preprint, develops a general theory of representations of universal algebras. It introduces representations f: A1 → End(Ω2; A2), morphisms of representations, reduced morphisms, Ω-groups, tensor products, bases and basis manifolds, and diagrams (towers) of representations, with the aim of unifying classical module/vector-space theory and affine geometry. The claimed headline result (Preface §1.1) is that all maps in a tower of representations are coordinated; this is said to rest on Theorem 7.1.6 and Theorem 7.2.2. The paper also applies the framework to modules, algebras, and affine geometry in Chapters 9–10. Several elementary lemmas are correct, but the main steps contain serious gaps, and at least one central theorem is false.

Significance. If the framework were correct, it would provide a genuinely unified treatment of representations of universal algebras, with potential applications to invariant theory, tensor products, and affine geometry. The book-length manuscript has strengths: it carefully builds a large machinery and verifies it in detail on modules, vector spaces, algebras, and affine spaces, and many individual statements, such as Theorem 3.1.3 and the decomposition theorem 3.3.5, are correct. There are no fitted parameters or experimental artifacts; the arguments are purely mathematical. However, the central construction of a transported algebra structure (Theorem 3.1.10) is false, the addition on the acting algebra (Theorem 4.2.4) is not generally well-defined, and the induced representations in towers (Theorem 7.1.6) are not total maps. These are load-bearing issues, not cosmetic, and the paper itself flags Theorem 6.3.3 as unproved before later relying on it. At present the main claims are not established.

major comments (4)
  1. [§3.1, Theorem 3.1.10] The proof of Theorem 3.1.10 does not define an Ω1-algebra structure on A2. The clause "We also require that choice of A2-number b does not depend on operation ω" is an unproved well-definedness condition: the operation defined in (3.1.1) depends on the chosen base point b. For example, let A1 = A2 = G be a nontrivial group, take Ω1 = {∗} and Ω2 = ∅, and let f be the left regular representation f(g)(h) = gh. For b = e the transported product is the group product g1g2, while for b = c it is (g1g2)c, which differs for c ≠ e. Thus the transported structure is not independent of the chosen base point. Since Theorem 5.5.4, Theorem 5.5.9, Chapter 6, and Theorem 6.5.5 all rely on this step, the later coordinatization and geometric-object results are unsupported.
  2. [§4.2, Theorem 4.2.4] The proof of Theorem 4.2.4 asserts that for any a,b ∈ A1 there exists c ∈ A1 satisfying (4.2.2). Effectiveness yields only uniqueness of such a c, not its existence; existence would require the image f(A1) to be closed under pointwise addition in End(A2). This is false in general: take Ω1 = ∅, A1 = {0,1}, A2 = Z with the usual addition, and define f(0) = 0, f(1) = id. Then f is an effective representation in the sense of the paper (any map is a homomorphism because Ω1 is empty), but f(1) + f(1) is the doubling map, which is not in f(A1), so no c ∈ A1 satisfies f(c) = f(1) + f(1). Consequently the claimed Abelian semigroup structure on A1, and everything built on it, including Ω-groups and tensor products in Chapter 4, is not established.
  3. [§7.1–7.2, Theorem 7.1.6, Lemma 7.1.8, Theorem 7.2.2] Equation (7.1.4) defines fijk(ai) only on the image fjk(Aj) in End(Ωk; Ak). The hypothesis that fjk is effective gives injectivity, not surjectivity; for example, the left regular representation of a nontrivial group into the symmetric group is effective but not onto. Hence fijk(ai) is not a total endomorphism of End(Ωk; Ak), and fijk is not a map into End(Ωj; End(Ωk; Ak)). Lemma 7.1.8 similarly defines the Ωi-algebra operations only on the subset fijk(Ai), not on the whole claimed carrier. The cancellation step (7.2.17) → (7.2.18) in Theorem 7.2.2 is valid only if fjk is surjective, or if the equality is known on all of End(Ωk; Ak), which is not shown. The headline claim from §1.1 that all maps in the tower are coordinated is therefore unproved.
  4. [§6.3, Theorem 6.3.3 and Question 6.3.4] Theorem 6.3.3 states that a free representation in the sense of Definition 3.1.4 has a basis in the sense of Definition 6.3.1, but no proof is given. Question 6.3.4 explicitly says "It is very important to find a proof of the theorem 6.3.3 or to find an example when this theorem is wrong," and the text then says "within the framework of this book I can use the theorem 6.3.2." This is an admission that the equivalence of the two notions of freeness is assumed, not proved. Chapter 7's results on free representations and induced representations depend on exactly this equivalence, so those results are conditional on an unproved assumption.
minor comments (4)
  1. [§3.1, Theorem 3.1.5] Theorem 3.1.5 is a restatement of Definition 3.1.4; presenting it as a theorem obscures rather than clarifies the exposition.
  2. [Throughout] There are numerous typos, including "emdomorphism" in the proof of Theorem 4.5.1, "nubmer" in Definition 4.6.7, "repesentations" in Definition 3.3.4, and "first isomorphism theorem" with the kernel written as f◦f^-1, which is not meaningful as a composition when f is not bijective.
  3. [Throughout] The cross-reference style "p. [14]-14" is unhelpful; standard equation, definition, and theorem numbers, together with page references to the bibliography, would improve readability.
  4. [§2.1, Theorem 2.1.2] The proof of Theorem 2.1.2 uses three separate lemmas to prove the standard fact that the kernel of a map is an equivalence relation; this over-proving lengthens the text without adding content.

Circularity Check

2 steps flagged · score 3.0 of 10

Coordination in the tower and invariance of geometric objects are wired into definitions; central representation machinery is not circular, though proof gaps exist.

  1. self definitional [Preface §1.1; §7.1 Definition 7.1.5, Theorem 7.1.6, Eq. (7.1.4)]
    "The most amazing fact is the statement that all maps in the tower of representations are coordinated. ... The map fijk : Ai → End(Ωj, End(Ωk, Ak)) is defined by the equality (7.1.4) fijk(ai)(fjk(aj)) = fjk(fij(ai)(aj))"

    The headline 'amazing fact' is the claim that all maps in the tower are coordinated. The induced map f_{ijk} is introduced by Eq. (7.1.4), which is exactly the commutativity condition for diagram (7.1.3). Thus the coordination is not derived from more primitive data; it is put into the definition of f_{ijk}. What remains nontrivial is the separate assertion that f_{ijk} is a free representation, but the 'coordination' itself is true by construction, not by discovery.

  2. self definitional [§6.5 Definition 6.5.4, Theorem 6.5.5 (invariance principle)]
    "Orbit O(f, g, m) = (W [g, eg ◦ H(S), eg] ◦ W [g, eg, m], eg ◦ H(S), ef ◦ S, S ∈ GA(f)) is called geometric object defined in the representation f. ... Since a geometric object is an orbit of representation, we see that according to the theorem 5.3.7 the definition of the geometric object is a proper definition. ... Theorem 6.5.5 (invariance principle). Representative of geometric object does not depend on selection of basis ef."

    A geometric object is defined as an orbit of the coordinate transformations induced by basis changes, so the claimed invariance is baked into the definition. The proof of Theorem 6.5.5 performs the cancellation algebraically, but the conclusion 'representative does not depend on the choice of basis' is a corollary of having defined the object as an orbit rather than an independent prediction. The paper itself notes the orbit character immediately before stating the invariance principle.

full rationale

This is a mathematical monograph with no fitted parameters or empirical predictions, so the fitted-input form of circularity does not arise. The central development—representations of universal algebras, morphisms, tensor products, basis manifolds, and the module/affine examples—is built from explicit definitions and standard external algebra; its main claims do not reduce to hidden inputs. Two headline statements, however, are closer to definitions than to derived results: the 'coordination of all maps in the tower' is enforced by Eq. (7.1.4) defining f_{ijk}, and the invariance principle for geometric objects is a direct consequence of defining geometric objects as orbits in Definition 6.5.4. These raise the circularity score modestly. Separately, there are serious proof gaps—the unproved well-definedness condition in Theorem 3.1.10 and the domain/cancellation issue in Theorems 7.1.6 and 7.2.2—but those are correctness problems, not circularity, and they do not increase the circularity score. No load-bearing self-citation was found; author self-references, e.g., to [10] and [11], are contextual rather than load-bearing.

Assumptions & free parameters 0 free parameters · 4 assumptions · 2 invented entities

Pure-mathematics draft with no fitted constants. The framework rests on definitions and background universal algebra; the cost is concentrated in domain assumptions (endomorphism sets must carry algebra structures, rare by the paper's own Theorem 4.1.4 analysis), an unproved coherence requirement (Theorem 3.1.10), and an admitted open theorem (Question 6.3.4) that the basis theory bypasses by convention.

assumptions (4)
  • standard math Standard universal algebra background (congruences, first isomorphism theorem) from Cohn [14].
    Invoked in Theorem 2.3.8 and used throughout Chapters 3 and 6.
  • domain assumption The set End(Ω2; A2) can be equipped with an Ω1-algebra structure.
    Definition 3.1.1 builds the entire notion of representation on this. Section 4.1 (Theorems 4.1.1 and 4.1.4) shows this holds only under restrictive interchange conditions, and the paper itself notes the class of such algebras is small.
  • ad hoc to paper The induced Ω1-algebra structure on A2 from a single transitive representation is independent of the chosen base point b.
    Theorem 3.1.10 states 'We also require that choice of A2-number b does not depend on operation ω' without proof. This coherence condition is load-bearing for coordinatization (Theorem 5.5.4) and basis manifolds (Chapter 6).
  • ad hoc to paper Theorem 6.3.3: a free representation in the sense of Definition 3.1.4 has a basis.
    The author flags this as open in Question 6.3.4 and nevertheless proceeds assuming representations have bases, using only the easy direction (Theorem 6.3.2).
invented entities (2)
  • Biring (Definition 4.6.13)
    purpose: A set with two products (∗∗- and ∗∗-products) and a transpose, used to organize left and right matrix products and a duality principle.
    A coined algebraic structure; the author cites earlier work [8] for it. It is a definition with no falsifiable handle outside the paper.
  • Twin representations (f, h)
    purpose: Left and right single-transitive representations of a group on the same set that commute (Theorem 5.5.9).
    A derived concept built from the coordinatization theorem; it is a defined pairing rather than a postulated entity with external evidence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Diagram of Representations of Universal Algebras." pith.science (2026). https://pith.science/paper/MMEDBYXC

@misc{pith2026190804418,
  author       = {Pith},
  title        = {Pith review of: Diagram of Representations of Universal Algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MMEDBYXC}},
  note         = {Machine review of arXiv:1908.04418}
}
read the original abstract

Theory of representations of universal algebra is a natural development of the theory of universal algebra. In the book, I considered representation of universal algebra, diagram of representations and examples of representation. Morphism of the representation is the map that conserve the structure of the representation. Exploring of morphisms of the representation leads to the concepts of generating set and basis of representation.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages

  1. [1]

    F. W. Hehl, P. von der Heyde, G. D. Kerlick, and J. M. Nester, Gen eral relativity with spin and torsion: Foundations and prospects, Rev. Mod. Phys. 48, 393 (1976)

    work page 1976

  2. [2]

    Serge Lang, Algebra, Springer, 2002

    work page 2002

  3. [3]

    G. E. Shilov, Calculus, Multivariable Functions, Moscow, Nauka, 19 72

    work page

  4. [4]

    P. K. Rashevsky, Riemann Geometry and Tensor Calculus, Moscow, Nauka, 1967

    work page 1967

  5. [5]

    A. G. Kurosh, Lectures on General Algebra, Chelsea Pub Co, 19 65

    work page

  6. [7]

    V. V. Zharinov, Algebraic and geometric foundation of mathemat ical physics, Lecture courses of the scientific and educational center, 9, Ste klov Math. Institute of RAS, Moscow, 2008

    work page 2008

  7. [14]

    Cohn, Universal Algebra, Springer, 1981

    Paul M. Cohn, Universal Algebra, Springer, 1981

    work page 1981

  8. [16]

    Bourbaki, Algebra 1, Springer, 2004

    N. Bourbaki, Algebra 1, Springer, 2004

    work page 2004

Show all 34 references
  1. [17]

    Bourbaki, Lie Groups and Lie Algebras, Chapters 1 - 3, Spring er, 1989

    N. Bourbaki, Lie Groups and Lie Algebras, Chapters 1 - 3, Spring er, 1989

    1989

  2. [18]

    M., Geometry IV: Differential geometry, Moscow, Nauka, 1983

    Postnikov M. M., Geometry IV: Differential geometry, Moscow, Nauka, 1983

    1983

  3. [19]

    V., Vinogradov A

    Alekseyevskii D. V., Vinogradov A. M., Lychagin V. V., Basic Conce pts of Differential Geometry VINITI Summary 28 Moscow. VINITI, 1988

    1988

  4. [20]

    Schafer, An Introduction to Nonassociative Algebr as, Dover Publications, Inc., New York, 1995 187 188 References

    Richard D. Schafer, An Introduction to Nonassociative Algebr as, Dover Publications, Inc., New York, 1995 187 188 References

    1995

  5. [21]

    Теория представлений универсальной алгебры является есте- ственным развитием теории универсальной алгебры

    Paul Bamberg, Shlomo Sternberg, A course in mathematics for students of physics, Cambridge University Press, 1991 Index A∗-module 156 A∗-vector space 156 A-representation in Ω-algebra 17, 75 Abelian multiplicative Ω-group 55 Abelian Ω-group 42 Abelian semigroup 16 active repre...

    1991 arXiv

  6. [22]

    F. W. Hehl, P. von der Heyde, G. D. Kerlick, and J. M. Nester , General relativity with spin and torsion: Foundations and prospect s, Rev. Mod. Phys. 48, 393 (1976)

    1976

  7. [23]

    Мир, 1968

    Серж Ленг, Алгебра, М. Мир, 1968

    1968

  8. [24]

    Г. Е. Шилов. Математический анализ, Функции нескольких веще- ственных переменных, части 1 - 2, М., Наука, 1972

    1972

  9. [25]

    П. К. Рашевский, Риманова геометрия и тензорный анализ, М., Наука, 1967

    1967

  10. [26]

    А. Г. Курош, Общая алгебра, (лекции 1969 - 70 учебного год а), М., МГУ, 1970

    1969

  11. [27]

    Kevin McCrimmon; A Taste of Jordan Algebras; Springer, 2004

    2004

  12. [28]

    В. В. Жаринов, Алгебро-геометрические основы математи ческой фи- зики, Лекционные курсы научно-образовательного центра, 9, МИАН , М., 2008

    2008

  13. [29]

    Александр Клейн, Бикольцо матриц, eprint arXiv:math.OA/0612111 (2007)

    2007

  14. [30]

    Александр Клейн, Преобразование Лоренца и принцип обще ковари- антности, eprint arXiv:0803.3276 (2009)

    2009 arXiv

  15. [31]

    Александр Клейн, Введение в геометрию над телом, eprint arXiv:0906.0135 (2010)

    2010 arXiv

  16. [32]

    Александр Клейн, Александер Ложье, Ортонормированны й базис в пространстве Минковского, eprint arXiv:1201.4158 (2012)

    2012 arXiv

  17. [33]

    Александр Клейн, Линейное отображение D-алгебры, eprint arXiv:1502.04063 (2015)

    2015 arXiv

  18. [34]

    Baez, The Octonions, eprint arXiv:math.RA/0105155 (2002)

    John C. Baez, The Octonions, eprint arXiv:math.RA/0105155 (2002)

    2002

  19. [35]

    Кон, Универсальная алгебра, М., Мир, 1968

    П. Кон, Универсальная алгебра, М., Мир, 1968

    1968

  20. [36]

    Cohn, Algebra, Volume 1, John Wiley & Sons, 1982

    Paul M. Cohn, Algebra, Volume 1, John Wiley & Sons, 1982

    1982

  21. [37]

    Бурбаки, Алгебра: алгебраические структуры, линей ная и полили- нейная алгебра, перевод с французского Д

    Н. Бурбаки, Алгебра: алгебраические структуры, линей ная и полили- нейная алгебра, перевод с французского Д. А. Райкова, М., го судар- ственное издательство физико-математической литературы , 1962

    1962

  22. [38]

    Бурбаки, Группы и алгебры Ли, главы 1 - 3, перевод с фра нцуз- ского Ю

    Н. Бурбаки, Группы и алгебры Ли, главы 1 - 3, перевод с фра нцуз- ского Ю. А. Бахтурина И Г. И. Ольшанского под редакцией А. А. Кириллова И А. И. Кострикина, М. Мир, 1976 196 Список литературы 197

    1976

  23. [39]

    М., Лекции по геометрии, семестр IV, Диффе ренциаль- ная геометрия, М

    Постников М. М., Лекции по геометрии, семестр IV, Диффе ренциаль- ная геометрия, М. Наука, 1983

    1983

  24. [40]

    В., Виноградов А

    Алексеевский Д. В., Виноградов А. М., Лычагин В. В., Осн овные по- нятия дифференциальной геометрии Итоги ВИНИТИ 28 М. ВИНИТИ, 1988

    1988

  25. [41]

    Schafer, An Introduction to Nonassociative Algebras, Dover Publications, Inc., New York, 1995

    Richard D. Schafer, An Introduction to Nonassociative Algebras, Dover Publications, Inc., New York, 1995

    1995

  26. [42]

    Paul Bamberg, Shlomo Sternberg, A course in mathematic s for students of physics, Cambridge University Press, 1991 Предметный указатель A∗-модуль 164 A∗-векторное пространство 164 A-представление в Ω -алгебре 17, 77 ∗∗-произведение (произведение столбца на строку) 61 D-алгебра...

    1991

Pith tools

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