Next Article in Journal
Sub-Planckian Scale and Limits for f(R) Models
Previous Article in Journal
Large Eddy Simulation of Periodic Transient Pressure Fluctuation in a Centrifugal Pump Impeller at Low Flow Rate
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Solvability of ℤ3-Graded Novikov Algebras

by
Viktor Zhelyabin
1,* and
Ualbai Umirbaev
2,3,*
1
Institute of Mathematics of the SB of RAS, 630090 Novosibirsk, Russia
2
Department of Mathematics, Wayne State University, Detroit, MI 48202, USA
3
Institute of Mathematics and Modeling, Almaty 050010, Kazakhstan
*
Authors to whom correspondence should be addressed.
Symmetry 2021, 13(2), 312; https://doi.org/10.3390/sym13020312
Submission received: 12 January 2021 / Revised: 7 February 2021 / Accepted: 9 February 2021 / Published: 13 February 2021
(This article belongs to the Special Issue Ternary and Z3-Graded Algebras in Physics)

Abstract

:
Symmetries of algebraic systems are called automorphisms. An algebra admits an automorphism of finite order n if and only if it admits a Z n -grading. Let N = N 0 N 1 N 2 be a Z 3 -graded Novikov algebra. The main goal of the paper is to prove that over a field of characteristic not equal to 3, the algebra N is solvable if N 0 is solvable. We also show that a Z 2 -graded Novikov algebra N = N 0 N 1 over a field of characteristic not equal to 2 is solvable if N 0 is solvable. This implies that for every n of the form n = 2 k 3 l , any Z n -graded Novikov algebra N over a field of characteristic not equal to 2 , 3 is solvable if N 0 is solvable.

1. Introduction

One of the features of Hamiltonian operators is their connection with certain algebraic structures [1,2,3,4,5,6,7]. In 1976, I.M. Gel’fand and L.A. Dikii [1] introduced formal variational calculus and found some interesting Poisson structures when studying Hamiltonian systems related to some nonlinear partial differential equations such as the Korteweg–de Vries equations. A little later, I.M. Gel’fand and I.Ya. Dorfman [2] found more connections between Hamiltonian operators and some algebraic structures. From 1983 to 1985, B.A. Dubrovin, A.A. Balanskii and S.P. Novikov [3,4,5] studied similar Poisson structures from another point of view. One of the algebraic structures in [2,5], introduced in connection with Poisson brackets of hydrodynamic type, was called a Novikov algebra by J.M. Osborn [8,9,10].
We recall some important results on the solvabilty and nilpotency of Novikov algebras. In 1987, E.I. Zelmanov [11] proved that if N is a finite dimensional right nilpotent Novikov algebra, then N 2 is nilpotent. In 2001, V.T. Filippov [12] proved that any left-nil Novikov algebra of bounded index over a field of characteristic zero is nilpotent. Recently, I. Shestakov and Z. Zhang [13] showed that a Novikov algebra is solvable if and only if it is right nilpotent.
Symmetries of algebraic systems are called automorphisms. The most famous example of symmetry in algebra is related to the action of the symmetric group S n on a polynomial algebra F [ x 1 , , x n ] in the variables x 1 , , x n . The algebra of invariants of this action is a polynomial algebra generated by elementary symmetric polynomials.
Let R be an algebra over a field F. For any automorphism ϕ of R the set of fixed elements R ϕ = { x R | ϕ ( x ) = x } is a subalgebra of R, and is called the subalgebra of invariants of ϕ . An automorphism ϕ is called regular if R ϕ = 0 . For any group G of automorphisms of R the subalgebra of invariants R G = { x R | ϕ ( x ) = x for all ϕ G } is defined similarly.
In 1957, G. Higman [14] published a classical result on Lie algebras which says that if a Lie algebra L has a regular automorphism ϕ of prime order p, then L is nilpotent. It was also shown that the index of nilpotency h ( p ) of L depends only on p. An explicit estimation of the function h ( p ) was found by A.I. Kostrikin and V.A. Kreknin [15] in 1963. A little later, V.A. Kreknin proved [16] that a finite dimensional Lie algebra with a regular automorphism of an arbitrary finite order is solvable. In 2005, N. Yu. Makarenko [17] proved that if a Lie algebra L admits an automorphism of a prime order p with a finite-dimensional fixed subalgebra of dimension t, then L has a nilpotent ideal of finite codimension with the index of nilpotency bounded in terms of p and the codimension bounded in terms of t and p.
In 1973, G. Bergman and I. Isaacs [18] published a classical result on the actions of finite groups on associative algebras. Let G be a finite group of automorphisms of an associative algebra R and suppose that R has no | G | -torsion. If the subalgebra of invariants R G is nilpotent, then the Bergman–Isaacs Theorem [18] states that R is also nilpotent. Since then, a very large number of papers have been devoted to the study of automorphisms of associative rings. The central problem of these studies was to identify the properties of rings that can be transformed from the ring of invariants to the whole ring. In 1974, V. K. Kharchenko [19] proved if R G is a PI-ring, then R is a PI-ring under the conditions of the Bergman–Isaacs Theorem.
The Bergman–Isaacs Theorem was partially generalized by W.S. Martindale and S. Montgomery [20] in 1977 to the case of a finite group of Jordan automorphisms, that is, a finite group of automorphisms of the adjoint Jordan algebra R ( + ) .
An analog of Kharchenko’s result for Jordan algebras was proved by A. P. Semenov [21] in 1991. In particular, A. P. Semenov proved that if J G is a solvable algebra over a field of characteristic zero, then so is the Jordan algebra J. His proof uses a deep result by E.I. Zel’manov [22], which says that every Jordan nil-algebra of bounded index over a field of characteristic zero is solvable. If a Jordan algebra J over a field of characteristic not equal to 2 , 3 admits an automorphism ϕ of the second order with solvable J ϕ , then J is solvable [23].
In the case of alternative algebras, one cannot expect that nilpotency of the invariant subalgebra implies the nilpotency of the whole algebra. There is an example (see in [24,25]) of a solvable non-nilpotent alternative algebra with an automorphism of order two such that its subalgebra of invariants is nilpotent. A combination of Semenov’s result [21] and Zhevlakov’s theorem [26] gives for an alternative algebra A over a field of characteristic zero that the solvability of the algebra of invariants A G for a finite group G implies the solvability of A. It is also known [27] that if A is an alternative algebra over a field of characteristic not equal to 2 with an automorphism ϕ of order two, then the solvability of the algebra of invariants A ϕ implies the solvability of A. In [28], M. Goncharov proved that an alternative Z 3 -graded algebra A = A 0 A 1 A 3 over a field of characteristic not equal to 2 , 3 , 5 is solvable if A 0 is solvable.
Notice that an algebra A over a field containing all nth roots of unity admits an automorphism of order n if and only if A admits a Z n -grading.
In this paper, we study the conditions of solvability of graded Novikov algebras from the point of view of the Bergman–Isaacs Theorem. We prove that a Z 3 -graded Novikov algebra N = N 0 N 1 N 2 over a field of characteristic not equal to 3 is solvable if N 0 is solvable. We also show that a Z 2 -graded Novikov algebra N = N 0 N 1 over a field of characteristic not equal to 2 is solvable if N 0 is solvable. This implies that for every n of the form n = 2 k 3 l that every Z n -graded Novikov algebra N over a field of characteristic not equal to 2 , 3 is solvable if N 0 is solvable.
The paper is organized as follows. In Section 2, we give some preliminary facts. Section 3 is devoted to the study of Z 2 -graded Novikov algebras with solvable even part. In Section 4, we construct some ideals of Z 3 -graded Novikov algebras. The solvability of Z 3 -graded Novikov algebras with solvable 0-component is proven in Section 5.

