Pith. sign in

REVIEW 2 major objections 5 minor 27 references

Structures and bimodules of simple Hom-alternative algebras

T0 review · 2 major / 5 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 Every finite-dimensional simple Hom-alternative algebra is an automorphism twist of a semi-simple alternative algebra, and bimodules transfer across the twist.

desk verdict A competent but overstated Hom-alternative structure paper: Theorem 4.5's converse misses the transitive semisimple case, and Corollary 5.13 has a real gap, but the core results and octonion examples are worth keeping. read the letter →

arxiv 1908.08711 v1 pith:2PBKTAUH submitted 2019-08-23 math.RA

Sylvain Attan This is my paper · ORCID
classification math.RA MSC 13B1013D2017A3017D15
keywords Hom-alternativealgebrasimplesemi-simplesolvablebimodulealternativetwistingautomorphismmultiplicativeHom-algebra
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

This paper proves a structure theorem for finite-dimensional simple Hom-alternative algebras: algebras whose multiplication satisfies the alternative laws only up to a linear twisting map. It shows that simplicity forces the twisting map to be invertible, so the twisted product can be untwisted into an ordinary alternative algebra on the same vector space. The untwisted algebra is semi-simple, its simple ideals are all isomorphic, and the twisting map cycles through them with no fixed point. Conversely, any simple alternative algebra twisted by an automorphism is a simple Hom-alternative algebra. The paper also transfers the theory of bimodules between a Hom-alternative algebra of alternative type and its untwisted alternative algebra.

What carries the argument

The load-bearing object is the untwisting operation. Given a multiplicative Hom-alternative algebra with invertible $\alpha$, one defines $\mu'=\alpha^{-1}\circ\mu$; multiplicativity $\alpha\circ\mu=\mu\circ(\alpha\otimes\alpha)$ is exactly what makes $\mu'$ an alternative algebra again, and $\alpha$ becomes an automorphism of the untwisted algebra (Corollary 2.7). Two supporting mechanisms carry the structure theorem: Lemma 3.8, which uses multiplicativity to show that $\mathrm{Ker}(\alpha)$ is always a two-sided Hom-ideal so simplicity forces $\alpha$ to be invertible, and the classical decomposition of semi-simple alternative algebras together with Lemma 4.4, which forces $\alpha$ to permute the isomorphic simple ideals simply transitively. For bimodules, the corresponding machinery is the module Hom-associator, whose vanishing identities are conjugated by $\alpha_V^{-1}$ to become the ordinary alternative bimodule identities.

What would settle it

Find a finite-dimensional multiplicative Hom-alternative algebra, with nonzero twisting map, that is simple but whose twisting map has a nontrivial kernel. Such an algebra would directly contradict Proposition 3.9 and collapse the classification. Concretely, one can compute $\mathrm{Ker}(\alpha)$ for the known low-dimensional Hom-associative examples and check whether the algebra is simple while $\alpha$ is non-injective; the paper's Lemma 3.8 predicts this can never happen.

Watch

Extended reading notes

Core claim

On the author's own terms, the central discovery is Theorem 4.5: a finite-dimensional simple Hom-alternative algebra $(A,\mu,\alpha)$ is necessarily of alternative type. Its compatible alternative algebra $(A,\mu'=\alpha^{-1}\mu)$ is semi-simple and decomposes as a direct sum of mutually isomorphic simple alternative ideals $A_1\oplus\cdots\oplus A_s$, and $\alpha$ acts simply transitively on the set $\{A_1,\ldots,A_s\}$, meaning it sends each summand to the next in a single cycle. The converse also holds: if $(A,\mu')$ is any simple alternative algebra and $\alpha$ is any automorphism of it, then $(A,\alpha\circ\mu',\alpha)$ is a simple Hom-alternative algebra. The paper further proves (Theorem 5.5) that when the module map $\alpha_V$ is invertible, Hom-alternative $A$-bimodules with structure maps $\rho_l,\rho_r$ are exactly alternative bimodules over the untwisted algebra with structure maps $\alpha_V^{-1}\rho_l$ and $\alpha_V^{-1}\rho_r$; consequently, over any finite-dimensional semi-simple Hom-alternative algebra, every Hom-alternative bimodule with invertible $\alpha_V$ is completely reducible.

Load-bearing premise

