Journal of Nonlinear Mathematical Physics

Volume 28, Issue 1, March 2021, Pages 108 - 122

On Hermitian and Skew-Hermitian Matrix Algebras over Octonions

Authors
Arezoo Zohrabi, Pasha Zusmanovich*
1University of Ostrava, Ostrava, Czech Republic
*Corresponding author. Email: pasha.zusmanovich@gmail.com
Corresponding Author
Pasha Zusmanovich
Received 30 December 2019, Accepted 24 August 2020, Available Online 10 December 2020.
DOI
https://doi.org/10.2991/jnmp.k.200922.011How to use a DOI?
Keywords
Matrix octonion algebras, Hermitian, skew-Hermitian, δ-derivations, associative forms
Abstract

We prove simplicity of algebras in the title, and compute their δ-derivations and symmetric associative forms.

Copyright
© 2020 The Authors. Publishing services by Atlantis Press International B.V.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

1. INTRODUCTION

We consider algebras of Hermitian and skew-Hermitian matrices over octonions. While such algebras of matrices of low order are well researched and well understood (the algebra of 3 × 3 Hermitian matrices being the famous exceptional simple Jordan algebra), this is not so for higher orders; the case of Hermitian matrices of order 4 × 4 appears in modern physics (string theory, M-theory).

Derivation algebras of algebras of Hermitian and skew-Hermitian matrices over octonions were recently computed in [19], and here we continue to study these algebras. After the preliminary §2, where we set notation and remind basic facts about algebras with involution, we prove simplicity of the algebras in question (§3), and compute their δ-derivations (§4) and symmetric associative forms (§5). The last §6 contains some further questions.

2. NOTATION, CONVENTIONS, PRELIMINARY REMARKS

The ground field K of characteristic ≠2, 3 is assumed to be arbitrary, unless stated otherwise; K¯ and Kq denote the algebraic and the quadratic closure of K, respectively. “Algebra” means an arbitrary algebra over K, not necessary associative, or Lie, or Jordan, or satisfying any other distinguished identity, unless specified otherwise. If a is an element of an algebra A, then Ra denotes the linear operator of the right multiplication by a. All unadorned tensor products and Hom’s are over the ground field K. The symbol ∔ denotes the direct sum of vector spaces, while ⊕ denotes the direct sum of algebras or modules.

2.1. Algebras with Involution

An involution on a vector space V is a linear map j:VV such that j2 = idV. If j is an involution on V, define

S+(V,j)={xV|j(x)=x}
and
S(V,j)={xV|j(x)=x},
the subspaces of j-symmetric and j-skew-symmetric elements of V, respectively.

For an arbitrary vector space with involution j, we have the direct sum decomposition:

V=S+(V,j)S(V,j).

An involution on an algebra A is a linear map j: AA which is an involution on A as a vector space, and, additionally, is an antiautomorphism of A, i.e., j(xy) = j(y)j(x) for any x, yA.

For an arbitrary algebra A with involution j, the subspace S+ (A, j) is closed with respect to the half of the anticommutator xy=12(xy+yx) , and thus forms a (commutative) algebra with respect to ○. The operation ○ will be also frequently referred as the Jordan product, despite that the ensuing algebras are, generally, not Jordan. Similarly, the subspace S (A, j) is closed with respect to the commutator [x, y] = xyyx, and thus forms an (anticommutative) algebra with respect to [·,·].

We have the following obvious inclusions:

S+(A,j)S+(A,j)S+(A,j)S+(A,j)S(A,j)S(A,j)S(A,j)S(A,j)S+(A,j) (1)
and
[S+(A,j),S+(A,j)]S(A,j)[S+(A,j),S(A,j)]S+(A,j)[S(A,j),S(A,j)]S(A,j). (2)

If (A, j) and (B, k) are two vector spaces, respectively algebras, with involution, then their tensor product (AB, jk), is a vector space, respectively algebra, with involution. Here jk acts on AB in an obvious way:

(jk)(ab)=j(a)k(b)
for any aA, bB.

2.2. Matrix Algebras

Mn(K) denotes the (associative) algebra of n × n matrices with entries in K. The matrix transposition, denoted by , is an involution on Mn(K). Tr(X) denotes the trace of a matrix X, and E denotes the unit matrix. We use the shorthand notation Mn+(K)=S+(Mn(K),) and Mn(K)=S(Mn(K),) for the spaces of symmetric and skew-symmetric n × n matrices, respectively.

The algebra Mn+(K) with respect to the Jordan product is a simple Jordan algebra. The space Mn(K) is an irreducible Jordan module over Mn+(K) (see for example [10, Chapter VII, §3, Theorem 7]). In particular, Mn+(K)Mn(K)=Mn(K) .

The algebra Mn(K) with respect to the commutator is the orthogonal Lie algebra, customarily denoted by 𝔰𝔬n(K) . We have 𝔰𝔬1(K)=0 , and 𝔰𝔬2(K)K , the one-dimensional (abelian) Lie algebra. If n = 3 or n ≥ 5, the Lie algebra 𝔰𝔬n(K) is simple; if n = 4, 𝔰𝔬4(K) is isomorphic to the direct sum of two copies of the 3-dimensional simple Lie algebra with the basis {e1, e2, e3} and the multiplication table [e1, e2] = e3, [e2, e3] = e1, [e3, e1] = e2, denoted by us as 𝔰𝔲2(K) (of course, isomorphic to 𝔰𝔩2(K) if K is algebraically closed). If n ≥ 3, the 𝔰𝔬n(K) -module Mn+(K) , being isomorphic to the symmetric square of the tautological module, decomposes as the direct sum KESMn(K), where KE is the trivial 1-dimensional module spanned by the unit matrix, and the vector space

SMn(K)={XMn+(K)|Tr(X)=0}
forms the n2+n22 -dimensional irreducible module. In the case n = 4, the latter 𝔰𝔲2(K)𝔰𝔲2(K) -module is isomorphic to the tensor product 𝔰𝔲2(K)𝔰𝔲2(K) of two irreducible adjoint modules over two copies of 𝔰𝔲2(K) (see for example [1, Lemma 3.1]). In particular, [Mn(K),Mn+(K)]=SMn(K).

Lemma 1.

If xMn(K) is such that xMn(K)=0 , then x = 0.

Proof. For n = 1 the statement is vacuous, so assume n ≥ 2. Considering this on the Lie algebra level, we have xy + yx = 0 for any y𝔰𝔬n(K) . Taking the trace of the both sides of this equality, we have Tr(xy) = 0. But the trace form (x, y) ↦ Tr(xy) is nondegenerate on 𝔰𝔬n(K) (this can be verified directly, or see, for example, [12, p. 66]), and, consequently, x = 0.

Lemma 2.

If mMn+(K) is such that [m,Mn(K)]=0 or [m,Mn+(K)]=0 , then m is a multiple of E.

Proof. Case of [m,Mn(K)]=0 for n = 1, 2 is verified immediately, and for n ≥ 3 the proof follows from the above description of Mn+(K) as an 𝔰𝔬n(K) -module.