2. Preliminary Calculations

An algebra N over a field F is called a Novikov algebra if it satisfies the following identities:
( x , y , z ) = ( y , x , z ) ( left symmetry ) ,
( x y ) z = ( x z ) y ( right commutativity ) ,
where ( x , y , z ) = ( x y ) z x ( y z ) is the associator of the elements x , y , z .
It follows from (2) that every Novikov algebra satisfies the identity
( x y , z , t ) = ( x , z , t ) y .
Let A be an arbitrary algebra and X , Y , Z be subsets of A. Denote by X Y the linear span of all products x y and by [ X , Y ] the linear span of all commutators [ x , y ] = x y y x where x X , y Y . Furthermore, denote by ( X , Y , Z ) the linear span of all associators ( x , y , z ) where x X , y Y , z Z .
Lemma 1.
Let N be a Novikov algebra, B be its subalgebra, and M , L be B-subbimodules of N. Then, B ( M L ) , ( M L ) B M L , i.e., M L is a B-bimodule. In particular, if I , J are ideals of N, then I J is an ideal of N (see also in [13]).
Proof. 
We have ( M L ) B ( M B ) L M L by (2). By (1) we get
B ( M L ) ( B M ) L + ( B , M , L ) M L + ( M , B , L ) M L + ( M B ) L + M ( B L ) M L
as M and L are B-subbimodules of N. □
Let Z n = Z / n Z be the additive cyclic group of order n. Let
N = N 0 N 1 N 2 N n 1 , N i N j N i + j , i , j Z n
be a Z n -graded Novikov algebra. Then, the 0-component N 0 of N is a subalgebra on N and for convenience of notation we often denote this subalgebra by A = N 0 .
Lemma 2.
Let N be a Z n -graded Novikov algebra and I be an ideal of A. Assume that
( I · N i ) N n i , ( N i · I ) N n i , N n i ( I · N i ) , N n i ( N i · I ) I
for some i Z n . Then,
( I 2 · N i ) N n i , ( N i · I 2 ) N n i , N n i ( I 2 · N i ) , N n i ( N i · I 2 ) I 2 .
Proof. 
Let a , b I and x N i , y N n i . We write f g if f g I 2 . By Lemma 1, I 2 is an ideal of A. Then,
( ( a b ) x ) y = by ( 2 ) ( ( a x ) y ) b 0 , since ( a x ) y I , i . e . , ( I 2 · N i ) N n i I 2 , ( x ( a b ) ) y = by ( 2 ) ( x y ) ( a b ) 0 , as x y A , i . e . , ( N i · I 2 ) N n i I 2 , y ( ( a b ) x ) = ( y , a b , x ) + ( y ( a b ) ) x = by ( 1 ) and ( 2 ) ( a b , y , x ) + ( y x ) ( a b ) ( a b , y , x ) = ( ( a b ) y ) x + ( a b ) ( y x ) ( ( a b ) y ) x = by ( 2 ) ( ( a y ) x ) b 0 , i . e . , N n i ( I 2 · N i ) I 2 .
It remains to consider the product y ( x ( a b ) ) . We have
y ( x ( a b ) ) = y { ( x , a , b ) + ( x a ) b } = by ( 1 ) y ( a , x , b ) + y ( ( x a ) b ) = y ( ( a x ) b ) + y ( a ( x b ) ) ( y , x a , b ) + ( y ( x a ) ) b by ( 2 ) y ( ( a b ) x ) ( y , a , x b ) + ( y a ) ( x b ) ( x a , y , b ) by ( 1 ) and ( 2 ) ( a , y , x b ) + ( y ( x b ) ) a ( ( x a ) y ) b + ( x a ) ( y b ) by ( 2 ) ( a y ) ( x b ) + a ( y ( x b ) ) + ( x ( y b ) ) a ( a y ) ( x b ) = ( a y , x , b ) ( ( a y ) x ) b ( a y , x , b ) = by ( 1 ) ( x , a y , b ) = ( x ( a y ) ) b x ( ( a y ) b ) by ( 2 ) x ( ( a b ) y ) 0 .
Notice that in the last calculation we used twice that y ( ( a b ) x ) 0 , proven above. □
The derived powers A ( s ) of an arbitrary algebra A are defined by induction on s as follows: A ( 0 ) = A and A ( s ) = A ( s 1 ) A ( s 1 ) for any positive integer s 1 . If A is a Novikov algebra, then A ( s ) is an ideal of A for all s 0 by Lemma 1. An algebra A is called solvable if A ( s ) = 0 for some s. If s is the minimal number such that A ( s ) = 0 , then s is called the length of solvability of A.
Corollary 1.
Let N be a Z n -graded Novikov algebra. Then,
( A ( s ) · N i ) N n i , ( N i · A ( s ) ) N n i , N n i ( A ( s ) · N i ) , N n i ( N i · A ( s ) ) A ( s )
for any non-negative integer s and for any i Z n .
Proof. 
The statement of the corollary is obviously true for s = 0 . Assume that s 1 and
( A ( s 1 ) · N i ) N n i , ( N i · A ( s 1 ) ) N n i , N n i ( A ( s 1 ) · N i ) , N n i ( N i · A ( s 1 ) ) A ( s 1 ) .
As A ( s ) = A ( s 1 ) A ( s 1 ) and A ( s 1 ) is an ideal of A, it follows from Lemma 2 that
( A ( s ) · N i ) N n i , ( N i · A ( s ) ) N n i , N n i ( A ( s ) · N i ) , N n i ( N i · A ( s ) ) A ( s ) .

