Condition of finiteness of colength of variety of Leibnitz algebras

This paper is devoted to the varieties of Leibnitz algebras over a field of zero characteristic. All information about the variety in case of zero characteristic of the base field is contained in the space of multilinear elements of its relatively free algebra. Multilinear component of variety is considered as a module of symmetric group and splits into a direct sum of irreducible submodules, the sum of multiplicities of which is called colength of variety. This paper investigates the identities that are performed in varieties with finite colength and also the relationship of this varieties with known varieties of Lie and Leibnitz algebras with this property. We prove necessary and sufficient condition for a finiteness of colength of variety of Leibnitz algebras.