Nilpotent Evolution Algebras over arbitrary fields

arXiv:1508.06860v1 [] 27 Aug 2015

A. S. Hegazi, Hani Abdelwahab
Mathematics department, Faculty of Science, Mansoura University, Egypt
hegazi@mans.edu.eg
haniamar1985@gmail.com
Abstract
The paper is devoted to the study of annihilator extensions of evolution algebras and suggests
an approach to classify finite-dimensional nilpotent evolution algebras. Subsequently nilpotent
evolution algebras of dimension up to four are classified.

Keywords and phrases: Nilpotent evolution algebra, Annihilator extension, Automorphism
group.
2010 Mathematics Subject Classification: 17D92, 17D99.

1

Introduction

Evolution algebras were introduced in 2006 by J.P. Tian and P. Vojtechovsky in their paper “Mathematical concepts of evolution algebras in non-Mendelian genetics ” (see [10]). Later on, Tian laid the
foundations of evolution algebras in his monograph [11]. These algebras present many connections with
other mathematical fields including graph theory, group theory, Markov chains, dynamical systems,
knot theory, 3-manifolds and the study of the Riemann-Zeta function (see [11]).
Evolution algebras are in general non-associative and do not belong to any of the well-known classes
of non-associative algebras such as Lie algebras, alternative algebras, or Jordan algebras. Therefore,
the research on these algebras follows different paths (see [2], [3], [4], [8], [12]).
One of the classical problems in study of any class of algebras is to know how many different (up
to isomorphism) algebras exist for each dimension. In this way in [1], [6], [7] and [9], the classifications
of nilpotent Jordan algebras, nilpotent Lie superalgebras, nilpotent associative algebras and nilpotent
Lie algebras of low dimensions were given.
In this paper we study the class of nilpotent evolution algebras. Our aim is to describe a method
for classifying nilpotent evolution algebras. In [3], the equivalence between nilpotent evolution algebras
and evolution algebras which are defined by upper triangular matrices is proved. In [11], J. Tian defined
an evolution algebra associated to any directed graph. In [5], A. Elduque and A. Labra considered the
reverse direction, a directed graph is attached to any evolution algebra and they proved that nilpotency
of an evolution algebra is equivalent to the nonexistence of oriented cycles in the attached directed
graph.
The paper is organized as follows. In Section 2, we give some basic concepts about evolution algebras. Section 3 is devoted to the description of construction of evolution algebras with non-trivial
annihilator as annihilator extensions of evolution algebras of lower dimensions. In Section 4, we describe
a method for classifying nilpotent evolution algebras. In Section 5, we classify nilpotent evolution algebras of dimension up to three over arbitrary fields. In Section 6, four-dimensional nilpotent evolution
algebras are classified over an algebraic closed field of any characteristic and over R.

2

Preliminaries

Definition 1 [11] An evolution algebra is an algebra E containing a basis (as a vector space) B =
{e1 , . . . , en } such that ei ej = 0 for any 1 ≤ i < j ≤ n. A basis with this property is called a natural
basis.
Given a natural basis B = {e1 , . . . , en } of an evolution algebra E,
e2i =

n
X
j=1

1

αij ej


for some scalars αij ∈ F, 1 ≤ i, j ≤ n. The matrix A = αij is the matrix of structural constants of
the evolution algebra E, relative to the natural basis B.
Definition 2 An ideal I of an evolution algebra E is an evolution algebra satisfying EI ⊆ I.
Given an evolution algebra E, consider its annihilator
ann (E) := {x ∈ E : xE = 0} .
Lemma 3 [5, Lemma 2.7] Let B = {e1 , . . . , en } be a natural basis of an evolution algebra E. Then

ann (E) = span ei : e2i = 0 .

Hence ann (E) is an ideal of the evolution algebra E. Let B ′ = {er+1 , . . . , en } be a natural basis of ann (E). Then the quotient E/ann (E) is an evolution algebra with a natural basis
B ′′ = {ēi = ei + ann (E) : 1 ≤ i ≤ r}.
Note that we can reorder the natural basis B of an evolution algebra E so that B ′ = {er+1 , . . . , en }
be a natural basis of ann (E) .
Given an evolution algebra, we introduce the following sequence of subspaces:
E h1i = E, E hk+1i = E hki E.
Definition 4 An algebra E is called nilpotent if there exists n ∈ N such that E hni = 0, and the minimal
such number is called the index of nilpotency.
One can easily verify that if E is nilpotent then ann (E) 6= 0. Moreover, E is nilpotent if and only
if E/ann (E) is nilpotent.

3

Constructing Nilpotent evolution Algebra

Let E be an evolution algebra with a natural basis BE = {e1 , . . . , em } and V be a vector space with
a basis BV = {em+1 , . . . , en }. Let θ : E × E −→V be a bilinear map on E, set Eθ = E⊕V define a
multiplication on Eθ by:
ei ⋆ ej = ei ej |E +θ (ei , ej ) if 1 ≤ i, j ≤ m, and otherwise ei ⋆ ej = 0.
Then Eθ is an evolution algebra with a natural basis BEθ = {e1 , . . . , en } if and only if θ (ei , ej ) = 0 for
all i 6= j. Denote the space of all bilinear θ such that θ (ei , ej ) = 0 for all i 6= j by Z (E × E, V ). For
θ ∈ Z (E × E, V ) with dim V = n − m, the evolution algebra Eθ = E⊕V is called a (n − m)-dimensional
annihilator extension of E by V.
Now, for a linear map f ∈ Hom (E, V ), if we define θ f : E × E −→V by θ f (ei , ej ) = f (ei ej ),
then θf ∈ Z (E × E, V ). One can easily verify that the space defined by B (E × E, V ) = {θf : f ∈
Hom (E, V )} is a subspace of Z (E × E, V ).
Lemma 5 Let E be an evolution algebra with a natural basis BE = {e1 , . . . , em } and V be a vector
space with a basis BV = {em+1 , . . . , en }. Suppose that θ ∈ Z (E × E, V ) and θf ∈ B (E × E, V ). Then
Eθ ∼
= Eθ+θf .
Proof. Let x =