The entire argument depends on the standing assumption that every Hom-algebra is multiplicative, meaning the twisting map respects the product, $\alpha(xy)=\alpha(x)\alpha(y)$; without this assumption the kernel of $\alpha$ need not be a two-sided ideal, so a simple Hom-alternative algebra need not have invertible twisting map and the classification would not follow.

Editorial extensions

If this is right

  • The classification of finite-dimensional simple Hom-alternative algebras reduces to the classification of simple alternative algebras together with their automorphisms: every such algebra is an automorphism twist of a simple alternative algebra.
  • Twisting the octonion algebra by either of the two automorphisms displayed in the paper gives two non-isomorphic eight-dimensional simple Hom-alternative algebras, so the Hom setting contains more simple non-associative examples than the classical one.
  • If $\alpha$ is invertible, solvability of a Hom-alternative algebra is equivalent to solvability of its untwisted alternative algebra.
  • Isomorphic simple Hom-alternative algebras are exactly those whose untwisted alternative algebras are isomorphic in a way that conjugates the two twisting automorphisms.
  • Every Hom-alternative bimodule with invertible twisting map over a finite-dimensional semi-simple Hom-alternative algebra is completely reducible.

Reading between the lines

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

  • The paper stops short of a full classification of the automorphism twists; carrying it out would mean listing conjugacy classes of automorphisms of each simple alternative algebra, since Theorem 3.10 identifies twists up to conjugacy.
  • The same untwisting template has already been used for Hom-associative and Hom-Jordan algebras; this paper makes it plausible that, for any variety defined by multilinear identities, simple multiplicative Hom-algebras are twists of simple classical algebras by automorphisms, a pattern worth testing on other Hom-varieties.
  • Theorem 5.5 suggests a route to bimodules with non-invertible $\alpha_V$: Proposition 5.8 shows that $\mathrm{Ker}(\alpha_V)$ is always a subbimodule, so one could quotient by it and apply the correspondence on the quotient, extending complete reducibility statements beyond the invertible case.
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

2 major / 5 minor

Summary. This paper studies multiplicative Hom-alternative algebras over a field of characteristic zero. It proves that a finite-dimensional simple Hom-alternative algebra has invertible twisting map and is of alternative type (Proposition 3.9), that solvability of such an algebra is equivalent to solvability of its induced alternative algebra (Theorem 4.3), and it attempts to give a structural description of simple and semisimple Hom-alternative algebras in terms of their induced alternative algebras (Theorems 4.5 and 4.9). The paper also establishes a correspondence between bimodules over a Hom-alternative algebra of alternative type and bimodules over its induced alternative algebra (Theorem 5.5), and derives irreducibility and complete reducibility results from classical results on alternative bimodules.

Significance. The paper addresses a natural question in the theory of Hom-algebras: whether finite-dimensional simple Hom-alternative algebras reduce, via the untwisting construction, to classical alternative algebras with automorphisms. If the structural result in Theorem 4.5 were correct as a classification, it would give a clean and useful picture, and the bimodule correspondence in Theorem 5.5 would transfer classical representation-theoretic facts to the Hom-alternative setting. The paper contains some solid arguments, notably Proposition 3.9 and Theorem 4.3, and it makes good use of previously known results on Hom-associative and Hom-Jordan algebras. However, as stated, the central classification statement is incomplete, and one of the later complete-reducibility claims has a gap; these issues require nontrivial revision.