3. Z 2 -Graded Novikov Algebra with Solvable Even Part

If N is a Z 2 -graded Novikov algebra, then we write N = A M by setting A = N 0 and M = N 1 . Notice that the study of Z 2 -graded algebras is more popular as it is related to the study of superalgebras. In this case, A is called the even part and M is called the odd part of N.
In this section, we prove that every Novikov algebra over a field of characteristic 2 with solvable even part is solvable. First, formulate one important corollary of Lemma 2.
Corollary 2.
Let N = A M be a Z 2 -graded Novikov algebra. Then,
J = A 2 ( A 2 M + M A 2 )
is a Z 2 -graded ideal of N.
Proof. 
We write f g if f g J . Let a , b , c A and m , n M . First, we prove that J is a right ideal of N. We have
( a b ) c 0 , ( a b ) n 0 , ( ( a b ) m ) c = by ( 2 ) ( ( a b ) c ) m 0 , ( m ( a b ) ) c = by ( 2 ) ( m c ) ( a b ) 0 ,
as m c M . By Lemma 2, ( ( a b ) m ) n , ( m ( a b ) ) n A 2 .
Now we prove that J is a left ideal. We have
c ( a b ) 0 , n ( a b ) 0 , c ( ( a b ) m ) = ( c , a b , m ) + ( c ( a b ) ) m by ( 1 ) ( a b , c , m ) = ( ( a b ) c ) m + ( a b ) ( c m ) 0 , c ( m ( a b ) ) = ( c , m , a b ) + ( c m ) ( a b ) by ( 1 ) ( m , c , a b ) = ( m c ) ( a b ) + m ( c ( a b ) ) 0 .
By Lemma 2 n ( ( a b ) m ) , n ( m ( a b ) ) A 2 .
Thus, J is a Z 2 -graded ideal of N. □
Proposition 1.
Let F be a field of characteristic 2 and let N = A M be a Z 2 -graded Novikov algebra. Suppose that A 2 = 0 . Then, N ( n ) = 0 for some positive integer n.
Several lemmas precede the proof of this proposition. These lemmas are formulated under the conditions of Proposition 1.
Lemma 3.
Let I = M M + A M . Then, I is a Z 2 -graded ideal of algebra N 2 .
Proof. 
It is clear that N 2 = M M + A M + M A . Then M 2 N 2 A M I . As A 2 = 0 , using (2) we get
( A M ) M 2 ( A M 2 ) M = 0 .
Thus,
I N 2 M 2 N 2 + ( A M ) M 2 + M 2 I .
Therefore, I is a right ideal of N 2 .
Now, we prove that I is a left ideal of N 2 . By (1) we have
( M A ) M 2 ( M , A , M 2 ) + M ( A M 2 ) ( A , M , M 2 ) ( A M ) M 2 + A ( M M 2 ) A M .
Hence N 2 M 2 I . From here we obtain that
( A M + M A ) I ( A M + M A ) M 2 + ( A M + M A ) ( A M ) N 2 M 2 + M 2 I .
Therefore,
N 2 I M 2 I + ( A M + M A ) I I .
Thus, I is a Z 2 -graded ideal of the algebra N 2 . □
Lemma 4.
We can assume that M A = 0 .
Proof. 
Let I = M 2 + A M . As N 2 = I + M A , applying Lemma 3 we get
( N 2 ) 2 = ( I + M A ) 2 I 2 + I ( M A ) + ( M A ) I + ( M A ) 2 I .
Therefore, the algebra N is solvable if the algebra I = M M + A M is solvable. By (2), we have
( A M ) M 2 ( A M 2 ) M = 0 .
Considering I instead of N, we can assume that M A = 0 . □
Lemma 5.
We can assume that x y = y x for all x , y M .
Proof. 
Let x , y M . First we show that [ x , y ] M = 0 . Let z M . By lemma 4, we obtain
( x y ) z = ( x , y , z ) + x ( y z ) = ( x , y , z ) = by ( 1 ) ( y , x , z ) = ( y x ) z
since y z , x z A . Therefore, [ x , y ] M = 0 for all x , y M . By Lemma 4, we have M [ x , y ] = 0 , since [ x , y ] A .
Therefore, the vector space [ M , M ] spanned by all commutators [ x , y ] , where x , y M , lies in the annihilator of the algebra N. Therefore, the algebra N is solvable, if the quotient algebra N / [ M , M ] of N is a solvable algebra. Changing N to N / [ M , M ] , we can assume that x y = y x for all x , y M . □
The Proof of Proposition 1.
By Lemma 4, we can assume that M A = 0 . Let I = M M + A M . Then, N 2 = I . Therefore, it is sufficient to prove that the algebra I is solvable.
Let a , b A , x , y M . By (2), we have ( a x ) ( b y ) = ( a ( b y ) ) x . Using (1) and M A = 0 we obtain that
( a ( b y ) ) x = ( a , b y , x ) + a ( ( b y ) x ) = ( b y , a , x ) = ( ( b y ) a ) x ( b y ) ( a x ) = ( b y ) ( a x ) .
Therefore, ( a x ) ( b y ) = ( b y ) ( a x ) . By Lemma 5, x y = y x for all x , y M . Using this we get ( a x ) ( b y ) = 0 over a field of characteristic 2 .
Consequently,
I 2 ( M M ) 2 + ( A M ) 2 + ( M M ) ( A M ) A M .
Thus, I ( 2 ) = 0 .
Thus, the algebra N is solvable. □
Theorem 1.
Every Z 2 -graded Novikov algebra with solvable even part over a field of characteristic 2 is solvable.
Proof. 
Let N = A M be a Z 2 -graded Novikov algebra with solvable even part A. Let n be the length of solvability of A. We prove the statement of the theorem by induction on n. If n = 1 , then N is solvable by Proposition 1.
By Corollary 2, J = A 2 ( A 2 M + M A 2 ) is a Z 2 -graded ideal of N. Notice that the even part A 2 of J is solvable with solvability length n 1 . By the induction proposition, J is solvable, that is, J ( s ) = 0 for some positive integer s. Moreover, the even part of the quotient algebra N ¯ = N / J = A / A 2 M / ( A 2 M + M A 2 ) has trivial multiplication. Consequently, N ¯ is solvable by Proposition 1, that is, N ( t ) J for some positive integer t. Then, N ( s + t ) = 0 . □
Recall that the powers of an arbitrary algebra A are defined inductively by A 1 = A and A n = i = 1 n A i A n i for all integers n 2 . An algebra A is called nilpotent if A n = 0 for some positive integer n. Obviously, every nilpotent algebra is solvable. The converse is not true in the case of Novikov algebras.
Example 1.
[13] Let N = F a + F b be a vector space of dimension 2. The product on N is defined as
a b = b , a 2 = b 2 = b a = 0 .
It is easy to check that N is a solvable Novikov algebra but not nilpotent as a ( a ( a b ) ) = b 0 .
Moreover, N is a Z 2 -graded Novikov algebra with N 0 = F a and N 1 = F b . The even part N 0 of N is nilpotent. This means that in the formulation of Theorem 1, solvability cannot be replaced by nilpotency.