Case of [m,Mn+(K)]=0 . It is easy to check that this condition implies

(m,s,t)=(s,m,t)=(s,t,m)=0
for any s,tMn+(K) , where (x, y, z) = (xy) ○zx○ (yz) is the Jordan associator, i.e., m lies in the center of the simple Jordan algebra (Mn+(K),) , which coincides with KE.

2.3. Octonion Algebras

Octonion algebras over an arbitrary field K form the 3-parametric family 𝕆μ(K) , where μ = (μ1, μ2, μ3) is a triple of nonzero elements of K. Let us recall its multiplication table in the standard basis {1, e1, ..., e7} (by abuse of notation, the basis element 1 is the unit of the algebra):

e1 e2 e3 e4 e5 e6 e7
e1 μ11 e3 μ1e2 e5 μ1e4 e7 μ1e6
e2 e3 μ21 μ2e1 e6 e7 μ2e4 μ2e5
e3 μ1e2 μ2e1 μ1μ21 e7 μ1e6 μ2e5 μ1μ2e4
e4 e5 e6 e7 μ31 μ3e1 μ3e2 μ3e3
e5 μ1e4 e7 μ1e6 μ3e1 μ1μ31 μ3e3 μ1μ3e2
e6 e7 μ2e4 μ2e5 μ3e2 μ3e3 μ2μ31 μ2μ3e1
e7 μ1e6 μ2e5 μ1μ2e4 μ3e3 μ1μ3e2 μ2μ3e1 μ1μ2μ31
(the table, up to obvious notational changes, is reproduced from [22, p. 5]). Over some fields, there are isomorphisms within this family; for example, if the field is algebraically closed or finite, all octonion algebras are isomorphic to each other. As explained below, in the proofs of our main results we may assume the ground field to be algebraically closed, so we are free to choose any form of an octonion algebra we wish. The two most natural candidates would be 𝕆(1,1,1)(K) (for example, over 𝕉 this is the single octonion division algebra), or the split octonion algebra 𝕆(1,1,1)(K) .

We have decided that for our calculations the most convenient will be the algebra 𝕆(1,1,1)(K) , denoted just by 𝕆(K) in the sequel1. A quick glance at the multiplication table reveals the following properties of the basis elements we will need: ei2=1 , eiej = –ejei, and, denoting by Bi the 6-dimensional linear span of all the basis elements except for 1 and ei, we have eiBi = Biei = Bi, for any i = 1, ..., 7. By

*:{1,,7}×{1,,7}{1,,7}
we denote the partial binary operation such that eiej = –ejei = ±ei*j for any ij.

Extending the base field K to its algebraic closure K¯ , we have an isomorphism of K¯ -algebras

𝕆μ(K)KK¯𝕆(K¯). (3)

The standard conjugation in 𝕆μ(K) , denoted by ¯ , and defined by 1¯=1 , ēi = –ēi, turns 𝕆μ(K) into an algebra with involution. We have S+(𝕆μ(K),¯)=K1 , and S(𝕆μ(K),¯) is the 7-dimensional subspace of imaginary octonions, linearly spanned by e1, ..., e7. The latter subspace forms a 7-dimensional simple Malcev algebra with respect to the commutator. We will use the shorthand notation 𝕆μ(K)=S(𝕆μ(K),¯) and 𝕆(K)=S(𝕆(K),¯) .

Since for any a𝕆μ(K) , the elements a + ā and belong to K1, we can define the linear map T:𝕆μ(K)K and the quadratic map N:𝕆μ(K)K by T(a) = a + ā and N(a) = , called the trace and norm, respectively. Any element a𝕆μ(K) satisfies the quadratic equality

a2T(a)a+N(a)1=0 (4)

(see, for example, [22, Chapter III, §4] or [10, p. 233, Exercise 1]).

For any two elements a,b𝕆μ(K) , writing the equality (4) for the element a + b, subtracting from it the same equalities for a and for b, and taking into account that T(a) = T(b) = 0, yields

ab+ba=N(a,b)1, (5)
where 
N(a,b)=N(a+b)N(a)N(b).

2.4. Algebras of Hermitian and Skew-Hermitian Matrices over Octonions

Our main characters, the algebras of Hermitian and skew-Hermitian matrices over octonions, are defined as S+(Mn(𝕆μ(K)),J) and S(Mn(𝕆μ(K)),J) respectively, where Mn(𝕆μ(K)) is the algebra of n × n matrices with entries in 𝕆μ(K) . The involution on Mn(𝕆μ(K)) is defined as J: (aij) ↦ (aji), i.e., the matrix is transposed and each entry is conjugated, simultaneously.

The algebras S+(Mn(𝕆μ(K)),J) contain the unit matrix, so they are unital. These algebras for small n’s are Jordan algebras, well-known from the literature: for n = 1, this is nothing but the ground field K; for n = 2, they are 10-dimensional simple Jordan algebras of symmetric nondegenerate bilinear form (see, for example, [14, Chapter IX, Exercise 4] and [20, §6]); and for n = 3, they are the famous 27-dimensional exceptional simple Jordan algebras. For n ≥ 4, they are no longer Jordan algebras.

Interestingly enough, the algebras S+(M4(𝕆μ(K)),J) were considered already in a little-known dissertation [20] (for a more accessible exposition, see [17, §5]), under the direction of Hel Braun and Pascual Jordan. More recently, the algebra S+(M4(𝕆(𝕉)),J) appeared in [18, §4] under the name “octonionic M-algebra”, where it was suggested as an alternative to the standard M-algebra (a sort of generalization of the Poincaré algebra of spacetime symmetries). This algebra features some M-theory numerology (lesser number of real bosonic generators, equivalence between supermembrane and super-five-brane sectors) which, as suggested in [18], could make this algebra a better alternative.