n
P

αi ei ∈ Eθ , define a linear map σ : Eθ −→ Eθ+θf by

i=1

σ

n
X
i=1

αi ei

!

n
X
α i ei + f
=
i=1

m
X

α i ei

i=1

Then σ is an invertible linear transformation. Moreover, let x =

n
P

!

α i ei , y =

i=1

σ (x ⋆Eθ y) =

σ

m
X
i=1

=

m
X
i=1

αi β i e2i

.
n
P

β i ei ∈ Eθ then

i=1

!
m
X


αi β i e2i + θ (ei , ei ) + f e2i
=
+ θ (ei , ei )
i=1


αi β i e2i + (θ + θf ) (ei , ei ) = σ (x) ⋆Eθ+θf σ (y) .
2

Hence Eθ ∼
= Eθ+θf .
Hence the isomorphism type of Eθ only depends on the element θ + B (E × E, V ). Therefore we
consider the quotient space
H (E × E, V ) = Z (E × E, V ) /B (E × E, V ) .
The annihilator extension corresponding to θ = 0, and consequently corresponding to any element in
B (E × E, V ) is called a trivial extension.
Suppose that E is an evolution algebra with a natural basis BE = {e1 , . . . , em } and V be a vector
space with a basis BV = {em+1 , . . . , en }. Then a symmetric bilinear map θ ∈ Z (E × E, V ) can be
n−m
P
θj (ei , ei ) em+j , where θj ∈ Z (E × E, F). Further, θ ∈ B (E × E, V ) if and
written as θ (ei , ei ) =
j=1

only if all θj ∈ B (E × E, F).

Lemma 6 dim H (E × E, F) = dim E − dim E h2i .
Proof. We claim that dim B (E × E, F) = dim E h2i . Let x1 , x2 , . . . , xk be a basis of E h2i , then
x∗1 , x∗2 , . . . , x∗k are linearly independent in E ∗ where x∗i is defined by x∗i (xi ) = 1 and x∗i (xj ) = 0 if
i 6= j. Let θ f ∈ B (E × E, F), then θf = α1 θ x∗1 + α2 θ x∗1 + · · · + αk θx∗k and θx∗1 , θx∗1 , . . . , θx∗k are linearly independent in B (E × E, F). Hence dim B (E × E, F) = dim E h2i and dim H (E × E, F) = dim E − dim E h2i .
Suppose that E is an evolution algebra with a natural basis BE = {e1 , . . . , em }. Let us denote
by Sym (E) the space of all symmetric bilinear forms on E. Then Sym (E) = δ ei ,ej : 1 ≤ i ≤ j ≤ m
while Z (E × E, F) = hδ ei ,ei : 1 = 1, 2, . . . , mi, where a bilinear form δ ei ,ej : E × E −→F is defined by
δ ei ,ej (el , em ) = 1 if {i, j} = {l, m}, and otherwise it takes the value zero.
Example 7 Let E : e21 = e2 be a 2-dimensional nilpotent evolution algebra. Here Z (E × E, F) =
hδ e1 ,e1 , δ e2 ,e2 i, by Lemma 6, B (E × E, F) is spanned by θe∗2 . Let θe∗2 = αδ e1 ,e1 + βδ e2 ,e2 ∈ Z (E × E, F).


It follows that α = θe∗2 (e1 , e1 ) = e∗2 e21 = 1, and β = θe∗2 (e2 , e2 ) = e∗2 e22 = 0 then θe∗2 = δ e1 ,e1 .
Hence B (E × E, F) = hδ e1 ,e1 i and H (E × E, F) = hδ e2 ,e2 i.
Example 8 Let E : e21 = e3 , e22 = e3 be a 3-dimensional nilpotent evolution algebra. Here
3
P
αi δ ei ,ei .
Z (E × E, F) = hδ e1 ,e1 , δ e2 ,e2 , δ e3 ,e3 i, by Lemma 6, B (E × E, F) is spanned by θ e∗3 . Let θ e∗3 =
i=1

Then α1 = α2 = 1, and α3 = 0.
hδ e1 ,e1 , δ e3 ,e3 i.

Hence B (E × E, F) = hδ e1 ,e1 + δ e2 ,e2 i and H (E × E, F) =

Suppose that Eθ = E⊕V is an evolution algebra then V V = 0 and so ann(Eθ ) ⊇ V 6= 0. It means
that by this way we construct evolution algebras with ann(Eθ ) 6= 0. Further, any evolution algebras
with ann (E) 6= 0 can be obtained by this way.
Lemma 9 Let E be an evolution algebra and ann (E) 6= 0. Then E is an annihilator extension of a
lower dimensional evolution algebra.
Proof. Suppose that E is an evolution algebra with a natural basis B = {e1 , . . . , en }. Let B ′ =
{er+1 , . . . , en } be a natural basis of ann (E) then the quotient E/ann (E) is an evolution algebra with
r
P
αi ēi ∈ E/ann (E) then we define
a natural basis B ′′ = {ēi = ei + ann (E) : 1 ≤ i ≤ r}. If x̄ =
an injective linear map σ : E/ann (E) −→ E by σ (x̄) =