major comments (2)
  1. [§4, Theorem 4.5] Theorem 4.5 is presented as the structural classification of finite-dimensional simple Hom-alternative algebras, but the stated converse does not cover the cases allowed by part (1). Part (1) concludes that the induced alternative algebra can decompose into several isomorphic simple ideals on which α acts simply transitively, while part (2) only constructs simple Hom-alternative algebras by twisting a single simple alternative algebra. These two statements are not equivalent. A concrete counterexample to the completeness of the classification is A = O ⊕ O, where O is the octonion algebra, with componentwise alternative multiplication μ′ and with α the automorphism swapping the two factors. By Proposition 2.5, (A, α∘μ′, α) is a multiplicative Hom-alternative algebra. If I is a two-sided Hom-ideal, then α(I) ⊆ I; since α is invertible and A is finite-dimensional, α(I) = I, and the Hom-ideal condition for μ = α∘μ′ implies μ′(A,I) ⊆ α^{-1}(I) = I and μ′(I,A) ⊆ I. Hence I is an α-invariant two-sided ideal of O ⊕ O. The only such ideals are 0 and A, so this is a simple Hom-alternative algebra whose induced alternative algebra is semisimple but not simple. It cannot be isomorphic to any algebra produced by Theorem 4.5(2), because its underlying vector space has dimension 16. The converse in Theorem 4.5 therefore needs to be reformulated to allow a semisimple induced alternative algebra with a simply transitive α-action on its simple ideals, and the stated 'complete' classification should be corrected accordingly.
  2. [§5, Corollary 5.13] The proof of Corollary 5.13 is incomplete. The paper derives, via Theorem 4.9(1) and Theorem 5.5(1), that a Hom-alternative A-bimodule (V, α_V) with invertible α_V becomes an alternative A′-bimodule over the semisimple algebra A′, and then cites Theorem 5.12 to obtain complete reducibility as an A′-bimodule. However, complete reducibility as an alternative A′-bimodule gives a decomposition V = ⊕ V_i into A′-irreducible submodules; it does not automatically give a decomposition into A-subbimodules of the Hom-alternative algebra, because the right action is ρ = α_V∘δ and an A′-submodule V_i need not be stable under α_V. The argument must show that the A′-decomposition can be chosen to be α_V-stable, or that α_V permutes the irreducible summands in a way that allows such a choice. Since α_A is invertible for semisimple A by Theorem 4.9(1), this gap is likely fixable, but the proof as written does not establish the claimed complete reducibility.
minor comments (5)
  1. [§4, Proposition 4.7] In the proof of Proposition 4.7, the displayed contradiction is written as 'α = Id_O', but the preceding equality φ(α(e_i)) = -φ(e_i) together with injectivity of φ implies α(e_i) = -e_i for all i, i.e., α = -Id_O. The sign should be corrected.
  2. [§3, Proposition 3.9] The heading 'Prof.' for Proposition 3.9 should read 'Proof'.
  3. [§5, Theorem 5.5(1)] In the hypothesis of Theorem 5.5(1), the algebra should be a Hom-alternative A-bimodule, not an 'alternative A-bimodule'; the wording appears to be a typo.
  4. [Throughout] The manuscript contains many typographical errors, such as 'sovable' in the keywords, 'litterature' in the introduction, 'se study' in Section 3, 'mutiplicative' in the introduction, and 'is is completely reducible' in Corollary 5.13. These should be corrected.
  5. [§2, Definition 2.2] The definition of a Hom-algebra writes 'α ◦ µ = µ ◦ α^{⊗2}'; the notation α^{⊗2} should be defined or made explicit, since the paper uses both α⊗α and α^{⊗2} in different places.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 4.5 and the bimodule results are derived from definitions, direct computations, and external classical theorems, not from their own conclusions.

full rationale

The paper's central structural claims are not circular. Theorem 4.5(1) is proved by taking the maximal solvable ideal of the induced alternative algebra and showing it is a two-sided Hom-ideal of the original Hom-alternative algebra; simplicity then forces it to vanish. This is a genuine derivation, not an assumption of the conclusion. The simply transitive action of alpha on the simple ideals is likewise derived by showing that any alpha-orbit sum is a two-sided Hom-ideal, and that simplicity forces this sum to be the whole algebra. Theorem 4.5(2) is a direct converse proved from Proposition 2.5 and an ideal-transfer argument; it does not presuppose Theorem 4.5(1). Section 5 contains computational transfer theorems between Hom-alternative bimodules and alternative bimodules, and the complete reducibility result rests on Schafer's external Theorem 5.12. The only self-citation is [2], used for the definition of Hom-alternative bimodules and for Proposition 4.1; Proposition 4.1 is proved in the text, and a definition is not a load-bearing circular premise. The standing multiplicativity assumption is explicit and not smuggled in. The reviewer-flagged incompleteness concerning the m>1 case in Theorem 4.5 is a potential correctness/completeness issue, not a circularity, because it concerns the scope of the converse statement rather than any derivation reducing to its own input.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper introduces no new entities or fitted constants. It relies on the multiplicative Hom-algebra framework, the characteristic-0 assumption, the classical classification of simple alternative algebras, Schafer's complete reducibility theorem for representations of semi-simple alternative algebras, and a lemma from [21] about automorphisms permuting simple ideals. The definitional choice that simple Hom-alternative algebras must have α ≠ 0 is also load-bearing.

