Multilinear algebras and Lie's theorem for formal \(n\)-loops
type: Item
instance of: scholarly article
title: Multilinear algebras and Lie's theorem for formal \(n\)-loops
zbMATH Open document ID: 0627.22003
DOI: 10.1007/BF01206476
author: J. D. H. Smith
published in: Archiv der Mathematik
publication date: 1988-01-01T00:00:00Z
review text: An \((n+1)\)-web \(W(n+1,n,r)\) is coordinatized by a local real analytic \(n\)-ary loop, whose Taylor expansion furnishes an \(r\)-dimensional formal real \(n\)-ary loop. For \(n=2\), the connection between formal groups and Lie algebras or formal Moufang loops and Mal'cev algebras was extended by \textit{M. A. Akivis} [Sib. Math. Zh. 17, 5--11 (1976; Zbl 0337.53018)], \textit{K. H. Hofmann} and \textit{K. Strambach} [Pac. J. Math. 123, 301--327 (1986; Zbl 0596.22002)] to a connection between formal binary loops and Akivis algebras \((A,[\cdot,\cdot], (\cdot,\cdot,\cdot))\), with a bilinear commutator \([x,y]=xy-yx+0(3)\) and trilinear associator \((x,y,z)=(xy)z-x(yz)+0(4)\). V. V. Goldberg has raised the problem of finding analogous results for \(n>2.\) Certainly, a trilinear product \(xyz\) on a space \(A\) furnishes a trilinear commutator \([x,y,z]=xyz-yxz\) and a trilinear translator \(\langle x,y,z\rangle=xyz- yzx\). The commutator is left alternative \([x,y,z]+[y,x,z]=0\), the translator satisfies the Jacobi identity \(\langle x,y,z\rangle+\langle y,z,x\rangle+\langle z,x,y\rangle=0\), and together the commutator and translator satisfy the comtrans identity \([x,y,z]+[z,y,x]=\langle x,y,z\rangle+\langle z,y,x\rangle\). An algebra \((A,[\cdot,\cdot,\cdot], \langle\cdot,\cdot,\cdot\rangle)\) satisfying these identities is called a comtrans algebra. The peculiar difficulty of formal \(n\)-ary loops for \(n>2\) is that multilinear operations are not obtained directly as in the binary case. For example, a formal ternary loop \(F(x,y,z)\) does not give a trilinear commutator \(F(x,y,z)-F(y,x,z)+0(4)\). To obtain trilinear operations, the technique of masking is introduced. The masks are the formal binary loops \(F(0,y,z)\), \(F(x,0,z)\), and \(F(x,y,0)\). Each has a corresponding Akivis algebra. A comtrans algebra is then obtained from the commutator and translator of the masked version \(M(x,y,z)=F(0,y,z)+F(x,0,z)+F(x,y,0)- F(x,y,z)\) of \(F(x,y,z)\). The full alg…
Mathematics Subject Classification ID: 22A30
Mathematics Subject Classification ID: 17A40
Mathematics Subject Classification ID: 53A60
Mathematics Subject Classification ID: 20N05
Mathematics Subject Classification ID: 14L05
Mathematics Subject Classification ID: 17D10
zbMATH DE Number: 4019347
zbMATH Keywords: formal \(n\)-loops
zbMATH Keywords: local real analytic \(n\)-ary loop
zbMATH Keywords: formal Moufang loops
zbMATH Keywords: Mal'cev algebras
zbMATH Keywords: trilinear commutator
zbMATH Keywords: Jacobi identity
zbMATH Keywords: comtrans identity
zbMATH Keywords: formal ternary loop
zbMATH Keywords: comtrans algebra
zbMATH Keywords: Akivis algebras
zbMATH Keywords: masks
zbMATH Keywords: Lie's third fundamental theorem
MaRDI profile type: Publication
cites work: Formal Lie groups
cites work: Q5825260
cites work: Q3901604
cites work: Lie's fundamental theorems for local analytical loops
Recommended article: Multiloop Lie algebras and the construction of extended affine Lie algebras
Recommended article: Multiloop algebras, iterated loop algebras and extended affine Lie algebras of nullity 2
Recommended article: Formal multiplications, bialgebras of distributions and nonassociative Lie theory
Recommended article: Multilinear forms and graded algebras
Recommended article: Q5259976
Recommended article: Representations of multiloop algebras
Recommended article: Q5456320
Recommended article: Representations of Graded Multiloop Lie Algebras
Recommended article: \(n\)-Lie algebras
Recommended article: n-Lie algebras
description: scientific article; zbMATH DE number 4019347