The algebras S(Mn(𝕆μ(K),J) are less prominent: for n = 1 these are the 7-dimensional simple Malcev algebras 𝕆μ(K) ; it seems that the only place where they appeared in the literature in the case of (small) n > 1 is [2], where identities of these algebras were studied.

Due to the isomorphism of algebras

Mn(𝕆μ(K))Mn(K)𝕆μ(K),
the algebra with involution (Mn(𝕆μ(K)),J) can be represented as the tensor product of two algebras with involution: (Mn(K),), the associative algebra of n × n matrices over K with involution defined by the matrix transposition, and (𝕆μ(K),¯) .

Finally, due to isomorphism (3), we have an isomorphism of K¯ -algebras:

S±(Mn(𝕆μ(K),J))KK¯S±(Mn(𝕆(K¯)),J). (6)

3. SIMPLICITY

We start with rewriting our matrix algebras as the vector space direct sums of certain tensor products, which appears to be more convenient for computations. For this, we need the following simple lemma of linear algebra.

Lemma 3.

([24, Lemma 1.1]). Let V, W be two vector spaces, φ, φ′Hom(V, .), ψ, ψ ′ ∈ Hom(W, .) Then

Ker(φψ)Ker(φ'ψ')(KerφKerφ')W+KerφKerψ'+Kerφ'Kerψ+V(KerψKerψ').

Proposition 4.

For any two vector spaces with involution (V, j) and (W, k), there are isomorphisms of vector spaces

S+(VW,jk)S+(V,j)S+(W,k)S(V,j)S(W,k)S(VW,jk)S+(V,j)S(W,k)S(V,j)S+(W,k).

Proof. Let us prove the first isomorphism, the proof of the second one is completely similar. By definition, an element i𝕀viwi of VW, where 𝕀 is a set of indices, belongs to S+(VW, jk), if and only if

i𝕀(j(vi)k(wi)viwi)=0.

Applying to this equality the linear maps (idV + j) ⊗ idW and (idVj) ⊗ idW, we get respectively:

i𝕀(j(vi)+vi)(k(wi)wi)=0
and
i𝕀(j(vi)vi)(k(wi)+wi)=0.

Applying Lemma 3 to the last two equalities, we can replace vi’s and wi’s by their linear combinations in such a way that the index set splits into the disjoint union 𝕀=𝕀11𝕀12𝕀21𝕀22 , where

viS(V,j),viS+(V,j)fori𝕀11,viS(V,j),wiS(W,k)fori𝕀12,viS+(V,j),wiS+(W,k)fori𝕀21,wiS+(W,k),wiS(W,k)fori𝕀22.

All elements with indices from 𝕀11 and 𝕀22 vanish, and we are done.

In the particular case (V, j) = (Mn(K),) and (W,k)=(𝕆μ(K),¯) , denoting J = , and taking into account that S+(𝕆μ(K),¯)=K1 , we get:

S+(Mn(𝕆μ(K)),J)Mn+(K)1Mn(K)𝕆μ(K). (7)

(In the case where n = 3 and K is algebraically closed and of characteristic zero, and so S+(M3(𝕆μ(K),J)) is the 27-dimensional exceptional simple Jordan algebra, this decomposition was noted in [3, §3.3].)

In particular,

dimS+(Mn(𝕆μ(K),J))=n(n+1)2+7n(n1)2=4n23n.

For any m,sMn+(K) , we have

(m1)(s1)=(ms)1,
what implies that Mn+(K)1 is a (Jordan) subalgebra of S+(Mn(𝕆μ(K),J)) . Moreover, for any x,yMn(K) , and a𝕆μ(K) , we have:
(m1)(xa)=(mx)a,(xa)(ya)=N(a)(xy)1.

It follows that Mn+(K)1Mn(K)a is a subalgebra of S+(Mn(𝕆μ(K),J)) ; let us denote this subalgebra by 𝒧+(a) . If N(a) ≠ 0, we have an isomorphism of Jordan algebras 𝒧+(a)KKqMn(Kq); the isomorphism is provided by sending m ⊗ 1 to m for mMn+(Kq) , and xa to N(a)x for xMn(Kq) .

Further,

(Mn+(K)1)(Mn(K)𝕆μ(K))=Mn(K)𝕆μ(K).

On the other hand, the subspace Mn(K)𝕆μ(K) is not a subalgebra. The formula for multiplication in this subspace in terms of the decomposition (7) is obtained using (5): for any x,yMn(K) and a,b𝕆μ(K) , we have

(xa)(yb)=12(xyab+yxba)=14(xy+yx)(ab+ba)+14(xyyx)(abba)=N(a,b)2(xy)1+14[x,y][a,b].

Similarly, we have

S(Mn(𝕆μ(K)),J)Mn(K)1Mn+(K)𝕆μ(K), (8)
and
dimS(Mn(𝕆μ(K)),J)=n(n1)2+7n(n+1)2=4n2+3n.

For any x,yMn(K) , m,sMn+(K) , and a𝕆μ(K) , we have:

[x1,y1]=[x,y]1[x1,ma]=[x,m]a[ma,sa]=N(a)[s,m]1.

It follows that both Mn(K)1 and

𝒧(a)=Mn(K)1Mn+(K)a
are Lie subalgebras of S(Mn(𝕆μ(K)),J) , isomorphic to 𝔰𝔬n(K) , and, provided N(a) ≠ 0, to a form of 𝔤𝔩n(Kq) , respectively; the isomorphisms are defined by sending x ⊗ 1 to x for xMn(K) , and ma to N(a)m for mMn+(Kq) .

Moreover,

[Mn(K)1,Mn+(K)𝕆μ(K)]=SMn(K)𝕆μ(K)Mn+(K)𝕆μ(K).

The subspace Mn+(K)𝕆μ(K) is not a subalgebra: for any m,sMn+(K) , a,b𝕆μ(K) , we have

[ma,sb]=12(mssm)(ab+ba)+12(ms+sm)(abba)=N(a,b)2[m,s]1+(ms)[a,b]. (9)

Theorem 5.

The algebras S+(Mn(𝕆μ(K)),J) and S(Mn(𝕆μ(K)),J) are simple for any n ≥ 1.

Before we plunge into the proof, a few remarks are in order:

  1. (1)

    The cases of S+(Mn(𝕆μ(K)),J) for n = 1, 2, 3, and of S(Mn(𝕆μ(K)),J) for n = 1 are well-known, due to the known structure of the algebras in question in these cases (see §2); however, our proofs, uniform for all n, appear to be new. The case of S+(M4(𝕆μ(K)),J) is stated without proof in [20, Satz 8.1].

  2. (2)

    In [23] it is proved that ideals of the tensor product AB of two algebras A and B, where A is central (i.e., its centroid coincides with the ground field) and simple, and B satisfies some other conditions (like having a unit), are of the form AI, where I is an ideal of B. In particular, the tensor product of two central simple algebras, for example, Mn(K)𝕆μ(K) , is simple. Our method of proof of Theorem 5, based on application of the (version of) Jacobson density theorem, resembles those in [23].

  3. (3)

    Another related result about simplicity of nonassociative algebras is established in [20, Satz 5.1]: the matrix algebra over a composition algebra with respect to the Jordan product ○, is simple; a particular case is the algebra (Mn(𝕆μ(K)),) .

We will need the following version of the Jacobson density theorem.

Proposition 6.

Let R be an associative algebra with unit, and M1, ..., Mn pairwise non-isomorphic right irreducible R-modules. Then for any linearly independent elements x1(i),,xki(i)Mi , and any elements y1(i),,yki(i)Mi , i = 1, ..., n, there is an element aR such that xj(i)a=yj(i) for any i = 1, ..., n, j = 1, ..., ki.

(Here • denotes the right action of A on its modules).

Proof. This is, essentially, the Jacobson density theorem formulated for a completely reducible module M = M1⊕ ...⊕ Mn. Perhaps, the easiest way to derive it in our formulation is the following. First, apply the classical Jacobson density theorem to each irreducible R-module Mi to get elements aiR such that xj(i)ai=yj(i) for any i = 1, ..., n, j = 1, ..., ki. By [15, Chapter XVII, Theorem 3.7] (which is a consequence of the Jacobson density theorem for semisimple modules formulated in terms of bicommutants of modules, see [15, Chapter XVII, Theorem 3.2]), there are elements eiR such that ei acts as the identity on Mi, and Mjei = 0 for ji. Then a = e1a1 + ... + enan is the required element.

We now specialize this to our situation. Let A be an algebra, and M a right A-module. By the multiplication algebra 𝔐(A,M) we mean the unital subalgebra in the associative algebra of all linear transformations of M, generated by actions of all elements of A on M. If A acts on itself via right multiplications, i.e., M = A, then 𝔐(A,A) is called the multiplication algebra of A.

Lemma 7.

  1. (1)

    For any linearly independent elements m1,,mkMn+(K) , x1,,x𝓁Mn(K) , and any elements m1',,mk'Mn+(K) , x1',,x𝓁'Mn(K) , there is a map R𝔐(Mn+(K),Mn(K)) such that R(mi) = mi for i = 1, ..., k, and R(xi) = xi for i = 1, ..., ℓ.

  2. (2)

    Let n ≠ 4. For any linearly independent elements m1, ..., mkSMn(K), x1,,x𝓁Mn(K) , and any elements m′1, ..., m′kSMn (K), x1',,x𝓁'Mn(K) , there is a map R ∈ 𝔐(𝔰𝔬n(K),Mn(K)) such that R(mi) = mi for i = 1, ..., k, and R(xi) = xi for i = 1, ..., ℓ.

(Here the Jordan algebra Mn+(K) , respectively the Lie algebra 𝔰𝔬n(K) , acts via Jordan multiplications, respectively commutators, on its ambient algebra Mn(K).)

Proof.

  1. (i)

    As follows from §2.2, Mn(K) is decomposed, as an Mn+(K) -module, into the direct sum of two irreducible non-isomorphic Jordan modules: Mn(K)=Mn+(K)Mn(K) . Apply Proposition 6 to R=𝔐(Mn+(K),Mn(K)) , and M1=Mn+(K) , M2=Mn(K) .

  2. (ii)

    The statement is vacuous for n = 1, and easily verified directly for n = 2, so assume n ≥ 3. As follows from §2.2, Mn(K) is decomposed, as an 𝔰𝔬n(K) -module, into the direct sum of three non-isomorphic modules:

    Mn(K)=KESMn(K)Mn(K).

Apply Proposition 6 to

R=𝔐(𝔰𝔬n(K),Mn(K))=𝔐(𝔰𝔬n(K),SMn(K)Mn(K)),
and M1 = SMn(K), M2=Mn(K) .

Note that the restriction n ≠ 4 in Lemma 7(ii) is essential. As noted in §2.2, the adjoint module of 𝔰𝔬4(K) decomposes into the direct sum of two irreducible isomorphic modules, so Proposition 6 is not applicable as is. It is possible to devise more sophisticated versions of Proposition 6 and Lemma 7 which are trying to take account of this, but we found it easier to treat the case n = 4 below in a different way, avoiding more sophisticated versions of the Jacobson density theorem.

Proof of Theorem 5. As a form of a simple algebra is simple, it is enough to prove the theorem when the ground field K is algebraically closed. In this case, due to isomorphism (6), we may assume 𝕆μ(K)=𝕆(K) .

Case of S+(Mn(𝕆(K)),J) . Let I be an ideal of S+(Mn(𝕆(K)),J) . We argue in terms of the decomposition (7). Assume first that IMn(K)𝕆(K) . Consider an element

i=17xieiI,
where xiMn(K) , and e1, ..., e7 are elements of the standard basis of 𝕆(K) , as described in §2.3. For any yMn(K) , and any k = 1, ..., 7, we have
(yek)(i=17xiei)=(xky)1+termslyinginMn(K)𝕆(K).

Hence, xky = 0 for any yMn(K) , and by Lemma 1, xk = 0. This shows that I = 0, and we may assume IMn(K)𝕆(K) .

Now take an element

m1+i𝕀xiaiI,
where mMn+(K) , m ≠ 0, xiMn(K) , i𝕀 are linearly independent, and ai𝕆(K) . By Lemma 7(i), for any m'Mn+(K) there is a linear map R : Mn(K) → Mn(K), represented as the sum of products of the form Rs1Rs𝓁 , where each si belongs to Mn+(K) , and Rs is the Jordan multiplication by the element s, such that R(m) = m′ and R (xi) = 0 for any i = 1, ..., 7. We form the corresponding map R˜ from the multiplication algebra of S+(Mn(𝕆(K)),J) by replacing each Rsi by Rsi1 . Then R˜(m1)=m'1 and R˜(xiai)=0 . Consequently, m′ ⊗ 1 ∈ I, and I contains Mn+(K)1 . This, in its turn, implies
Mn(K)𝕆(K)=(Mn+(K)1)(Mn(K)𝕆(K))I,
and hence I coincides with the whole algebra S+(Mn(𝕆(K)),J) .

Case of S(Mn(𝕆(K)),J) . The proof goes largely along the same route as in the previous case, but with some complications and modifications, notably in the case n = 4. If n = 1, the algebra in question is isomorphic to the 7-dimensional Malcev algebra 𝕆(K) , whose simplicity is well known (and can be established by an easy modification of some of the reasonings below), so assume n ≥ 2.

Let I be an ideal of S(Mn(𝕆(K)),J) . Assume first IMn+(K)𝕆(K) . Consider an element

i=17mieiI,
where miMn+(K) . For any sMn+(K) , and any k = 1, ..., 7, we have
[sek,i=17miei]=[mk,s]1+termslyinginMn+(K)𝕆(K).

Hence, [mk,s] = 0 for any sMn+(K) , and by Lemma 2, mk = λkE for some λkK. Therefore, any element of I is of the form i=17λiEekE𝕆(K) , and I = ES for some subspace S𝕆(K) . But then

[Mn+(K)𝕆(K),ES]=Mn+(K)[𝕆(K),S]ES,
this can happen only if [𝕆(K),S]=0 , hence S = 0 and I = 0. Therefore, we may assume IMn+(K)𝕆(K) .

Consider an element

x1+i𝕀miaiI, (10)
where xMn(K) is non-zero, miMn+(K) for i𝕀 are linearly independent, and ai𝕆(K) are non-zero. Taking the commutator of this element with an element y ⊗ 1, where yMn(K) is such that [x, y] ≠ 0, we may assume that miSMn (K).

Assume n ≠ 4. By Lemma 7(ii), for any x'Mn(K) there is a linear map R : Mn(K) → Mn(K) of the form

R=λid+R', (11)
where λ ∈ K, and R′ is the sum of products of the form ady1, ..., ady, where each yi belongs to Mn(K) , and ady denotes the commutator with y, such that R(x) = x′, and R(mi) = 0 for each i = 1, ..., 7. (Note that the term λ id in (11) occurs from the necessity to adjoin the unit to the multiplication algebra generated by commutators with elements of 𝔰𝔬n(K) ; this term does not occur in the previous case, where the multiplication algebra was formed by Jordan multiplications by elements of Mn+(K) , as the latter already contains the unit: the Jordan product with the unit matrix.)

We have R′(x) = x′λx, and R′ (mi) = –λmi. Replacing in R′ each adyi by ad(yi ⊗ 1), we get the map R˜ in the multiplication algebra of S(Mn(𝕆(K)),J) such that R˜(x1)=(x'λx)1 and R˜(miai)=λmiai , and thus

R˜(x1+i=17miai)=(x'λx)1λi=17miaiI.

Adding to this element the element (10) multiplied by λ, we get x′ ⊗1 ∈ I for any x'Mn(K) , i.e., I contains Mn(K)1 . Hence,

SMn(K)𝕆(K)=[Mn(K)1,Mn+(K)𝕆(K)]I.

The formula (9), in its turn, implies

[mei,sej]=±2(ms)ei*j,
for any m, sSMn(K), and i, j = 1, ..., 7. Since SMn(K)SMn(K)=Mn+(K) , and i * j runs through all the range 1, ..., 7, we conclude that I contains Mn+(K)𝕆(K) , and hence coincides with the whole algebra S(Mn(𝕆(K)),J) .

Now consider the case n = 4. Consider an element of I of the form (10), where miSM4 (K) for any i𝕀 . By the (classical) Jacobson density theorem for the case of an irreducible module (or, equivalently, by Lemma 7(ii) in the case n = 4 where the “ Mn(K) part” is ignored), for any mSM4 (K), and any k𝕀 , there is a map of the form (11), where R′ is formed by the commutators with elements of M4(K) , such that R(mk) = m, and R(mi) = 0, ik. Deriving from this the map R˜ in the multiplication algebra of S(M4(𝕆(K)),J) as above, we get:

R˜(M4(K)1)M4(K)1R˜(mkak)=(mλmk)akR˜(miai)=λmiai,ik.

Consequently, R˜ , being applied to the element (10), produces the element

x'1+(mλmk)akλi𝕀\{k}miaiI,
where x'M4(K) . Adding to this element the element (10) multiplied by λ, we get the element
x''1+makI,
where x''M4(K) .

To summarize: for any a𝕆(K) which appears as one of ai’s in the decomposition (10) of some nonzero element of I, and any mSM4 (K), there is an element xM4(K) such that x ⊗ 1 + maI. Fixing here a and varying m, we also vary x, but since

dimSM4(K)=9>dimM4(K)=6,
we will get nonzero elements with vanishing x, i.e., of the form ma. Now taking commutators of such an element with elements from M4(K)1 , we get the whole SM4(K) ⊗ aI.

This means that the ideal I is homogeneous with respect to the decomposition (8), i.e., is of the form

I=T1S1e1S7e7,
where T is a nonzero linear subspace of M4(K) , and each of the linear subspaces SiM4+(K) is either zero, or contains SM4(K). Taking commutators of elements from T ⊗ 1 with elements from M4+(K)ei , we see that each Si is nonzero. Now,
[SM4+(K)ei,SM4+(K)ei]=[SM4+(K),SM4+(K)]1=M4(K)1;
thus, T=M4(K) . Finally, according to (9), for any ij, we have
[SM4(K)ei,SM4(K)ej]=(SM4(K)SM4(K))ei*j=M4+(K)ei*j;
thus, Si=M4+(K) for each i, and I coincides with the whole algebra S(M4(𝕆(K)),J) .

4. δ-DERIVATIONS

In [19], derivations of the algebras S+(Mn(𝕆μ(K)),J) and S(Mn(𝕆μ(K)),J) were computed. Here we extend this result by computing δ-derivations of these algebras. Recall that a δ-derivation of an algebra A is a linear map D: AA such that

D(xy)=δD(x)y+δxD(y) (12)
for any x, yA and some fixed δK. This notion generalizes simultaneously the notions of derivation and of centroid (any element of the centroid is, obviously, a 12 -derivation).

The set of δ-derivations of an algebra A, denoted by Derδ(A), is a vector space. Moreover, as noted, for example, in [6, §1],

[Derδ(A),Derδ'(A)]Derδδ'(A),
so the vector space D(A) linearly spanned by all δ-derivations, for all possible values of δ, is a Lie algebra, an extension of the Lie algebra Der(A) of (the ordinary) derivations of A.

Theorem 8.

Let D be a nonzero δ-derivation of the algebra S+(Mn(𝕆μ(K)),J) or S(Mn(𝕆μ(K)),J) . Then either δ = 1 (i.e., D is a derivation), or δ=12 and D is a multiple of the identity map.

Note that δ-derivations do not change under field extensions. Namely, an obvious argument, the same as in the case of ordinary derivations, cocycles, or any other “linear” structures, shows that

Derδ(A)KK¯Derδ(AKK¯)
for any K-algebra A, and δK. In view of this, it is enough to prove the theorem in the case when K is algebraically closed, and 𝕆μ(K)=𝕆(K) .

The case of S+(Mn(𝕆(K)),J) is easier, as the algebra contains a unit, and δ-derivations of algebras with unit are tackled by the simple

Lemma 9.

Let D be a δ-derivation of a commutative algebra A with unit. Then either δ = 1 (i.e., D is a derivation), or δ=12 and D = Ra for some aA such that

2(xy)a(xa)y(ya)x=0 (13)

for any pair of elements x, yA.

Proof. This is, essentially, [13, Theorem 2.1] with a bit more (trivial) details. Repeatedly substituting the unit 1 in the equality (12) gives that either δ = 1 and D(1) = 0, or δ=12 and D(x) = xD(1) for any xA. In the latter case, denoting D(1) = a, the condition (12) is equivalent to (13).

Proof of Theorem 8 in the case of S+(Mn(𝕆(K)),J) . Due to Lemma 9, it amounts to description of the algebra elements satisfying the condition (13). Let

a=m1+i=17xiei
be such an element, where mMn+(K) , xiMn(K) . Writing the condition (13) for the pair of elements s ⊗ 1, t ⊗ 1 where s,tMn+(K) , and collecting terms lying in Mn+(K)1 , we get
2(st)m(sm)t(tm)s=0
for any s,tMn+(K) . The latter condition means that Rm is a 12 -derivation of the Jordan algebra Mn+(K) and by [13, Theorem 2.5], m = λE for some λ ∈ K. Since the set of elements satisfying the condition (13) forms a vector space (as, generally, the set of 12 -derivations does), by subtracting from a the element λE ⊗ 1, we get an element still satisfying the condition (13), so we may assume λ = 0.

Now writing the condition (13) for a=i=17xiei , and the pair xek, ye, where x,yMn(K) and k, ℓ = 1, ..., 7, k ≠ ℓ, and again collecting terms lying in Mn+(K)1 , we get [x, y] ○ xk * = 0. Since [Mn(K),Mn(K)]=Mn(K) , and the values of k * ℓ run over all 1, ..., 7, we see that Mn(K)xi=0 for any i = 1, ..., 7. By Lemma 1.3, xi = 0, which shows that any element aS+(Mn(𝕆(K),J)) satisfying (13), is a multiple of the unit.

Before turning to the proof of the S(Mn(𝕆(K)),J) case, we need a couple of auxiliary lemmas.

Lemma 10.

Let n > 2.

  1. (1)

    If δ1,12 , then the vector space Derδ(𝔤𝔩n(K)) is 1-dimensional, and each δ-derivation is a multiple of the map ξ vanishing on 𝔰𝔩n(K) , and sending E to itself.

  2. (2)

    The vector space Der12(𝔤𝔩n(K)) is 2-dimensional, with a basis consisting of the two maps: the map ξ from part (i), and the map coinciding with the identity map on 𝔰𝔩n(K) , and vanishing on E.

Proof. This follows immediately from the fact that 𝔤𝔩n(K) is the split central extension of 𝔰𝔩n(K) : 𝔤𝔩n(K)=𝔰𝔩n(K)KE , and the fact, established in numerous places, that each nonzero δ-derivation of 𝔰𝔩n(K) , n > 2, is either an ordinary derivation (δ = 1), or an element of the centroid δ=12 (see, for example, [16, Corollary 4.16] or [6]).

Lemma 11.

Let D:Mn+(K)Mn+(K) be a linear map such that

D([x,m])=δ[x,D(m)] (14)

for any xMn(K) , mMn+(K) , and some fixed δK, δ ≠ 0, 1. Then the image of D lies in the one-dimensional linear space spanned by E.

Proof. Replacing in the equality (14) x by [x, y], where x,yMn(K) , and using the Jacobi identity, we get:

D([x,[y,m]])D([y,[x,m]])=δ[[x,y],D(m)].

Using the fact that [x,m],[y,m]Mn+(K) , applying again (14) to each term at the left-hand side twice, and using the Jacobi identity, we get [[x, y], D(m)] = 0. Since [Mn(K),Mn(K)]=Mn(K) , the latter equality is equivalent to [Mn(K),D(m)]=0 . By Lemma 2, D(m) is a multiple of E for any mMn+(K) .

When considering restrictions of δ-derivations to subalgebras, we arrive naturally at the necessity to consider a more general notion of δ-derivations with values in not necessary the algebra itself, but in a module over the algebra. Generally, this require to consider bimodules, but as we will need this generalization only in the case of anticommutative (in fact, Lie) algebras, we confine ourselves here with the following definition. Let A be an anticommutative algebra, and M a left A-module, with the action of A on M denoted by •. A δ-derivation of A with values in M is a linear map D : AM such that

D(xy)=δyD(x)+δxD(y)
for any x, yA.

Proof of Theorem 8 in the case of S(Mn(𝕆(K)),J) . If n = 1, the algebra in question is the 7-dimensional simple Malcev algebra 𝕆(K) , and the result is covered by [7, Lemma 3].

Let n > 2 and δ ≠ 1. We may write

D(x1)=d(x)1+i=17di(x)eiD(mek)=fk(m)1+i=17fki(m)ei
for any xMn(K) , mMn+(K) , k = 1, ..., 7, and some linear maps d:Mn(K)Mn(K) , di:Mn(K)Mn+(K) , fk:Mn+(K)Mn(K) , and fki:Mn+(K)Mn+(K) .

For a fixed k = 1, ..., 7, consider the Lie subalgebra

𝒧(ek)=Mn(K)1Mn+(K)ek
of S(Mn(𝕆),J) , isomorphic, as noted in §3, to 𝔤𝔩n(K) (remember that K is algebraically, and, in particular, quadratically, closed). According to decomposition (8), S(Mn(𝕆(K)),J) is decomposed, as an 𝒧(ek) -module, into the direct sum of the adjoint module 𝒧(ek) , and the module Mn+(K)Bk (note, however, that the latter is not a Lie module). This implies that the restriction of D to 𝒧(ek) , being composed with the canonical projection S(Mn(𝕆(K)),J)𝒧(ek) , i.e., the map
x1d(x)1+dk(x)ekmekfk(m)1+fkk(m)ek,
is a δ-derivation of 𝒧(ek) (with values in the adjoint module).

By Lemma 10, either δ12 , and each such map is of the form

x10mek0,mSMn(K)EekμkEek
for some μkK; or δ=12 , and each such map is of the form
x1λkx1mekλkmek,mSMn(K)EekμkEek
for some λk, μkK. (Recall from §2.2, that SMn(K) denotes the space of matrices from Mn+(K) with trace zero.) Taking into account that one of these alternatives holds uniformly for all values of k, we arrive at the following two cases:

Case 1. δ1,12 and D(Mn(K)1)=0 .

Case 2. δ=12 , and D(x ⊗ 1) = λx ⊗ 1 for any xMn(K) and some fixed λ ∈ K.

Moreover, in both cases

D(Mn+(K)𝕆(K))Mn+(K)𝕆(K).

We will handle these two cases together, keeping in mind that λ = 0 if δ12 .

Consider now the restriction of D to Mn+(K)𝕆(K) . Since

Hom(Mn+(K)𝕆(K),Mn+(K)𝕆(K))Hom(Mn+(K),Mn+(K))Hom(𝕆(K),𝕆(K)),
we may write
D(ma)=i𝕀di(m)αi(a)
for any mMn+(K) , a𝕆(K) , some index set 𝕀 , and linear maps di:Mn+(K)Mn+(K) , αi:𝕆(K)𝕆(K) , i𝕀 . Writing the condition of δ-derivation (12) for the pair x ⊗ 1, ma, where xMn(K) , mMn+(K) , a𝕆(K) , we get
i𝕀(di([x,m])δ[x,di(m)])αi(a)=δλ[x,m]a. (15)

In Case 1 the right-hand side of (15) vanishes, and hence we may assume di([x, m]) = δ[x, di(m)] for any xMn(K) , mMn+(K) , and any i𝕀 . By Lemma 11, each di(m) is a multiple of E, and hence D(Mn+(K)𝕆(K))E𝕆(K) . But then writing (12) for the pair ma, sb, where m,sMn+(K) , a,b𝕆(K) , and taking into account (9), we get D((ms) ⊗ [a, b]) = 0. Since (Mn(K), ○) and (𝕆(K),[,]) are perfect (in fact, simple) algebras, the latter equality implies vanishing of D on the whole Mn+(K)𝕆(K) , and thus on the whole S(Mn(𝕆(K)),J) , a contradiction.

Hence, we are in Case 2, and δ=12 . Setting in this case d=λidMn+(K) , and α=id𝕆(K) , the equality (15) can be rewritten as

i𝕀{}(di([x,m])12[x,di(m)])αi(a)=0.

As in the previous case, this means that there are new linear maps d˜i , α˜i which are linear combinations of di and αi, respectively, and such that

i𝕀{}d˜iα˜i=i𝕀{}diαi, (16)
and d˜i([x,m])=12[x,d˜i(m)] . Lemma 11 tells us, as previously, that each d˜i(m) is a multiple of E, and hence the image of the map in the left-hand side of (16) lies in E𝕆(K) . Since the right-hand side of (16) is equal to D+dα , we have
D(ma)=λma+Eβ(m,a)
for any mMn+(K) , a𝕆(K) , and some bilinear map β:Mn+(K)×𝕆(K)𝕆(K) . Replacing D by the 12 -derivation Dλ id, we arrive at the situation as in the previous case: a δ-derivation (with δ=12 ) vanishing on Mn(K)1 , and taking values in E𝕆(K) on Mn+(K)𝕆(K) . Hence, Dλ id vanishes on the whole S(Mn(𝕆(K)),J) , and D = λ id, as claimed.

Finally, consider the case n = 2. In this case Lemma 10 is not applicable: in addition to the cases described in Lemma, there is the 5-dimensional space of (−1)-derivations of 𝔰𝔩2(K) , and thus the corresponding 6-dimensional space of (−1)-derivations of 𝔤𝔩2(K) (see [9, Example 1.5] or [5, Example in §3]). In view of this, to proceed like in the proof of the case n > 2, considering δ-derivations of the Lie subalgebras 𝒧(ek) , would be too cumbersome, and we are taking a somewhat alternative route.

Denote by H=(0110) the basis element of the 1-dimensional space M2(K) . Consider the subalgebra E𝕆(K) of S+(M2(𝕆(K)),J) , isomorphic to the 7-dimensional simple Malcev algebra 𝕆(K) . As an E𝕆(K) -module, S+(M2(𝕆(K)),J) decomposes into the direct sum of the trivial 1-dimensional module KH ⊗ 1, and the module M2+(K)𝕆(K) which is isomorphic to the direct sum of 3 copies of the adjoint module ( 𝕆(K) acting on itself). Thus D, being restricted to E𝕆(K) , is equal to the sum of a δ-derivation with values in the trivial module, which is obviously zero, and three δ-derivations of 𝕆(K) . By the result mentioned at the beginning of this proof, the latter δ-derivations are zero if δ1,12 , and are multiples of the identity map if δ=12 . Consequently, D(Ea) = m0a for any a𝕆(K) , and some fixed m0M2+(K) .

Now write

D(H1)=λH1+i=17miei
for some λK, and miM2+(K) . Writing the condition of δ-derivation (12) for the pair H ⊗ 1, Eek, where k = 1, ..., 7, we get
21i7,ik(±miei*k)+[H,m0]ek=0.

It follows that mi = 0 for each i = 1, ..., 7, and D(H ⊗ 1) = λH ⊗ 1.

Now let

D(ma)=β(m,a)H1+termslyinginM2+(K)𝕆(K)
for any mM2+(K) , a𝕆(K) , and some bilinear map β:M2+(K)𝕆(K)K . Writing the condition of δ-derivation for the pair H ⊗ 1, ma, and collecting terms which are multiples of H ⊗ 1, we see that β(m, a)H ⊗ 1 = 0. Thus,
D(M2+(K)𝕆(K))M2+(K)𝕆(K),
and we may proceed as in the generic case n > 2 above.

Note that it is also possible to pursue the case δ = 1 along the same lines; this would give us an alternative proof of the results of [19], as well as of the classical result that derivation algebra of the 27-dimensional exceptional simple Jordan algebra is isomorphic to the simple Lie algebra of type F4.

There is a vast literature devoted to δ-derivations of algebras and related notions (for a small, but representative sample, see [57,9,13,16]). Our strategy to prove Theorem 8 was to identify certain Lie subalgebras of the algebra S(Mn(𝕆(K)),J) , and consider δ-derivations of those subalgebras with values in the whole S(Mn(𝕆(K)),J) . Developing further the methods of the above-cited papers, it is possible to prove that δ-derivations of semisimple Lie algebras of classical type with coefficients in finite-dimensional modules are either (inner) derivations, or multiples of the identity map on irreducible constituents of the module isomorphic to the adjoint module of the algebra, or, in the case of the direct summands in the algebra isomorphic to 𝔰𝔩2(K) , (−1)-derivations with values in the irreducible constituents isomorphic to the adjoint 𝔰𝔩2(K) -modules. This general fact would allow us to further simplify the proof of Theorem 8, but establishing it would require considerable (though pretty much straightforward) efforts, and would lead us far away from the topic of this paper. We hope to return to this elsewhere.

Since by [19], both Der(S+(Mn(𝕆μ(K)),J)) for n ≥ 4, and Der(S(Mn(𝕆μ(K)),J)) for any n are isomorphic to the Lie algebra G2𝔰𝔬n(K) , then by Theorem 8, both Δ(S+(Mn(𝕆μ(K)),J)) and Δ(S(Mn(𝕆μ(K)),J)) are isomorphic to the one-dimensional trivial central extension of G2𝔰𝔬n(K) .

Finally, note an important

Corollary.

The algebras S+(Mn(𝕆μ(K)),J) and S(Mn(𝕆μ(K)),J) are central simple.

Proof. By Theorem 5, these algebras are simple, and by Theorem 8 their centroid coincides with the ground field.

5. SYMMETRIC ASSOCIATIVE FORMS

Let A be an algebra. A bilinear symmetric form φ : A × AK is called associative, if

φ(xy,z)=φ(x,yz) (17)
for any x, y, zA. (In the context of Lie algebras, associative forms are usually called invariant, because in that case the condition (17) is equivalent to invariance of the form φ with respect to the standard action of the underlying Lie algebra on the space of symmetric bilinear forms.)

For a matrix X = (aij) from Mn(𝕆μ(K)) , by X¯ we will understand the matrix ( aij¯ ), obtained by element-wise application of conjugation in 𝕆μ(K) .

Theorem 12.

Any bilinear symmetric associative form on S+(Mn(𝕆μ(K)),J) , or on S(Mn(𝕆μ(K)),J) , is a scalar multiple of the form

(X,Y)Tr(XY+X¯Y¯). (18)

The form (18) is reminiscent of the Killing form on simple Lie algebras of classical type, and of the generic trace form on simple Jordan algebras (and is such a form when restricted from the algebra S+(Mn(𝕆μ(K)),J) to its Jordan subalgebra Mn(K), and from the algebra S(Mn(𝕆μ(K)),J) to its Lie subalgebra 𝔰𝔬n(K) , see below).

Proof. According to Corollary in §4, both algebras are central simple. The standard linear algebra arguments show that any bilinear symmetric associative form on a simple algebra is nondegenerate, and that any two nondegenerate symmetric associative forms on a finite-­dimensional central algebra differ from each other by a scalar (see, e.g., [12, pp. 30–31, Exercise 15(b)]). Thus, the vector space of bilinear symmetric associative forms on a finite-dimensional central simple algebra is either 0- or 1-dimensional.

Now it remains to observe that in both cases this space is 1-dimensional by verifying that the form (18) is indeed associative. The most convenient way to do this is, perhaps, to rewrite the form in terms of decompositions (7) or (8). On the algebra S+(Mn(𝕆μ(K)),J) we obtain

(m1,s1)2Tr(ms)(m1,xa)0(xa,yb)(ab+ba)Tr(xy),
and on S(Mn(𝕆μ(K)),J) ,
(x1,y1)2Tr(xy)(x1,ma)0(ma,sb)(ab+ba)Tr(ms).

Here, as before in this paper, x,yMn(K) , m,sMn+(K) , and a,b𝕆μ(K) . (For the algebra S+(Mn(𝕆μ(K)),J) , the associativity follows also from [20, Satz 5.2], where it is proved that the form (18) is a symmetric associative form on a larger algebra (Mn(𝕆μ(K)),) .)

Note that it is possible to get an alternative, direct proof of Theorem 12 without appealing to results of §4, in the linear algebra spirit of the proofs of Proposition 4 and Theorem 8.

6. FURTHER QUESTIONS

  1. (1)

    Compute automorphism groups of the algebras S+(Mn(𝕆μ(K)),J) and S(Mn(𝕆μ(K)),J) . Are they isomorphic to G2 × SO(n)?

  2. (2)

    For n > 3, the algebras S+(Mn(𝕆μ(K)),J) are no longer Jordan. How “far” they are from Jordan algebras? Which identities these algebras do satisfy? (The last question was also asked in [2], where it is proved that S+(M4(𝕆(𝕈)),J) does not satisfy nontrivial identities of degree ≤6.) A starting point could be investigation of (non-Jordan) representations of the Jordan subalgebras which are forms of the full matrix Jordan algebra Mn(K), mentioned in §3, in the whole S+(Mn(𝕆μ(K)),J) .

  3. (3)

    What can one say about subalgebras of the algebras in question? Say, what are the maximal subalgebras? Maximal Jordan subalgebras of S+(Mn(𝕆μ(K)),J) ? Some low-dimensional subalgebras of S+(M4(𝕆(𝕉)),J) were exhibited in [11] (see also [17, p. 37]). These subalgebras belong to the class of so-called elementary algebras, defined by a certain identity of degree 5. In that old and seemingly forgotten paper, Jordan suggested to investigate which other elementary subalgebras the octonionic matrix algebras may contain.

  4. (4)

    Idempotents play an important role in Jordan algebras. Find idempotents in S+(Mn(𝕆μ(K)),J) . This amounts to solving a system of quadratic equations in the Lie algebra 𝔰𝔬n(K) .

  5. (5)

    In [21] it is proved that any anticommutative algebra with a bilinear symmetric associative form is isomorphic to a “minus” algebra A(–) of a noncommutative Jordan algebra A. In view of Theorem 12, which noncommutative Jordan algebras arise in this way in connection with the algebras S(Mn(𝕆μ(K)),J) ?

  6. (6)

    Investigate the case of characteristic 3. Though this case is, perhaps, of little interest for physics, in characteristic 3 the 7-dimensional algebra 𝕆μ(K) is not merely a Malcev algebra, but isomorphic to a form of the Lie algebra 𝔭𝔰𝔩3(K) (see, for example, [4, Theorem 4.26]). This suggests that the algebras S+(Mn(𝕆μ(K)),J) and S(Mn(𝕆μ(K)),J) in this characteristic may satisfy a different set of identities than in the generic case, perhaps, more tractable and more closer to the classical identities (Jacobi, Jordan, etc.).

Note that, unlike the questions treated in this paper, some of these questions are sensitive to the ground field, and are related to the subtle behavior of quadratic forms, etc.

ACKNOWLEDGMENTS

Thanks are due to Francesco Toppan and Bernd Henschenmacher, who explained the importance of algebras considered here, and pointed us to the relevant literature ([11,18,20]), and to Dimitry Leites and the anonymous referee for significant improvements to the previous version of the paper. GAP [8] was utilized to check some of the computations performed in the paper. Arezoo Zohrabi was supported by grant SGS01/PřF/20-21 of the University of Ostrava.

Footnotes

1.

Of course, it is also possible to perform all our calculations in the case of generic 3-parametric octonion algebra 𝕆μ(K) , but then they will be somewhat more cumbersome.

REFERENCES

[5]VT Filippov, Lie algebras satisfying identities of degree 5, Algebra Logika, Vol. 34, 1995, pp. 681-705. (in Russian) [Algebra and Logic 34 (1996), 379–394 (English translation)].
[6]VT Filippov, δ-derivations of prime Lie algebras, Sibirsk. Mat. Zh., Vol. 40, 1999, pp. 201-213. (in Russian) [Siber. Math. J. 40 (1999), 174–184 (English translation)].
[8]The GAP Group, GAP – Groups, Algorithms, and Programming-a System for Computational Discrete Algebra, Version 4.10.2, 2019. available from: https://www.gap-system.org/.
[9]NC Hopkins, Generalized derivations of nonassociative algebras, Nova J. Math. Game Theory Algebra, Vol. 5, 1996, pp. 215-224.
[10]N Jacobson, Structure and Representations of Jordan Algebras, American Mathematical Society, Providence, RI, 1968.
[11]P Jordan, Zur Theorie nicht-assoziativer Algebren, Akad. Wiss. Lit. Mainz Abh. Math.-Natur. Kl., 1968, pp. 27-38.
[12]I Kaplansky, Lie Algebras and Locally Compact Groups, The University of Chicago Press, Chicago and London, 1971.
[15]S Lang, Algebra, third ed., Springer, New York, 2002.
[17]M Liebmann, H Rühaak, and B Henschenmacher, Non-associative algebras and quantum physics–A historical perspective. arXiv:1909.04027.
[20]H Rühaak, Matrix-Algebren über einer nicht-ausgearteten Cayley-Algebra, University of Hamburg, Germany, 1968. PhD Thesis
[22]RD Schafer, An Introduction to Nonassociative Algebras, Academic Press, New York and London, 1966. reprinted in a slightly corrected form by Dover, Mineola, NY, 1995.
Journal
Journal of Nonlinear Mathematical Physics
Volume-Issue
28 - 1
Pages
108 - 122
Publication Date
2020/12
ISSN (Online)
1776-0852
ISSN (Print)
1402-9251
DOI
https://doi.org/10.2991/jnmp.k.200922.011How to use a DOI?
Copyright
© 2020 The Authors. Publishing services by Atlantis Press International B.V.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - JOUR
AU  - Arezoo Zohrabi
AU  - Pasha Zusmanovich
PY  - 2020
DA  - 2020/12
TI  - On Hermitian and Skew-Hermitian Matrix Algebras over Octonions
JO  - Journal of Nonlinear Mathematical Physics
SP  - 108
EP  - 122
VL  - 28
IS  - 1
SN  - 1776-0852
UR  - https://doi.org/10.2991/jnmp.k.200922.011
DO  - https://doi.org/10.2991/jnmp.k.200922.011
ID  - Zohrabi2020
ER  -