Dimension filtration on loops.

DOI10.1007/S11856-007-0005-YMaRDI QIDQ995356zbMATH OpenOpenAlexFDO

Authors Jacob Mostovoy, J. M. Pérez-Izquierdo

Publication date 3 September 2007

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0410516

zbMATH Keywords

Akivis algebrasaugmentation idealsdimension series of loopslower central seriesprimitive operationsSabinin algebras

Mathematics Subject Classification ID

Lie (super)algebras associated with other structures (associative, Jordan, etc.) (17B60) Other nonassociative rings and algebras (17D99) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Derived series, central series, and generalizations for groups (20F14) Loops, quasigroups (20N05)

Abstract: We show that the graded group associated to the dimension filtration on a loop acquires the structure of a Sabinin algebra after being tensored with a field of characteristic zero. The key to the proof is the interpretation of the primitive operations of Umirbaev and Shestakov in terms of the operations on a loop that measure the failure of the associator to be a homomorphism.

Review text

It is known that there is a close relationship between the Lie ring associated to the lower central series of a group and the graded ring associated to the filtration by the powers of the augmentation ideal on the group ring. In particular, after tensoring with the rationals, the latter becomes the universal enveloping algebra for the former. In the present paper, the authors prove an analogue of this statement for arbitrary loops. The role of the lower central series here is played by the dimension series which, unlike the lower central series, generalizes to loops in an obvious way. Instead of Lie algebras one has to consider Sabinin algebras [see \textit{J. M. Pérez-Izquierdo}, Adv. Math. 208, No. 2, 834-876 (2007; Zbl 1186.17003)], originally called hyperalgebras, which have been introduduced by \textit{P. O. Mikheev} and \textit{L. V. Sabinin} [see Sov. Math., Dokl. 36, 545-548 (1988); translation from Dokl. Akad. Nauk SSSR 297, 801-804 (1987; Zbl 0659.53018)] as the tangent structures for local analytic loops. The main point of the proof consists of showing that a certain set of operations on a loop produces the primitive operations of \textit{I. P. Shestakov} and \textit{U. U. Umirbaev} [J. Algebra 250, No. 2, 533-548 (2002; Zbl 0993.17002)] in the same way as group commutators produce Lie algebra commutators. The paper has an appendix where it is shown how the usual lower central series for groups can be obtained by linearizing the operation of taking the square of an element of a group.

Recommendations

• Filter dimension.
• scientific article; zbMATH DE number 1104280
• A filtration of algebraic loops
• D-loops.
• Finite-dimensional filters
• scientific article; zbMATH DE number 3967388
• scientific article; zbMATH DE number 2070263
• An iterated tangential filtering decomposition
• Affine extensions of loops.
• Diffusion of loops

Cites work

• Free Akivis algebras, primitive elements, and hyperalgebras
• scientific article; zbMATH DE number 3132783 (Why is no real title available?)
• scientific article; zbMATH DE number 1744112 (Why is no real title available?)
• scientific article; zbMATH DE number 4185930 (Why is no real title available?)
• On the associated graded ring of a group ring
• The notion of lower central series for loops.

Cited in

(7)

• Generalizations of Lie algebras
• The loop of formal power series with noncommutative coefficients under substitution
• Half-isomorphisms of Finite Automorphic Moufang Loops
• Nilpotent Sabinin algebras
• On torsion-free nilpotent loops
• Hopf algebras in non-associative Lie theory
• A filtration of algebraic loops

This page was built for publication: Dimension filtration on loops.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q995356)