-
Distributive lattices of varieties of Novikov algebras
Authors:
Vladimir Dotsenko,
Bekzat Zhakhayev
Abstract:
We prove that a variety of Novikov algebras has a distributive lattice of subvarieties if and only if the lattice of its subvarieties defined by identities of degree three is distributive, thus answering, in the case of Novikov algebras, a question of Bokut from about fifty years ago. As a byproduct, we classify all Koszul operads with one binary generator of which the Novikov operad is a quotient…
▽ More
We prove that a variety of Novikov algebras has a distributive lattice of subvarieties if and only if the lattice of its subvarieties defined by identities of degree three is distributive, thus answering, in the case of Novikov algebras, a question of Bokut from about fifty years ago. As a byproduct, we classify all Koszul operads with one binary generator of which the Novikov operad is a quotient.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Free bicommutative superalgebras
Authors:
Vesselin Drensky,
Nurlan Ismailov,
Manat Mustafa,
Bekzat Zhakhayev
Abstract:
We introduce the variety ${\mathfrak B}_{\textrm{sup}}$ of bicommutative superalgebras over an arbitrary field of characteristic different from 2. The variety consists of all nonassociative ${\mathbb Z}_2$-graded algebras satisfying the polynomial super-identities of super- left- and right-commutativity \[ x(yz)= (-1)^{\overline{x}\,\overline{y}} y(xz)\text{ and } (xy)z=(-1)^{\overline{y}\,\overli…
▽ More
We introduce the variety ${\mathfrak B}_{\textrm{sup}}$ of bicommutative superalgebras over an arbitrary field of characteristic different from 2. The variety consists of all nonassociative ${\mathbb Z}_2$-graded algebras satisfying the polynomial super-identities of super- left- and right-commutativity \[ x(yz)= (-1)^{\overline{x}\,\overline{y}} y(xz)\text{ and } (xy)z=(-1)^{\overline{y}\,\overline{z}} (xz)y, \] where $\overline{u}\in\{0,1\}$ is the parity of the homogeneous element $u$.
We present an explicit construction of the free bicommutative superalgebras, find their bases as vector spaces and show that they share many properties typical for ordinary bicommutative algebras and super-commutative associative superalgebras. In particular, in the case of free algebras of finite rank we compute the Hilbert series and find explicitly its coefficients. As a consequence we give a formula for the codimension sequence. We establish an analogue of the classical Hilbert Basissatz for two-sided ideals. We see that the Gröbner-Shirshov bases of these ideals are finite, the Gelfand-Kirillov dimensions of finitely generated bicommutative superalgebras are nonnegative integers and the Hilbert series of finitely generated graded bicommutative superalgebras are rational functions. Concerning problems studied in the theory of varieties of algebraic systems, we prove that the variety of bicommutative superalgebras satisfies the Specht property. In the case of characteristic 0 we compute the sequence of cocharacters.
△ Less
Submitted 16 May, 2023;
originally announced May 2023.
-
Free assosymmetric algebras as modules of groups
Authors:
Askar S. Dzhumadil'daev,
Bekzat K. Zhakhayev
Abstract:
An algebra with identities $(a,b,c)=(a,c,b)=(b,a,c)$ is called {\it assosymmetric}, where $(x,y,z)=(xy)z-x(yz)$ is associator. We study $S_n$-module, $A_n$-module and $GL_n$-module structures of free assosymmetric algebra.
An algebra with identities $(a,b,c)=(a,c,b)=(b,a,c)$ is called {\it assosymmetric}, where $(x,y,z)=(xy)z-x(yz)$ is associator. We study $S_n$-module, $A_n$-module and $GL_n$-module structures of free assosymmetric algebra.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
Noetherianity and Specht problem for varieties of bicommutative algebras
Authors:
Vesselin Drensky,
Bekzat K. Zhakhayev
Abstract:
Nonassociative algebras satisfying the polynomial identities x(yz)=y(xz) and (xy)z=(xz)y are called bicommutative. We prove the following results: (i) Finitely generated bicommutative algebras are weakly noetherian, i.e., satisfy the ascending chain condition for two-sided ideals. (ii) We give the positive solution to the Specht problem (or the finite basis problem) for varieties of bicommutative…
▽ More
Nonassociative algebras satisfying the polynomial identities x(yz)=y(xz) and (xy)z=(xz)y are called bicommutative. We prove the following results: (i) Finitely generated bicommutative algebras are weakly noetherian, i.e., satisfy the ascending chain condition for two-sided ideals. (ii) We give the positive solution to the Specht problem (or the finite basis problem) for varieties of bicommutative algebras over an arbitrary field of any characteristic.
△ Less
Submitted 30 December, 2017; v1 submitted 8 June, 2017;
originally announced June 2017.