r
P

i=1

αi ei . For any x̄, ȳ ∈ E/ann (E) we

i=1

have σ(x̄)σ(ȳ) − σ(x̄ȳ) ∈ ann (E) (let π : E −→ E/ann (E) be a projection map then π (σ (x̄)) = x̄
and hence σ(x̄)σ(ȳ) − σ(x̄ȳ) ∈ ker π). Then θ : E/ann (E) × E/ann (E) −→ ann (E) defined by
θ(x̄, ȳ) = σ(x̄)σ(ȳ)−σ(x̄ȳ) ∈ Z (E × E, V ). It remains to show that (E/ann (E))θ = E/ann (E)⊕ann (E)
is isomorphic to E. If x ∈ E, then x can be uniquely written as x = σ(ȳ) + z, where ȳ ∈ E/ann (E) and
z ∈ ann (E). Defining φ : E −→ (E/ann (E))θ by φ(x) = φ (σ(ȳ) + z) = ȳ + z, then φ is bijective and
φ(x1 x2 ) =
=
=

φ ((σ(ȳ1 ) + z1 )(σ(ȳ2 ) + z2 )) = φ(σ(ȳ1 )σ(ȳ2 ))
φ(σ(ȳ1 ȳ2 ) + θ(ȳ1 , ȳ2 )) = ȳ1 ȳ2 + θ(ȳ1 , ȳ2 )
(ȳ1 + z1 ) ⋆ (ȳ2 + z2 ) = φ(x1 ) ⋆ φ(x2 ).

Then φ is an isomorphism.
So in particular all nilpotent evolution algebras can be obtained by this way.
3

4

The Classification Method

In Section 3, Lemma 9, we show that a nilpotent evolution algebra E can be obtained as an annihilator
extension of M = E/ann (E) by V = ann (E). Now, suppose that Eθ is an annihilator extension of E by
V , if ann(Eθ ) 6= V then Eθ can be obtained as an annihilator extension of E/ann (E) by ann (E). So we
get Eθ as annihilator extensions of different algebras E and E/ann (E). Our aim is to avoid construct
the same algebra by different algebras.
Definition 10 Let θ ∈ Z (E × E, V ) then θ⊥ = {ei ∈ E : θ(ei , ei ) = 0} is called the radical of θ. If
n−m
P
θj (ei , ei ) em+j where θj ∈ Z (E × E, F), then
θ(ei , ei ) =
j=1

⊥
⊥
θ⊥ = θ⊥
1 ∩ θ 2 ∩ · · · ∩ θ n−m .


Lemma 11 Let θ ∈ Z (E × E, V ). Then ann(Eθ ) = θ ⊥ ∩ ann (E) ⊕ V.

2
2
Proof.
 If ei ∈ ann(E
 θ ) then ei ⋆ ei = ei + θ (ei , ei ) = 0, hence ei = θ (ei , ei ) = 0. It follows that
⊥
ei ∈ θ ∩ ann (E) ⊕ V . On the other hand, note that V ⊂ ann(Eθ ). If ei ∈ θ⊥ ∩ ann (E) then

ei ⋆ ei = e2i + θ (ei , ei ) = 0 and hence ei ∈ ann(Eθ ).

Corollary 12 Let θ ∈ Z (E × E, V ). Then ann(Eθ ) = V if and only if
θ⊥ ∩ ann (E) = 0.
Corollary 13 Let θ ∈ Z (E × E, V ) such that θ⊥ ∩ ann (E) = 0. Then Eθ can not be obtained as an
annihilator extension of a different algebra.
Proof. Consider ϑ ∈ Z(M × M, W ) such that ϑ⊥ ∩ ann(M) = 0. If Mϑ ∼
= Eθ , then ann (Mϑ ) ∼
=
ann (Eθ ). Hence M ∼
= E.
= Eθ /ann (Eθ ) ∼
= Mϑ /ann (Mϑ ) ∼
Thus to avoid constructing the same algebra as an annihilator extension of different algebras, we
restrict θ to be such that θ⊥ ∩ ann (E) = 0.
Suppose that E is an evolution algebra. Denote Aut (E) for the set of all automorphisms of E. Let
φ ∈ Aut (E). For θ ∈ Z (E × E, V ) defining φθ (ei , ei ) = θ (φ (ei ) , φ (ei )) then φθ ∈ Z (E × E, V ) if and
only if θ (φ (ei ) , φ (ej )) = 0 for all i 6= j.
m
P
cii δ ei ,ei ∈ Z (E × E, F). Then θ can be
Consider the matrix representation and assume that θ =
i=1


represented by an m × m diagonal matrix cii , and then φθ = φt cii φ. Hence φθ ∈ Z (E × E, V ) if
and only if φθ be a diagonal matrix.
Now, suppose that E be an evolution algebra with a natural basis BE = {e1 , . . . , em } and V
n−m
P
θ i (el , el )em+i , ϑ(el , el ) =
be a vector space with a basis BV = {em+1 , . . . , en }. Let θ(el , el ) =
i=1

n−m
P

⊥

⊥

ϑi (el , el )em+i ∈ H (E × E, V ) and θ ∩ ann (E) = ϑ ∩ ann (E) = 0, i.e., ann(Eθ ) = ann(Eϑ ) = V .

i=1

Assume that Eθ and Eϑ are isomorphic, let φ : Eθ −→ Eϑ be an isomorphism then φ (ann(Eθ )) =
ann(Eϑ ), i.e., ψ = φ |V ∈ Gl (V ). If φ (ei ) = yi + vi where yi ∈ E, vi ∈ V , then φ induces an
isomorphism φ0 : E −→ E defined by φ0 (ei ) = yi and a linear map f : E −→ V defined by f (ei ) = vi .
So, we can realize φ as a matrix of the form:


φ0 0
φ=
; φ0 ∈ Aut (E) , f ∈ Hom (E, V ) and ψ = φ |V ∈ Gl (V ) .
f ψ
Now, let x =

n
P

ai ei ∈ Eθ = E ⊕ V then

i=1

φ

n
X
i=1

ai e i

!

= φ0

m
X
i=1

ai e i

!

+f

m
X
i=1

4

ai e i

!

+ψ

n
X

i=m+1

ai e i

!

.

According to the definition of φ we have
φ

n
X

n
X

ai e i ⋆ Eθ

ai e i

i=1

i=1

L.H.S. =

!

m
X

φ
m
X
i=1

m
X

=

i=1

R.H.S. =
=

"

φ0

m
X

i=1


2

!

n
X

⋆ Eϑ φ

ai e i

i=1


e2i + θ(ei , ei )

!

.

!





a2i φ0 e2i + f e2i + ψ (θ(ei , ei ))



a2i φ0 e2i + (θf + ψ ◦ θ) (ei , ei ) .

ai e i

i=1

m
X

ai e i

i=1

ai

i=1

=

=φ

n
X

!#2

+ ϑ φ0

m
X

ai e i

i=1

!

, φ0

m
X

ai e i

i=1

!!




a2i φ0 e2i + φ0 ϑ(ei , ei ) .

This yields to:
φ0 ϑ(ei , ei ) = (θ f + ψ ◦ θ) (ei , ei ) for i = 1, 2, ..., m.

(1)

i.e., φ0 υ = θf + ψ ◦ θ ∈ Z (E × E, V ). Thus Eθ and Eϑ are isomorphic if and only if there exist
φ0 ∈ Aut (E) and ψ ∈ Gl (V ) such that φ0 υ = ψ ◦ θ modulo B (E × E, V ).
Note that for all i 6= j we have
0 = φ (ei ⋆Eθ ej ) = φ (ei ) ⋆Eϑ φ (ej ) = ϑ (φ0 (ei ) , φ0 (ej )) .
i.e., φ0 υ ∈ H (E × E, V ) .
n−m
P

Now, for 1 ≤ i ≤ n − m, if ψ (em+i ) =

aij em+j , then

j=1

n−m
X

φ0 ϑi (el , el )em+i =

θ i (el , el )ψ (em+i ) =

n−m
X n−m
X

aij θ i (el , el )em+j .

j=1 i=1

i=1

i=1

Hence φ0 ϑj =

n−m
X

n−m
P

aij θi modulo B (E × E, V ). It follows that the φ0 ϑi span the same subspace of

i=1

H (E × E, V ) as the θi . We have proved
Lemma 14 Let θ(el , el ) =

n−m
P

θi (el , el )em+i and ϑ(el , el ) =

n−m
P

ϑi (el , el )em+i be two elements of

i=1

i=1
⊥

H (E × E, V ). Suppose that θ ∩ ann (E) = ϑ⊥ ∩ ann (E) = 0. Then Eθ ∼
= Eϑ if and only if there is a
φ ∈ Aut (E) such that the φϑi span the same subspace of H (E × E, F) as the θi .
In case of θ = ϑ, we obtain from Equation (1) the following description of Aut(Eθ ).
Lemma 15 Let E be a nilpotent evolution algebra and θ ∈ H (E × E, V ) such that θ ⊥ ∩ ann (E) = 0.
Then Aut (Eθ ) consists of all linear operators of the matrix form


φ0 0
; φ0 ∈ Aut (E) , f ∈ Hom(E, V ) and ψ = φ |V ∈ Gl (V ) .
φ=
f ψ

such that φ0 θ(ei , ei ) = f e2i + ψ (θ(ei , ei )) for i = 1, 2, ..., m.

5

Let E be an evolution algebra with a natural basis BE = {e1 , . . . , em }.
If E =
he1 , .., er−1 , er+1 , .., em i ⊕ Fer is the direct sum of two nilpotent ideals, the 1-dimensional ideal Fer
is called an annihilator component of E. Any m-dimensional nilpotent evolution algebra with annihilator component is a 1-dimensional trivial extension of (m − 1)-dimensional nilpotent evolution algebra.
Our aim is to avoid construct nilpotent algebras with annihilator components, and hence when we
construct (n + 1)-dimensional nilpotent algebras, we have to add algebras E = I ⊕ Fen+1 where I be
a nilpotent algebra with a natural basis BI = {e1 , . . . , en }.
Lemma 16 Let θ(el , el ) =

n−m
P

θi (el , el )em+i and θ⊥ ∩ ann (E) = 0. Then Eθ has an annihilator

i=1

component if and only if θ1 , θ2 , . . . , θs are linearly dependent in H (E × E, F).
Proof. Suppose that Eθ has an annihilator component. Then we can write Eθ = I ⊕ Fem+r where
em+r ∈ V . Then
θ : E × E −→ hem+1 , . . . , em+r−1 , em+r+1 , . . . , en−m i ,
and hence θr = 0. Then θ 1 , θ2 , . . . , θn−m are linearly dependent. On the other hand, suppose that
s
P
ϑi (el , el )em+i where hϑi : i = 1, 2, . . . , si is a
θ1 , θ2 , . . . , θn−m are linearly dependent, let ϑ(el , el ) =
i=1