4. Some Ideals of Z 3 -Graded Novikov Algebras

Let
N = N 0 N 1 N 2
be a Z 3 -graded Novikov algebra. We fix a Z 3 -graded subspace
I = I 0 I 1 I 2 ,
where
I 0 = A 2 + N 1 N 2 + N 2 N 1 , I 1 = A 2 N 1 + N 1 A 2 + N 2 2 , I 2 = A 2 N 2 + N 2 A 2 + N 1 2 .
Lemma 6.
Let N be a Z 3 -graded Novikov algebra. Then, the subspace I from (4) is a Z 3 -graded ideal of N 2 . Moreover, N ( 2 ) I .
Proof. 
As A , N 0 , and N 2 are A-bimodules, then I is also an A-bimodule by Lemma 1, that is, I A I and A I I . Moreover, as N 2 2 + A 2 N 1 + N 1 A 2 N 1 and N 1 2 + A 2 N 2 + N 2 A 2 N 2 , it follows that I is a subalgebra of N.
We first prove the inclusions
I ( A N i ) , I ( N i A ) , ( A N i ) I , ( N i A ) I I , i = 1 , 2 .
We will check only the inclusion I ( A N 1 ) I as the other inclusions can be checked similarly. We have ( N 1 N 2 ) N 1 ( N 1 N 1 ) N 2 N 2 2 by (2). Therefore, ( N 1 N 2 ) ( A N 1 ) N 2 2 I . By (2) and (1) we have
( N 2 N 1 ) ( A N 1 ) ( N 2 · A N 1 ) N 1 ( N 2 , A N 1 , N 1 ) + N 2 N 1 2 ( A N 1 , N 2 , N 1 ) + N 2 2 ( A N 1 · N 2 ) N 1 + ( A N 1 ) ( N 2 N 1 ) + N 2 2 ( A N 1 · N 1 ) N 2 + ( A · N 2 N 1 ) N 1 + N 2 2 N 2 2 + A 2 N 2 I .
These inclusions imply that
I 0 ( A N 1 ) = ( A 2 + N 1 N 2 + N 2 N 1 ) ( A N 1 ) I
as ( A 2 ) ( A N 1 ) ( A 2 ) N 1 I . Notice that I 1 ( A N 1 ) N 1 ( A N 1 ) N 1 2 I . Moreover, ( A 2 N 2 + N 2 A 2 ) ( A N 1 ) A 2 I by Corollary 1. As N 1 2 ( A N 1 ) N 2 N 1 I it follows that I 2 ( A N 1 ) I . Consequently, I ( A N 1 ) I .
Notice that
N 2 = ( A 2 + N 1 N 2 + N 2 N 1 ) ( A N 1 + N 1 A + N 2 2 ) ( A N 2 + N 2 A + N 1 2 )
and
N 2 = I + A N 1 + N 1 A + A N 2 + N 2 A .
As I is a subalgebra of N, the inclusions (5) imply that I is an ideal of N 2 . It is clear that N ( 2 ) I . □
Lemma 7.
Let N be a Z 3 -graded Novikov algebra. Let
K = A 2 ( A 2 N 1 + N 1 A 2 + ( A 2 N 2 ) 2 ) ( A 2 N 2 + N 2 A 2 + ( A 2 N 1 ) 2 )
be a Z 3 -graded subspace of I. Then, K is a Z 3 -graded ideal of I.
Proof. 
We have K A , A K K by Lemma 1. First, we show that
N ( A 2 N i ) 2 , ( A 2 N i ) 2 N K , i = 1 , 2 .
We check these inclusions for i = 1 as the case i = 2 can be treated similarly. An obvious inclusion A 2 N 1 · N 1 N 2 , (2), and Corollary 1 imply that
( A 2 N 1 ) 2 N 1 ( A 2 N 1 · A 2 N 1 ) N 1 ( A 2 N 1 · N 1 ) · A 2 N 1 N 2 · A 2 N 1 A 2 K .
By (1), we also get
N 1 ( A 2 N 1 ) 2 ( N 1 , A 2 N 1 , A 2 N 1 ) + ( N 1 · A 2 N 1 ) · A 2 N 1 ( A 2 N 1 , N 1 , A 2 N 1 ) + N 2 · A 2 N 1 ( A 2 N 1 · N 1 ) · A 2 N 1 + A 2 N 1 · ( N 1 · A 2 N 1 ) + N 2 · A 2 N 1 N 2 ( A 2 N 1 ) + ( A 2 N 1 ) N 2
as A 2 N 1 · N 1 , N 1 · A 2 N 1 N 2 . Applying Corollary 1 we obtain N 1 ( A 2 N 1 ) 2 A 2 K . Notice that A 2 N 1 · N 2 A 2 by Corollary 1. Using (2) we get
( A 2 N 1 ) 2 N 2 ( A 2 N 1 · N 2 ) · A 2 N 1 A 2 · A 2 N 1 A 2 N 1 K .
Similarly,
N 2 ( A 2 N 1 ) 2 ( N 2 , A 2 N 1 , A 2 N 1 ) + ( N 2 · A 2 N 1 ) · A 2 N 1 ( A 2 N 1 , N 2 , A 2 N 1 ) + A 2 · A 2 N 1 ( A 2 N 1 · N 2 ) · A 2 N 1 + A 2 N 1 · ( N 2 · A 2 N 1 ) + A 2 · A 2 N 1 A 2 · A 2 N 1 + A 2 N 1 · A 2 K .
We now prove that K is a subalgebra of N. By Corollary 1,
( A 2 N 1 + N 1 A 2 ) N 2 , N 2 ( A 2 N 1 + N 1 A 2 ) A 2 .
Consequently,
( A 2 N 1 + N 1 A 2 ) ( A 2 N 2 + N 2 A 2 ) , ( A 2 N 2 + N 2 A 2 ) ( A 2 N 1 + N 1 A 2 ) A 2 .
Using (2) we get
( N 1 A 2 ) ( A 2 N 1 ) ( N 1 · A 2 N 1 ) A 2 N 2 A 2 , ( N 1 A 2 ) ( N 1 A 2 ) N 2 A 2 .
Similarly,
( A 2 N 1 ) ( N 1 A 2 ) ( A 2 · N 1 A 2 ) N 1 ( A 2 N 1 · A 2 + ( A 2 , N 1 , A 2 ) ) N 1 .
Applying (2), (1), and (3), we obtain
( A 2 N 1 ) ( N 1 A 2 ) ( A 2 N 1 · A 2 + ( A 2 , N 1 , A 2 ) ) N 1 ( A 2 N 1 · N 1 ) A 2 + ( N 1 , A 2 , A 2 ) N 1
N 2 A 2 + ( N 1 N 1 , A 2 , A 2 ) N 2 A 2 .
Similarly, ( N 2 A 2 ) ( A 2 N 2 ) , ( N 2 A 2 ) ( N 2 A 2 ) , ( A 2 N 2 ) ( N 2 A 2 ) N 1 A 2 .
These inclusions together with (6) give that K is a subalgebra of N.
We now prove that K is an ideal of I. It is clear that
( N 1 2 + N 2 2 ) A 2 , A 2 ( N 1 2 + N 2 2 ) K .
By Corollary 1, we get
( A 2 N 1 + N 1 A 2 ) N 1 2 , N 1 2 ( A 2 N 1 + N 1 A 2 ) A 2
as N 1 2 N 2 . Using (2) and Corollary 1, we also get
N 2 2 ( A 2 N 1 + N 1 A 2 ) ( N 2 · ( A 2 N 1 + N 1 A 2 ) N 2 A 2 N 2 .
Similar calculations with (1) give that
( A 2 N 1 + N 1 A 2 ) N 2 2 ( A 2 N 1 + N 1 A 2 , N 2 , N 2 ) + ( ( A 2 N 1 + N 1 A 2 ) N 2 ) N 2
( N 2 , A 2 N 1 + N 1 A 2 , N 2 ) + A 2 N 2 A 2 N 2 + N 2 A 2 K .
Therefore,
I ( A 2 N 1 + N 1 A 2 ) , ( A 2 N 1 + N 1 A 2 ) I K .
Similarly,
I ( A 2 N 2 + N 2 A 2 ) , ( A 2 N 2 + N 2 A 2 ) I K .
These inclusions together with (6) give that K is an ideal of I. □

5. Z 3 -Graded Novikov Algebras with Solvable 0-Component

In this section, we show that Z 3 -graded Novikov algebras over a field of characteristic 3 with solvable 0-component are solvable. We start with the case when the length of solvability of the 0-component is 1.
Proposition 2.
Let F be a field of characteristic 3 and let N = N 0 N 1 N 2 be a Z 3 -graded Novikov algebra. Suppose that N 0 2 = 0 . Then N is a solvable algebra.
We give several lemmas prior to the proof of this proposition. These lemmas are formulated under the conditions of Proposition 2. The 0-component of N is usually denoted by A = N 0 .
First formulate a direct corollary of Lemma 6.
Corollary 3.
The vector space I = N 1 N 2 + N 2 N 1 + N 1 2 + N 2 2 is a Z 3 -graded ideal of N 2 . Moreover, N ( 2 ) I .
For any elements a , b N define a b = a b + b a .
Lemma 8.
Let a N 1 2 and b N 2 2 . Then, a b = 0 . Moreover, we can assume that x y = 0 for any x N 1 , y N 2 and A = N 1 N 2 .
Proof. 
Let x 1 , y 1 N 1 and x 2 , y 2 N 2 . Then,
( x 1 y 1 ) ( x 2 y 2 ) = by ( 2 ) ( x 1 · x 2 y 2 ) y 1 = ( x 1 x 2 · y 2 ) y 1 ( x 1 , x 2 , y 2 ) y 1 = by ( 1 ) ( x 1 x 2 · y 2 ) y 1 ( x 2 , x 1 , y 2 ) y 1 = ( x 1 x 2 · y 2 ) y 1 ( x 2 x 1 · y 2 ) y 1 + ( x 2 · x 1 y 2 ) y 1 = by ( 2 ) ( [ x 1 , x 2 ] y 2 ) y 1 + ( x 2 y 1 ) ( x 1 y 2 ) = ( [ x 1 , x 2 ] y 2 ) y 1
since ( x 2 y 1 ) ( x 1 y 2 ) = 0 . Similarly, ( x 2 y 2 ) ( x 1 y 1 ) = ( [ x 2 , x 1 ] y 1 ) y 2 .
Therefore, we have
( x 1 y 1 ) ( x 2 y 2 ) = ( [ x 1 , x 2 ] y 2 ) y 1 + ( [ x 2 , x 1 ] y 1 ) y 2 = by ( 2 ) ( ( [ x 1 , x 2 ] + [ x 2 , x 1 ] ) y 2 ) y 1 = 0 .
Consequently, a b = 0 for all a N 1 2 , b N 2 2 .
By Corollary 3, I is an ideal of N 2 and N ( 2 ) I . Consequently, the algebra N is solvable if and only if I is solvable. Replacing N by I, we may assume that x y = 0 for all x N 1 , y N 2 and A = N 1 N 2 . □
Lemma 9.
The following equalities hold in N:
[ N 1 , N 1 ] N 2 = 0 , [ N 2 , N 2 ] N 1 = 0 , ( N 1 N 2 ) [ N i , N i ] = 0 , [ N i , N i ] ( N 1 N 2 ) = 0 ,
where i = 1 , 2 .
Proof. 
Let x 1 , y 1 N 1 and x 2 N 2 . By Lemma 8, x 1 x 2 = x 2 x 1 and y 1 x 2 = x 2 y 1 . Then, we obtain
( x 1 y 1 ) x 2 = by ( 2 ) ( x 1 x 2 ) y 1 = ( x 2 x 1 ) y 1 = by ( 2 ) ( x 2 y 1 ) x 1 = ( y 1 x 2 ) x 1 = by ( 2 ) ( y 1 x 1 ) x 2 .
Therefore, [ x 1 , y 1 ] x 2 = 0 . Thus, [ N 1 , N 1 ] N 2 = 0 . Similarly, [ N 2 , N 2 ] N 1 = 0 .
Now we will show that ( N 1 N 2 ) [ N 1 , N 1 ] = 0 . By (2),
( N 1 N 2 ) [ N 1 , N 1 ] ( N 1 [ N 1 , N 1 ] ) N 2 .
As [ N 1 , N 1 ] N 2 and N 1 N 2 N 2 N 1 by Lemma 8, it follows that
( N 1 N 2 ) [ N 1 , N 1 ] ( N 1 [ N 1 , N 1 ] ) N 2 ( [ N 1 , N 1 ] N 1 ) N 2 ( [ N 1 , N 1 ] N 2 ) N 1 = 0 .
Notice that
[ N 1 , N 1 ] ( N 1 N 2 ) ( [ N 1 , N 1 ] , N 1 , N 2 ) + ( [ N 1 , N 1 ] N 1 ) N 2 .
From this, using (1) and (2), we get
[ N 1 , N 1 ] ( N 1 N 2 ) ( N 1 , [ N 1 , N 1 ] , N 2 ) + ( [ N 1 , N 1 ] N 2 ) N 1 ( N 1 , [ N 1 , N 1 ] , N 2 ) ( N 1 [ N 1 , N 1 ] ) N 2 ,
since [ N 1 , N 1 ] N 2 = 0 . As ( N 1 N 2 ) [ N 1 , N 1 ] = 0 , applying (2) we obtain
[ N 1 , N 1 ] ( N 1 N 2 ) ( N 1 [ N 1 , N 1 ] ) N 2 ( N 1 N 2 ) [ N 1 , N 1 ] = 0 .
Similarly, ( N 1 N 2 ) [ N 2 , N 2 ] = 0 and [ N 2 , N 2 ] ( N 1 N 2 ) = 0 . □
Lemma 10.
We can assume that N 1 A = 0 , N 2 A = 0 .
Proof. 
First we prove that K = N 1 N 2 + A N 1 + N 1 A + N 1 2 is a Z 3 -graded ideal of the algebra N and N ( 3 ) K .
We have A N 1 2 , N 1 2 A N 1 2 by Lemma 1. Therefore, A K , K A K . Since N 1 2 N 2 it follows that N 1 K , K N 1 K . By Lemma 8 and (2), we get
( N 1 N 2 ) N 2 ( N 2 N 1 ) N 2 N 2 2 N 1 N 1 N 1 .
Therefore, K N 2 K , since N 1 2 N 2 ( N 1 N 2 ) N 1 A N 1 .
Applying (1) and (2), we see that
N 2 ( N 1 N 2 ) ( N 2 N 1 ) N 2 + ( N 2 , N 1 , N 2 ) ( N 2 N 2 ) N 1 + ( N 2 , N 1 , N 2 )
N 1 2 + ( N 1 , N 2 , N 2 ) N 1 2 + ( N 1 N 2 ) N 2 + N 1 N 2 2 N 1 2 .
Similarly, one can prove that
N 2 N 1 2 ( N 2 N 1 ) N 1 + ( N 2 , N 1 , N 1 ) A N 1 + ( N 1 , N 2 , N 1 ) A N 1 + N 1 A .
Therefore, N 2 K K .
Consequently, K is a Z 3 -graded ideal of the algebra N.
Let N / K = A ¯ + N 1 ¯ + N 2 ¯ , where A ¯ , N 1 ¯ , N 2 ¯ are the images of A , N 1 , N 2 in the quotient algebra N / K , respectively. Then, ( N / K ) 2 N 2 ¯ 2 + N 2 ¯ N 1 ¯ + N 2 ¯ . Therefore, ( N / K ) ( 2 ) N 2 ¯ 2 N 1 ¯ . Thus, N ( 3 ) K and N is a solvable if and only if K is solvable.
Let K 1 = N 1 N 2 + A N 1 + N 1 2 . We show that K 1 is an ideal of K.
We have N 1 2 N 1 2 ( N 1 N 1 2 ) N 1 A N 1 by (2). By Lemma 1, we get A K 1 , K 1 A K 1 . Therefore, K 1 2 K 1 , i.e., K 1 is a subalgebra of K. Using (1) and (2), we also have
( N 1 A ) A = ( N 1 , A , A ) ( A , N 1 , A ) ( A N 1 ) A + A ( N 1 A ) A 2 N 1 + A N 1 A N 1 .
Therefore, K 1 is a ideal of K. Moreover, K 2 K 1 . Thus, the algebra N is solvable if and only if K 1 is solvable. Therefore, replacing N by K 1 , we can assume that N 1 A = 0 since ( A N 1 ) A A 2 N 1 = 0 . In this case we have N 1 2 A ( N 1 A ) N 1 = 0 .
Thus, we can assume that N 1 A = 0 , N 2 A = 0 in N. □
Lemma 11.
We can assume that [ N 1 , N 1 ] = [ N 2 , N 2 ] = 0 .
Proof. 
First we prove that the vector space K = N 1 [ N 1 , N 1 ] + N 2 [ N 1 , N 1 ] + [ N 1 , N 1 ] is a Z 3 -graded ideal of N and K ( 2 ) = 0 .
We have A = N 1 N 2 by Lemma 8. Then, Lemma 9 and Lemma 1 give that A K , K A K .
We prove that N 1 K K . By Lemma 10, we have N 1 ( N 1 [ N 1 , N 1 ] ) N 1 A = 0 . As N 2 [ N 1 , N 1 ] N 1 , using (2) and Lemma 9 we get
N 1 ( N 2 [ N 1 , N 1 ] ) [ N 1 , N 2 [ N 1 , N 1 ] ] + ( N 2 [ N 1 , N 1 ] ) N 1 [ N 1 , N 1 ] + ( N 2 N 1 ) [ N 1 , N 1 ] [ N 1 , N 1 ] .
Therefore, N 1 K K .
Applying (2), Lemma 9, and Lemma 8, we obtain that
K N 1 N 1 2 [ N 1 , N 1 ] + ( N 2 N 1 ) [ N 1 , N 1 ] + [ N 1 , N 1 ] N 1 N 2 [ N 1 , N 1 ] + N 1 [ N 1 , N 1 ] K .
Consequently, N 1 K K and K N 1 K .
We prove that N 2 K , K N 2 K . By Lemma 10, Lemma 8, and (2), we get
N 2 K ( N 2 [ N 1 , N 1 ] ) N 2 + N 2 [ N 1 , N 1 ] N 2 2 [ N 1 , N 1 ] + N 2 [ N 1 , N 1 ] N 1 [ N 1 , N 1 ] + N 2 [ N 1 , N 1 ] K .
Since [ N 1 , N 1 ] N 2 = 0 and ( N 1 N 2 ) [ N 1 , N 1 ] = 0 by Lemma 9, using (2) we obtain
K N 2 ( N 1 [ N 1 , N 1 ] ) N 2 + ( N 2 [ N 1 , N 1 ] ) N 2 + [ N 1 , N 1 ] N 2
( N 1 N 2 ) [ N 1 , N 1 ] + N 2 2 [ N 1 , N 1 ] N 1 [ N 1 , N 1 ] .
Therefore, K is an ideal of the algebra N.
Applying Lemma 9, (1), and Lemma 10, we also get
N 1 ( N 2 [ N 1 , N 1 ] ) ( N 1 , N 2 , [ N 1 , N 1 ] ) ( N 2 , N 1 , [ N 1 , N 1 ] )
( N 2 N 1 ) [ N 1 , N 1 ] + N 2 ( N 1 [ N 1 , N 1 ] ) N 2 A = 0 .
Therefore,
( N 1 [ N 1 , N 1 ] ) ( N 2 [ N 1 , N 1 ] ) ( N 1 ( N 2 [ N 1 , N 1 ] ) ) [ N 1 , N 1 ] = 0 .
As N 2 [ N 1 , N 1 ] N 1 it follows that ( N 2 [ N 1 , N 1 ] ) 2 N 1 ( N 2 [ N 1 , N 1 ] ) = 0 . As [ N 1 , N 1 ] N 2 , using Lemma 9 we get [ N 1 , N 1 ] 2 [ N 1 , N 1 ] N 2 = 0 . Therefore, by Lemmas 8 and 9, we also get
K 2 ( N 1 [ N 1 , N 1 ] ) ( N 2 [ N 1 , N 1 ] ) + ( N 2 [ N 1 , N 1 ] ) [ N 1 , N 1 ] N 1 [ N 1 , N 1 ] N 1 N 2 A .
Then K ( 2 ) = 0 .
Similarly, L = N 2 [ N 2 , N 2 ] + N 1 [ N 2 , N 2 ] + [ N 2 , N 2 ] is a ideal of the algebra N and L ( 2 ) = 0 . Therefore, K + L is a solvable ideal of the algebra N. From the solvability of the quotient algebra N / ( K + L ) follows the solvability of N. We have [ N i ¯ , N i ¯ ] = 0 in the quotient algebra N / ( K + L ) , where N i ¯ is the image of N i in N / ( K + L ) , i = 1 , 2 .
Therefore, we can assume that [ N 1 , N 1 ] = [ N 2 , N 2 ] = 0 in the algebra N. □
The Proof of the Proposition 2.
Let x 1 , y 1 N 1 , x 2 N 2 . Then,
( x 1 y 1 ) x 2 = by ( 2 ) ( x 1 x 2 ) y 1 = by Lemma 8 ( x 2 x 1 ) y 1 = ( x 2 , x 1 , y 1 ) x 2 ( x 1 y 1 ) = by ( 1 ) and Lemma 11
( x 1 , x 2 , y 1 ) ( x 1 y 1 ) x 2 = by Lemma 10 ( x 1 x 2 ) y 1 ( x 1 y 1 ) x 2 = by ( 2 ) 2 ( x 1 y 1 ) x 2 .
Thus, 3 ( x 1 y 1 ) x 2 = 0 . Therefore, N 1 2 N 2 = 0 . Then, N 2 N 1 2 = 0 by Lemma 11. Similarly, N 2 2 N 1 = 0 and N 1 N 2 2 = 0
Consequently, N 1 2 N 1 2 N 1 2 N 2 = 0 and N 2 2 N 2 2 N 2 2 N 1 = 0 . Moreover, N 1 2 N 2 2 ( N 1 N 2 2 ) N 1 = 0 . Similarly, N 2 2 N 1 2 = 0 .
Let I = N 1 N 2 + N 1 2 + N 2 2 . By Lemma 1, I 2 N 1 2 + N 2 2 and I ( 2 ) = 0 . By Corollary 3 and Lemma 8, we get N ( 2 ) I . Therefore, the algebra N is solvable. □
Theorem 2.
Let F be a field of characteristic 3 and let N = N 0 + N 1 + N 2 be a Z 3 -graded Novikov algebra. Suppose that N 0 is a solvable algebra. Then, N is a solvable algebra.
Proof. 
Let A = N 0 be a solvable algebra with solvability length n 1 . If n = 1 , then N is solvable by Proposition 2. Suppose that n 2 , that is A 2 0 . Let I be the ideal of N 2 from Lemma 6. Recall that N ( 2 ) I . Therefore, it is sufficient to prove that I is a solvable ideal of N.
Let K be the ideal of I from Lemma 7. As ( A 2 + N 1 N 2 + N 2 N 1 ) 2 A 2 , the quotient algebra I / K is again solvable by Proposition 2. Therefore, I ( s ) K for some positive integers s.
Notice that the 0-component of K is A 2 and has the solvability length n 1 . Leading an induction on n we may assume that K is solvable. Consequently, I and N are both solvable. □
Corollary 4.
Let n be a positive integer of the form n = 2 s 3 t > 1 for some non-negative integers s , t . Let N be a Z n -graded Novikov algebra over a field of characteristic 2 , 3 . If N 0 is solvable, then N is solvable.
This is a standard corollary of Theorems 1 and 2 (see, for example, [28]).
The right powers of an arbitrary algebra A are defined inductively by A [ 1 ] = A and A [ n ] = A [ n 1 ] A for all integers n 2 . An algebra A is called right nilpotent if A [ n ] = 0 for some positive integer n. I. Shestakov and Z. Zhang recently proved [13] that every solvable Novikov algebra is right nilpotent.
Corollary 5.
Let n be a positive integer of the form n = 2 s 3 t > 1 for some non-negative integers s , t . Let N be a Z n -graded Novikov algebra over a field of characteristic 2 , 3 . If N 0 is right nilpotent, then N is right nilpotent.

Author Contributions

Methodology, V.Z. and U.U.; investigation, V.Z. and U.U.; writing—original draft preparation, V.Z.; writing—review and editing, U.U. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

The first author is supported by the Program of fundamental scientific research of the SB of RAS, project 0314-2016-0001. The second author is supported by the grant AP05133009 of MES RK.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Gel’fand, I.M.; Diki, L.A. Fractional powers of operators and Hamiltonian systems. Funct. Anal. Appl. 1976, 10, 259–273. [Google Scholar] [CrossRef]
  2. Gel’fand, I.M.; Dorfman, I.Y. Hamiltonian operators and algebraic structures related to them. Funct. Anal. Appl. 1979, 13, 248–262. [Google Scholar] [CrossRef]
  3. Dubrovin, B.A.; Novikov, S.P. Hamiltonian formalism of one-dimensional systems of hydrodynamic type, and the Bogolyubov-Whitman averaging method. Sov. Math. Dokl. 1983, 27, 665–669. [Google Scholar]
  4. Dubrovin, B.A.; Novikov, S.P. On Poisson brackets of hydrodynamic type. Sov. Math. Dokl. 1984, 30, 651–654. [Google Scholar]
  5. Balinskii, A.A.; Novikov, S.P. Poisson brackets of hydrodynamic type, Frobenius algebras and Lie algebras. Sov. Math. Dokl. 1985, 32, 228–231. [Google Scholar]
  6. Xu, X. Hamiltonian operators and associative algebras with a derivation. Lett. Math. Phys. 1995, 33, 1–6. [Google Scholar] [CrossRef]
  7. Xu, X. Hamiltonian superoperators. J. Phys. A Math. Gen. 1995, 28, 1681–1698. [Google Scholar] [CrossRef]
  8. Osborn, J.M. Novikov algebras. Nova J. Algebra Geom. 1992, 1, 1–13. [Google Scholar]
  9. Osborn, J.M. Simple Novikov algebras with an idempotent. Comm. Algebra 1992, 20, 2729–2753. [Google Scholar] [CrossRef]
  10. Osborn, J.M. Infinite dimensional Novikov algebras of characteristic 0. J. Algebra 1994, 167, 146–167. [Google Scholar] [CrossRef] [Green Version]
  11. Zel’manov, E.I. A class of local translation-invariant Lie algebras. Dokl. Akad. Nauk SSSR 1987, 292, 1294–1297. [Google Scholar]
  12. Filippov, V.T. On right-symmetric and Novikov nil algebras of bounded index. Mat. Zametki 2001, 70, 289–295. (In Russian) [Google Scholar]
  13. Shestakov, I.; Zhang, Z. Solvability and nilpotency of Novikov algebras. Comm. Algebra 2020, 48, 5412–5420. [Google Scholar] [CrossRef]
  14. Higman, G. Groups and rings which have automorphisms without non-trivial fixed elements. J. Lond. Math. Soc. 1957, 32, 321–334. [Google Scholar] [CrossRef]
  15. Kostrikin, A.I.; Kreknin, V.A. Lie algebras with a regular automorphism. Sov. Math. Dokl. 1963, 4, 355–358. [Google Scholar]
  16. Kreknin, V.A. Solvability of a Lie algebra containing a regular automorphism. Sib. Math. J. 1967, 8, 715–716. [Google Scholar]
  17. Makarenko, N.Y. A nilpotent ideal in the Lie rings with automorphism of prime order. Sib. Mat. Zh. 2005, 46, 1360–1373. [Google Scholar] [CrossRef]
  18. Bergman, G.M.; Isaacs, I.M. Rings with fixed-point-free group actions. Proc. Lond. Math. Soc. 1973, 27, 69–87. [Google Scholar] [CrossRef]
  19. Kharchenko, V.K. Galois extensions and quotient rings. Algebra Log. 1974, 13, 265–281. [Google Scholar] [CrossRef]
  20. Martindale, W.S.; Montgomery, S. Fixed elements of Jordan automorphisms of associative rings. Pac. J. Math. 1977, 72, 181–196. [Google Scholar] [CrossRef] [Green Version]
  21. Semenov, A.P. Subrings of invariants of a finite group of automorphisms of a Jordan ring. Sib. Math. J. 1991, 32, 169–172. [Google Scholar] [CrossRef]
  22. Zel’manov, E.I. On solvability of Jordan nil-algebras. Sib. Adv. Math. 1991, 1, 185–203. [Google Scholar]
  23. Zhelyabin, V.N. Jordan superalgebras with a solvable even part. Algebra Log. 1995, 34, 25–34. [Google Scholar] [CrossRef]
  24. Dorofeev, G.V. An instance of a solvable, though nonnilpotent, alternative ring. Uspehi Mat. Nauk 1960, 15, 147–150. [Google Scholar] [CrossRef]
  25. Zhevlakov, K.A.; Slinko, A.M.; Shestakov, I.P.; Shirshov, A.I. Rings that are Nearly Associative. Academic Press: New York, NY, USA, 1982. [Google Scholar]
  26. Zhevlakov, K.A. Solvability of alternative nil-rings. Sib. Math. J. 1962, 3, 368–377. [Google Scholar]
  27. Smirnov, O.N. Solvability of alternative ℤ2-graded algebras and alternative superalgebras. Sib. Math. J. 1991, 32, 1030–1034. [Google Scholar] [CrossRef]
  28. Goncharov, M. On solvable ℤ3-graded alternative algebras. Algebra Discrete Math. 2015, 20, 203–216. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Zhelyabin, V.; Umirbaev, U. On the Solvability of ℤ3-Graded Novikov Algebras. Symmetry 2021, 13, 312. https://doi.org/10.3390/sym13020312

AMA Style

Zhelyabin V, Umirbaev U. On the Solvability of ℤ3-Graded Novikov Algebras. Symmetry. 2021; 13(2):312. https://doi.org/10.3390/sym13020312

Chicago/Turabian Style

Zhelyabin, Viktor, and Ualbai Umirbaev. 2021. "On the Solvability of ℤ3-Graded Novikov Algebras" Symmetry 13, no. 2: 312. https://doi.org/10.3390/sym13020312

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop