Nilpotency and Dimension Series for Loops

Abstract

Abstract. We take a step towards the development of a nilpotency theory for loops based on the commutatorassociator filtration instead of the lower central series. This nilpotency theory shares many essential features with the associative case. In particular, we show that the isolator of the nth commutator-associator subloop coincides with the nth dimension subloop over a field of characteristic zero.The lower central series for groups can be defined in two essentially different ways. Namely, the lower central series of a group G is a descending filtration of G by normal subgroupsdefined inductively by setting either:is the largest of all subgroups K of G with the property that K/H is contained in the centre of G/H; or, G i to be generated by all commutators [x, y] with x ∈ G p and y ∈ G q with p + q ≥ i.These two definitions are equivalent for groups. However, in the non-associative case they give rise to rather different objects. The first definition, with "groups" replaced by "loops", produces Bruck's lower central series, see [1]. An analog of the second definiton for loops was introduced in [6] under the name of "commutator-associator filtration". The terms of the commutator-associator filtration contain, but do not necessarily coincide with the corresponding terms of the lower central series.The main advantage of the commutator-associator filtration is the existence of a rich algebraic structure on the associated graded abelian group, consisting of an infinite number of multilinear operations. It can be seen that two of the operations, namely those induced by the loop commutator and the loop associator, satisfy the Akivis identity. However, the complete identification of this algebraic structure is a non-trivial problem.In this paper we set up a nilpotency theory for loops based on the commutator-associator filtration. In this theory the standard techniques of the theory of nilpotent groups can be applied and various results valid for groups can be extended to loops. In particular, we shall prove that for an arbitrary loop the isolators of the terms of the commutator-associator filtration coincide with the dimension series. As a corollary, we identify the algebraic structure on the graded Q-vector space associated to the commutator-associator filtration: it turns out to be a Sabinin algebra.Throughout the text we make the emphasis on the similarities, rather than differences, between nilpotency theories for groups and for general loops. This should not leave the impression that extending the nilpotency theory from groups to loops is a straightforward task. In particular, the residual nilpotency of the free loop, established for the lower central series by Higman [3], remains an open question for the commutatorassociator filtration. We did not strive for completeness; many relevant topics (such as applications to particular classes of loops, relation to the nilpotency of the multiplication group of the loop et cetera) have remained outside the scope of this paper.Acknowledgments. I would like to thank Liudm...

Nilpotent Sabinin algebras

“…We finish this note by observing that for any torsion-free nilpotent loop L there is a non-associative algebra whose invertible elements form a loop containing L. This is a direct consequence of the non-associative generalization of the Jennings theorem [12]. This statement, whose associative prototype can be found in [21,Proposition 3.6], is a non-linear version of the Ado theorem.…”

“…For the definition of N -sequences in the non-associative context we refer to [12]. An immediate corollary is that V is residually nilpotent.…”

Half-isomorphisms of Finite Automorphic Moufang Loops

“…Otherwise, straightforward computation shows that In the theory of loops, there exist different notions of nilpotency ( [1], [14], and [13]) which for groups, but not for loops in general, are equivalent. Here we will use where s s 1 s 2 s 3 ∈ S n 1 n 2 ∈ N It follows that L is the direct product of its 3-Sylow subloop and its 3 -Hall subgroup, which is contained in the nucleus of L By analogous arguments, one can show that every Sylow subloop is normal in L, and thus we have the second statement of the Lemma (see [1], p. 72).…”

Polarizability of electrically induced magnetic vortex plasma

“…From this we see that the ground state in the electric field is reached when ∇φ = (E y , −E x )χ e γ/α. For example, a weak constant in-plane electric field modifies the ground state configuration into a cycloidal magnetic structure with a period λ = 2πρ s /χ e γE and the wave-vector perpendicular to the electric field 47 . At T = 0 this magnetic structure creates polarization P = χ 2 e γ 2 M 2 0 E/ρ s and gives contribution to electric susceptibility: χ cycloid = χ 2 e γ 2 M 2 0 /ρ s .…”