proper subspace of hθi : i = 1, 2, . . . , n − mi and span the same space as θi . Then by Lemma 14, we
have Eθ ∼
= Eϑ . It follows that Eθ has an annihilator component.
Suppose that E is an evolution algebra. For θ ∈ H (E × E, F), define a subgroup Sθ (E) of Aut (E)
by
Sθ (E) = {φ ∈ Aut (E) : θ (φ (ei ) , φ (ej )) = 0 ∀i 6= j} .
Now, we have a procedure takes a nilpotent evolution algebra E of dimension m with a natural
basis BE = {e1 , . . . , em } gives us all nilpotent evolution
  algebras Ẽ of dimension n with a natural basis
B = {e1 , . . . , em , em+1 , . . . , en } such that Ẽ/ann E˜ ∼
= E and Ẽ has no annihilator components. The
Ẽ

procedure runs as follows:

1. Determine Z (E × E, F) , B (E × E, F) and H (E × E, F).
2. Let V be a vector space with a basis BV = {em+1 , . . . , en }. Consider θ ∈ H (E × E, V ) with
θ(el , el ) =

n−m
X

θ i (el , el )em+i ,

i=1

where the θ i ∈ H (E × E, F) are linearly independent, and θ⊥ ∩ ann (E) = 0. Use the action of
Sθ (E) on θ by hand calculations to get a list of orbit representatives as small as possible.
3. For each orbit found, construct the corresponding algebra.

5

Nilpotent evolution algebras of dimension ≤ 3

In this section we present a complete classification of nilpotent evolution algebras of dimension ≤ 3.
We denote the j-th algebra of dimension i by Ei,j and among the natural basis of Ei,j the multiplication
is specified by giving only the nonzero products.

5.1

Nilpotent evolution algebras of dimension 1

Let E be an evolution algebra of dimension 1 with natural basis {e1 }. If E is nilpotent then ann (E) =
he1 i. Therefore, there is only one nilpotent evolution algebra of dimension 1, that is E1,1 with a natural
basis {e1 } and
E
E1,1

Multiplication Table
—————–

H (E × E, F)
hδ e1 ,e1 i

ann (E)
E1,1

Aut (E)
GL (E1,1 )

Table 1: One-dimensional nilpotent evolution algebras

6

5.2

Nilpotent evolution algebras of dimension 2

Here we consider the classification of 2-dimensional nilpotent algebras.
5.2.1

Nilpotent algebras with annihilator component

We consider the 1-dimensional trivial extensions ( corresponding to θ = 0) of algebras of dimension 1.
We get E2,1 = E1,1 ⊕ E1,1 .
5.2.2

Nilpotent algebras with no annihilator component

Here we consider 1-dimensional extensions of E1,1 . We get only one algebra E2,2 : e21 = e2 corresponding
to θ = δ e1 ,e1 .
Theorem 17 Up to isomorphism there exactly two nilpotent evolution algebras of dimension 2 with a
natural basis B = {e1 , e2 }over a field F which are isomorphic to the following pairwise non-isomorphic
algebras:
E
E2,1

Multiplication Table
—————–

B (E × E, F)
0

H (E × E, F)
hδ e1 ,e1 , δe2 ,e2 i

ann (E)
E2,1

E2,2

e21 = e2 .

hδ e1 ,e1 i

hδ e2 ,e2 i

he2 i

Aut (E)
GL
 (E2,1 ) 
a
0
φ = 11
a21 a211

Table 2: Two-dimensional nilpotent evolution algebras

5.3

Nilpotent evolution algebras of dimension 3

Here we classify three-dimensional nilpotent evolution algebras over arbitrary fields based on nilpotent
evolution algebras of dimension up to two.
5.3.1

Nilpotent algebras with annihilator component

Here we consider the 1-dimensional trivial extensions of algebras of dimension 2. We get E3,1 = E2,1 ⊕
E1,1 and E3,2 = E2,2 ⊕ E1,1 .
5.3.2

Nilpotent algebras with no annihilator component

1-dimensional extension of E2,1 :
Let θ = αδ e1 ,e1 + βδ e2 ,e2 and αβ 6= 0, otherwise θ⊥ ∩ ann(E2,1 ) 6= 0. The α−1 θ span the same
subspace in H (E × E, F) as θ, so we may assume α = 1. For any α, β ∈ F∗ , let θα = δ e1 ,e1 +αδ e2 ,e2 , θβ =
δ e1 ,e1 + βδ e2 ,e2 and assume that (E2,1 )θα is isomorphic to (E2,1 )θβ then by Lemma 14, there exist a




1 0
1 0
, it follows that
φ = λ
φ ∈ Aut (E2,1 ) and λ ∈ F∗ such that φθ α = λθβ . Thus φt
0 β
0 α


2

1 0
2
det φ
, then
α. On the other hand, assume β = δ α. Then φθ α = θβ where φ =
β = δ= λ
0 δ
by Lemma 14 (E2,1 )θα is isomorphic to (E2,1 )θβ . Hence (E2,1 )θα is isomorphic to (E2,1 )θβ if and only if
there is a δ ∈ F∗ such that β = δ 2 α. So we get the algebras:
α
E3,3
: e21 = e3 , e22 = αe3 ; α ∈ F∗ /F∗2 .
1-dimensional extension of E2,2 :
We get only one algebra E3,4 : e21 = e2 , e22 = e3 corresponding to θ = δ e2 ,e2 .
2-dimensional extension of E1,1 :
Here we have H(E1,1 × E1,1 , F) = hδ e1 ,e1 i, so there is no 2-dimensional extension of E1,1 .

7

Theorem 18 Up to isomorphism any 3-dimensional nilpotent evolution algebras with a natural basis
B = {e1 , e2 , e3 } over a field F is isomorphic to one of the following pairwise non-isomorphic nilpotent
evolution algebras:
E
E3,1

Multiplication Table
—————–

E3,2

e21 = e2 .

α∈F
E3,3

∗

F∗2

e21 = e3 , e22 = αe3 .

e21 = e2 , e22 = e3 .

E3,4

B (E × E, F)
0

H (E × E, F)
Sym (E3,1 )

ann (E)
E3,1

hδ e1 ,e1 i

hδ e2 ,e2 , δ e3 ,e3 i

he2 , e3 i

hδ e1 ,e1 + δ e2 ,e2 i

hδ e1 ,e1 , δ e3 ,e3 i

he3 i

hδ e1 ,e1 , δ e2 ,e2 i

hδ e3 ,e3 i

he3 i

Aut (E)
GL (E3,1 )
#
"
a11 0
0
φ = a21 a211 a23
a
0 a33
" 31
#
a11 a12 0
φ = a21 a22 0 ,
a31 a32 a33
a211 + αa221 = a33 ,
a212 + αa222 = αa33 ,
a11 a12
 + αa21 a22 = 0.

a11 0
0
φ =  0 a211 0 
a31 0 a411

Table 3: Three-dimensional nilpotent evolution algebras

From Theorem 18, up to isomorphism, the number of 3-dimensional nilpotent evolution algebras:
Over an algebraic closed field F is

Over R is

Over Q is

4

5

∞

Over any finite field is
5 if characteristic F is odd
4 if characteristic F is even

Table 4: Number of 3-dimensional nilpotent Evolution algebras

6

Nilpotent evolution algebras of dimension 4

In this section we present a complete classification of 4-dimensional nilpotent evolution algebras over
an algebraic closed field and R. We denote real nilpotent evolution algebras of dimension 4 by E4,j .

6.1

Nilpotent algebras with annihilator component

Here we consider the 1-dimensional trivial extension corresponding to θ = 0 of algebras of dimension
α=−1
α=1
3. We get E4,1 = E4,1 = E3,1 ⊕ E1,1 , E4,2 = E4,2 = E3,2 ⊕ E1,1 , E4,3 = E4,3 = E3,3
⊕ E1,1 , E4,4 = E3,3
⊕
E1,1 and E4,4 = E4,5 = E3,4 ⊕ E1,1 .

6.2

Nilpotent algebras with no annihilator component

1-dimensional extension of E3,1 :
Let θ = αδ e1 ,e1 + βδ e2 ,e2 + γδ e3 ,e3 and αβγ 6= 0. After dividing we may assume that θ = δ e1 ,e1 +
βδ e2 ,e2 + γδ e3 ,e3 and βγ 6= 0. Consider φ1 , φ2 , φ3 , φ4 ∈ Sθ (E3,1 ) such that
φ1

φ4

1
0
1
= 0 β − 2
0
0

0

0
=
1
(−γ)− 2




1
0
0  , φ2 = 0
1
γ− 2
0

0
1
− 21
0 .
(−β)
0
0

0
β

− 21

0



0
1
0  , φ3 = 0
−1
0
(−γ) 2

0
0
1

γ− 2


0
1
(−β)− 2  ,
0

• Over an algebraic closed field F:
Here β, γ are squares then φ1 θ = δ e1 ,e1 + δ e2 ,e2 + δ e3 ,e3 . So we get the algebra E4,5 : e21 = e22 =
e23 = e4 .
• Over the real field R:
8

–
–
–
–

If
If
If
If

β
β
β
β

> 0, γ
> 0, γ
< 0, γ
< 0, γ

>0
<0
>0
<0

then
then
then
then

φ1 θ
φ2 θ
φ3 θ
φ4 θ

= θ1 = δ e1 ,e1 + δ e2 ,e2 + δ e3 ,e3 .
= θ2 = δ e1 ,e1 + δ e2 ,e2 − δ e3 ,e3 .
= θ2 = δ e1 ,e1 + δ e2 ,e2 − δ e3 ,e3 .
= −θ2 = − (δ e1 ,e1 + δ e2 ,e2 − δ e3 ,e3 ).

Therefore we have two representatives θ1 , θ2 . It remains to decide isomorphism between
(E3,1 )θ1 , (E3,1 )θ2 . By Lemma 14, (E3,1 )θ1 is isomorphic to (E3,1 )θ2 if and only if there exist a
φ ∈ Aut (E3,1 ) and λ ∈ R∗ such that φθ1 = λθ 2 . This amounts to (among others) the equations:
a211 + a221 + a231 = λ, a212 + a222 + a232 = λ, a213 + a223 + a233 = −λ,
which never have a solution in R. Thus (E3,1 )θ1 , (E3,1 )θ2 are non-isomorphic. So we get only two
algebras:
E4,6 : e21 = e22 = e23 = e4 .
E4,7 : e21 = e22 = e4 , e23 = −e4 .
1-dimensional extension of E3,2 :
Let θ = αδ e2 ,e2 + βδ e3 ,e3 and αβ 6= 0. We can divide to get α = 1. So we may assume that
θ = δ e2 ,e2 + βδ e3 ,e3 . Consider φ1 , φ2 ∈ Sθ (E3,2 ) such that




1 0
0
1 0
0
0 .
0  , φ2 = 0 1
φ1 = 0 1
1
−1
0 0 β− 2
0 0 (−β) 2
• Over an algebraic closed field F:
Here β is a square then φ1 θ = δ e2 ,e2 + δ e3 ,e3 . So we get the algebra E4,6 : e21 = e2 , e22 = e23 = e4 .