assumptions (6)
  • domain assumption Multiplicativity of the twisting map: α ∘ µ = µ ∘ (α ⊗ α) for all Hom-algebras considered.
    Assumed for the whole paper in Definition 2.2; used in Lemma 3.8 to show Ker(α) is a Hom-ideal, which is the basis for Proposition 3.9.
  • domain assumption The ground field K has characteristic 0.
    Stated in the introduction; used to invoke classical structure theorems for alternative algebras and solvability.
  • standard math Classical classification of simple alternative algebras: every simple alternative algebra is associative or an 8-dimensional Cayley-Dickson algebra over its center (Schafer, Zorn).
    Invoked in Section 4 to conclude the octonions are simple and to discuss the classical analogue.
  • standard math Schafer's theorem: every representation of a semi-simple alternative algebra is completely reducible (Theorem 5.12, cited as [18]).
    Used in Corollary 5.13 to assert complete reducibility of the alternative A'-bimodule.
  • standard math Lemma 4.4 from [21]: if a finite-dimensional algebra has a unique decomposition into pairwise non-isomorphic simple ideals, any automorphism fixes each ideal.
    Used in the proof of Theorem 4.5(1) to show α permutes isotypic components.
  • ad hoc to paper A simple Hom-alternative algebra is required to have α ≠ 0 and A(1) ≠ 0 (Definition 3.5).
    Excludes pathological examples such as 1-dimensional algebras with zero twisting map; Proposition 3.9 depends on this requirement.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Structures and bimodules of simple Hom-alternative algebras." pith.science (2026). https://pith.science/paper/2PBKTAUH

@misc{pith2026190808711,
  author       = {Pith},
  title        = {Pith review of: Structures and bimodules of simple Hom-alternative algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2PBKTAUH}},
  note         = {Machine review of arXiv:1908.08711}
}
read the original abstract

This paper is mainly devoted to a structure study of Hom-alternative algebras . Equivalent conditions for Hom-alternative algebras being solvable, simple and semi-simple are displayed. Moreover some results about Hom-alternative bimodule are found.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    Atagema, A

    H. Atagema, A. Makhlouf and S. D. Silvestrov, Generalization of n-ary Nambu algebras and beyond, J. Math. Phys., 50(8)(2009), 083501

    work page 2009

  2. [2]

    Bimodules over Hom-Jordan and Hom-alternative algebras

    S. Attan, Bimodules over Hom-Jordan and Hom-alternative algebras, arXiv:1804.00835v1

    work page Pith review arXiv

  3. [3]

    Benayadi and A

    S. Benayadi and A. Makhlouf, Hom-Lie algebras with symmetric invariant non-degenerate bilinear form, Journal of Geometry and Physics 76 (2014) 38-60

    work page 2014

  4. [4]

    Chen and W

    X. Chen and W. Han, Classification of multiplicative simple Hom-Lie algebras, Journal of Lie Theory Volume 26 (2016) 767-775

    work page 2016

  5. [5]

    Eilenberg, Extensions of general algebras, Ann

    S. Eilenberg, Extensions of general algebras, Ann. Soc. Polon. Math., 21 (1948), 125-34

    work page 1948

  6. [6]

    J. T. Hartwig, D. Larsson and S. D. Silvestrov, Deformations of Lie algebras using σ -derivations, J. Algebra, 292 (2006), 314-361

    work page 2006

  7. [7]

    Jacobson, General representation theory of Jordan algebras, Trans

    N. Jacobson, General representation theory of Jordan algebras, Trans. Amer. Math. Soc., 70 (1951), 509-530

    work page 1951

  8. [8]

    Jacobson, Structure of alternative and Jordan bimodules, Osaka J

    N. Jacobson, Structure of alternative and Jordan bimodules, Osaka J. Math. 6 (1954),1-71

    work page 1954