• Over the real field R:
– If β > 0 then φ1 θ = θ 1 = δ e2 ,e2 + δ e3 ,e3 .
– If β < 0 then φ2 θ = θ 2 = δ e2 ,e2 − δ e3 ,e3 .
Suppose that φ ∈ Aut (E3,2 ) and λ ∈ R∗ such that φθ1 = λθ 2 . Then we get (among others) the
equations
a222 + a232 = λ, a233 = −λ,
which never have a solutions in R. Thus (E3,2 )θ1 , (E3,2 )θ2 are not isomorphic. So we get only
two algebras:
E4,8 : e21 = e2 , e22 = e23 = e4 .
E4,9 : e21 = e2 , e22 = e4 , e23 = −e4 .
α
1-dimensional extension of E3,3
:

Let θ = γδ e1 ,e1 + βδ e3 ,e3 and β 6= 0. After dividing we may assume that θ = γ (δ e1 ,e1 + αδ e2 ,e2 ) +
α
such that
δ e3 ,e3 . Consider φ1 , φ2 , φ3 ∈ Sθ E3,3





 1
1
1
(−γ) 2
0
0
0
0 0
0
(−γ) 2
γ2
1
1
1





φ1 =  0
(−γ) 2
0 , φ2 = 0 γ 2 0 , φ3 = (−γ) 2
0
0 .
0
0 γ
0
0
−γ
0
0
−γ
• Over an algebraic closed field F. In this case α = 1.
If γ = 0 then we get θ1 = δ e3 ,e3 . If γ 6= 0 then φ2 θ = γ 2 (δ e1 ,e1 + δ e3 ,e3 ). Then after dividing
α=1
and λ ∈ F∗ such that
we may assume that θ2 = δ e1 ,e1 + δ e3 ,e3 . Suppose that φ ∈ Aut E3,3
φθ1 = λθ2 .
a231 − a232 = λ, a233 = λ, a31 a32 = a31 a33 = a32 a33 = 0,


α=1
α=1
.Therefore we get the
is not isomorphic to E3,3
which never have a solution. So, E3,3
θ2
θ1
following non-isomorphic algebras:
E4,7 : e21 = e3 , e22 = e3 , e23 = e4 .
E4,8 : e21 = e3 + e4 , e22 = e3 , e23 = e4 .
9

• Over the real field R. In this case α = ±1.
Case1. α = 1:
– If γ = 0, then we get θ1 = δ e3 ,e3 .

α=1
×E α=1
– If γ < 0 then φ3 θ = γ 2 (−δ e2 ,e2 + δ e3 ,e3 ). Since B E3,3
3,3 , R = hδ e1 ,e1 + δ e2 ,e2 i,

α=1
2
×E α=1
δ e1 ,e1 = −δ e2 ,e2 in H E3,3
3,3 , R . So, φ3 θ = γ (δ e1 ,e1 + δ e3 ,e3 ). So after dividing we
may assume that θ2 = δ e1 ,e1 + δ e3 ,e3 .

– If γ > 0 then φ2 θ = γ 2 (δ e1 ,e1 + δ e3 ,e3 ). Therefore we a gain get θ2 = δ e1 ,e1 + δ e3 ,e3 .

α=1
and λ ∈ F∗ such that φθ1 = λθ 2 . This then amounts to the
Suppose that φ ∈ Aut E3,3
following equations:

a231 − a232 = λ, a233 = λ, a31 a32 = a31 a33 = a32 a33 = 0,


α=1
α=1
which never have a solution in R. So, E3,3
is not isomorphic to E3,3
.Therefore we get
θ1
θ2
the following non-isomorphic algebras:
E4,10 : e21 = e3 , e22 = e3 , e23 = e4 .
E4,11 : e21 = e3 + e4 , e22 = e3 , e23 = e4 .
Case 2. α = −1:
– If γ = 0 then we get θ1 = δ e3 ,e3 .
– If γ < 0 then φ3 θ = −γ 2 (δ e1 ,e1 − δ e3 ,e3 ). So after dividing we may assume that θ2 =
δ e1 ,e1 − δ e3 ,e3 .
– If γ > 0 then φ2 θ = γ 2 (δ e1 ,e1 + δ e3 ,e3 ). So after dividing we may assume that θ3 =
δ e1 ,e1 + δ e3 ,e3 .

α=−1
and λ ∈ R∗ such that φθ1 = λθ2 . Then we get the
Firstly, suppose that φ ∈ Aut E3,3
following equations
a231 + a232 = λ, a233 = −λ, a31 a32 = a31 a33 = a32 a33 = 0,


α=−1
α=−1
.
is not isomorphic to E3,3
which never have a solution in R. So E3,3
θ2
θ1

α=−1
and λ ∈ R∗ such that φθ 1 = λθ3 . Then we get the equations
Next, suppose that φ ∈ Aut E3,3
a231 + a232 = λ, a233 = λ, a31 a32 = a31 a33 = a32 a33 = 0,


α=−1
α=−1
which never have a solution in R. So E3,3
is not isomorphic to E3,3
.
θ1
θ3

α=−1
and λ ∈ R∗ such that φθ3 = λθ2 . Then we get (among
Finally, suppose that φ ∈ Aut E3,3
others) the equations
a211 + a231 + a212 + a232 = λ, a233 = −λ,


α=−1
α=−1
. Hence we get
is not isomorphic to E3,3
which never have a solution in R. So E3,3
θ3
θ2
the following pairwise non-isomorphic algebras:
E4,12 : e21 = e3 , e22 = −e3 , e23 = e4 .
E4,13 : e21 = e3 + e4 , e22 = −e3 , e23 = −e4 .
E4,14 : e21 = e3 + e4 , e22 = −e3 , e23 = e4 .
1-dimensional extension of E3,4 :
• Over an algebraic closed field F:
Since H (E3,4 ×E 3,4 , F) = hδ e3 ,e3 i, we get only one algebra E4,9 : e21 = e2 , e22 = e3 , e23 = e4 .
• Over the real field R:
Also, H (E3,4 ×E 3,4 , R) = hδ e3 ,e3 i. So, we get only one algebra E4,15 : e21 = e2 , e22 = e3 , e23 = e4 .
2-dimensional extension of E2,1 :
10

• Over an algebraic closed field F:
As H (E2,1 ×E 2,1 , F) = hδ e1 ,e1 , δ e2 ,e2 i, we get only one algebra E4,10 : e21 = e3 , e22 = e4 .
• Over the real field R:
Also, H (E2,1 ×E 2,1 , R) = hδ e1 ,e1 , δ e2 ,e2 i and so we get only one algebra E4,16 : e21 = e3 , e22 = e4 .
2-dimensional extension of E2,2 :
Here H (E2,2 × E2,2 , F) = hδ e2 ,e2 i and hence E2,2 has no 2-dimensional extension.
3-dimensional extension of E1,1 :
Here H (E1,1 × E1,1 , F) = hδ e1 ,e1 i and hence E1,1 has no 3-dimensional extension.
Theorem 19 Up to isomorphism there exist 10 nilpotent evolution algebras of dimension four with a
natural basis B = {e1 , e2 , e3 , e4 } over an algebraic closed field F which are isomorphic to one of the
following pairwise non-isomorphic nilpotent evolution algebras:
• E4,1 : All products are zeros.
• E4,2 : e21 = e2 .
• E4,3 : e21 = e3 , e22 = e3 .
• E4,4 : e21 = e2 , e22 = e3 .
• E4,5 : e21 = e4 , e22 = e4 , e23 = e4 .
• E4,6 : e21 = e2 , e22 = e4 , e23 = e4 .
• E4,7 : e21 = e3 , e22 = e3 , e23 = e4 .
• E4,8 : e21 = e3 + e4 , e22 = e3 , e23 = e4 .
• E4,9 : e21 = e2 , e22 = e3 , e23 = e4 .
• E4,10 : e21 = e3 , e22 = e4 .
Theorem 20 Up to isomorphism there exist 16 nilpotent evolution algebras of dimension four with a
natural basis B = {e1 , e2 , e3 , e4 } over R which are isomorphic to one of the following pairwise nonisomorphic nilpotent evolution algebras:
• E4,1 : All products are zeros.
• E4,2 : e21 = e2 .
• E4,3 : e21 = e3 , e22 = e3 .
• E4,4 : e21 = e3 , e22 = −e3 .
• E4,5 : e21 = e2 , e22 = e3 .
• E4,6 : e21 = e4 , e22 = e4 , e23 = e4 .
• E4,7 : e21 = e4 , e22 = e4 , e23 = −e4 .
• E4,8 : e21 = e2 , e22 = e4 , e23 = e4 .
• E4,9 : e21 = e2 , e22 = e4 , e23 = −e4 .
• E4,10 : e21 = e3 , e22 = e3 , e23 = e4 .
• E4,11 : e21 = e3 + e4 , e22 = e3 , e23 = e4 .
• E4,12 : e21 = e3 , e22 = −e3 , e23 = e4 .
• E4,13 : e21 = e3 + e4 , e22 = −e3 , e23 = −e4 .
• E4,14 : e21 = e3 + e4 , e22 = −e3 , e23 = e4 .
• E4,15 : e21 = e2 , e22 = e3 , e23 = e4
• E4,16 : e21 = e3 , e22 = e4 .
11

References
[1] J. Ancochea Bermudez, J. Fresan, J. Bentabol, Contractions of Low-Dimensional Nilpotent Jordan
Algebras, Communications In Algebra. 39 (2011) 1139–1151.
[2] L. Camacho, J. Gomez, B. Omirov, R. Turdibaev, Some properties of evolution algebras, Bulletin
Of The Korean Mathematical Society. 50 (2013) 1481–1494.
[3] J. Casas, M. Ladra, B. Omirov, U. Rozikov, On Evolution Algebras, Algebra Colloq. 21 (2014)
331–342.
[4] J. Casas, M. Ladra, B. Omirov, U. Rozikov, On nilpotent index and dibaricity of evolution
algebras, Linear Algebra And Its Applications. 439 (2013) 90–105.
[5] A. Elduque, A. Labra, Evolution algebras and graphs, arxiv.org. (2013).
[6] A. Hegazi, Classification of Nilpotent Lie Superalgebras of Dimension Five. I, International Journal
Of Theoretical Physics. 38 (1999) 1735–1739.
[7] G. Mazzola, Generic finite schemes and Hochschild cocycles, Commentarii Mathematici Helvetici.
55 (1980) 267–293.
[8] U. Rozikov, J. Tian, Evolution algebras generated by Gibbs measures, Lobachevskii Journal Of
Mathematics. 32 (2011) 270–277.
[9] C. Seeley, 7-Dimensional Nilpotent Lie Algebras, Transactions Of The American Mathematical
Society. 335 (1993) 479.
[10] J. Tian, P. Vojtechovsky, Mathematical concepts of evolution algebras in non-Mendelian genetics,
in: Quasigroups and Related Systems, 2006: pp. 111–122.
[11] J. Tian, Evolution algebras and their applications, Springer, Berlin, 2008.
[12] J. Tian, Y. Zou, Finitely generated nil but not nilpotent evolution algebras, J. Algebra Appl. 13
(2014) 1350070.

12