Show all 27 references
  1. [9]

    Larsson and S

    D. Larsson and S. D. Silvestrov, Quasi-Hom-Lie algebras, Central Extensions and 2-cocycle -like identities, J. of Algebra, 288 (2005), 321-344

    2005

  2. [10]

    Noncommutative Geometry and Representation Theory in Mathematical Physics

    D. Larsson and S. D. Silvestrov, Quasi-Lie algebras, in "Noncommutative Geometry and Representation Theory in Mathematical Physics", Contemp. Math., 391, Amer. Math. Soc., Providence, RI (2005), 241-248

    2005

  3. [11]

    Larsson and S

    D. Larsson and S. D. Silvestrov, Quasi-deformations of sl2(F ) using twisted derivations, Comm. Algebra, (35)(7)(2007), 4303-4318. 14 SYL V AIN ATTAN

    2007

  4. [12]

    X. X. Li. Structures of multiplicative Hom-Lie algebras, Adv. Math.(China) 43(2014), No. 6, 817-823

    2014

  5. [13]

    : Notes on formal deformations of Hom-associative and Hom-L ie algebras

    Makhlouf, A., Silvestrov, S. : Notes on formal deformations of Hom-associative and Hom-L ie algebras. Forum Math., 22(4), (2010), 715-739

    2010

  6. [14]

    Makhlouf , Hom-Alternative algebras and Hom-Jordan algebras, Int

    A. Makhlouf , Hom-Alternative algebras and Hom-Jordan algebras, Int. Elect. J. Alg., 8 (2010), 177-190

    2010

  7. [15]

    Makhlouf, Silvestrov S.D., Hom-algebra structures, J

    A. Makhlouf, Silvestrov S.D., Hom-algebra structures, J. Gen. Lie Theory Appl. 2 (2008), 51-64

    2008

  8. [16]

    Okubo, Introduction to octonion and other non-associative algebr as in physics, Cambridge Univ

    S. Okubo, Introduction to octonion and other non-associative algebr as in physics, Cambridge Univ. Press, Cam- bridge, UK, 1995

    1995

  9. [17]

    R. D. Schafer, Alternative algebras over an arbitrary field, Bull. Amer. Math. Soc., 49(1943), 549-555

    1943

  10. [18]

    R. D. Schafer, Representations of alternative algebras, Trans. Amer. Math. Soc., 72(1952), 1-17

    1952

  11. [19]

    Sheng, Representation of hom-Lie algebras

    Y. Sheng, Representation of hom-Lie algebras. Algebr. Represent. Theory 15 (2012), no. 6, 1081-1098

    2012

  12. [20]

    Tits and R.M

    J. Tits and R.M. Weiss, Moufang Polygons, Springer-Verlag, Berlin, 2002

    2002

  13. [21]

    C. Yao, Y. Ma and L. Chen, Structures, classifications and bimodules of multiplicati ve simple Hom-Jordan alge- bras, arxiv: 1906.04561v1[math.RA]

    1906 arXiv

  14. [22]

    Yau, Hom-algebras and homology, arXiv:0712.3515v1

    D. Yau, Hom-algebras and homology, arXiv:0712.3515v1

    arXiv

  15. [23]

    Yau, Module Hom-algebras, arXiv:0812.4695v1

    D. Yau, Module Hom-algebras, arXiv:0812.4695v1

    arXiv

  16. [24]

    Yau, Hom-Maltsev, Hom-alternative and Hom-Jordan algebras, Int

    D. Yau, Hom-Maltsev, Hom-alternative and Hom-Jordan algebras, Int. Elect. J. Alg., 11 (2012), 177-217

    2012

  17. [25]

    Zahary and A

    A. Zahary and A. Makhlouf Structure and classification of Hom-associative algebras arXiv: 1906.04969V1[math.RA]

    1906 arXiv

  18. [26]

    Zorn, Theorie der alternativen Ringe, Abh

    M. Zorn, Theorie der alternativen Ringe, Abh. Math. Sem. Univ. Hamburg, 8 (1930), 123-147

    1930

  19. [27]

    Zorn, Alternativkërper und quadratische système, Abh

    M. Zorn, Alternativkërper und quadratische système, Abh. Math. Sem. Hamburgischen Univ. vol. 9 (1933) 395- 402. Author’s addresses Sylvain Attan, syltane2010@yahoo.fr Département de Mathématiques, Université d’Abomey-Calav i, 01 BP 4521, Cotonou 01, Bénin

    1933

Pith tools

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