1. Introduction
Mathematics and biology are intimately tied, and genetic algebras are an example of this link, as these are algebras with biological meanings. In this paper we are going to work with evolution algebras, kinds of genetic algebra introduced by Tian in [
1] in 2008 that are used to model non-Mendelian genetics laws, although this is not their only application. In fact, they are strongly connected with group theory, Markov processes, the theory of knots, dynamic systems and graph theory. Due to the versatility of these algebras, the amount of literature studying them has grown immensely since 2008. In [
2], the authors studied the relationship between evolution algebras and the spaces of functions defined by the Gibbs measure of a graph, which led into direct applications in biology, physics and mathematics itself. In works such as [
3,
4,
5,
6,
7,
8,
9,
10] they studied purely mathematical notions, such as nilpotency and solvency of evolution algebras, as well as the interpretation of these mathematical notions, relating, for example, the nilpotency of an element to gametes that go extinct after some generations. Chains of evolution algebras were studied in [
11,
12,
13,
14]. These are dynamic systems where the state of each system can be seen as an evolution algebra. Some derivatives of evolution algebras were studied in [
1,
15,
16].
An important topic is the classification of evolution algebras of a given dimension up to isomorphism. There are several papers related with classification of evolution algebras, such as [
17,
18,
19,
20,
21,
22,
23,
24]. The first classification of evolution algebras of dimension two was given in [
6], and some years later, in [
17] (as part of a doctoral thesis [
25]) another classification of these evolution algebras was provided, together with a classification of three dimensional evolution algebras into 116 non-isomorphic types.
Classifying a class of algebras consists of determining a classification criterion; i.e., defining different types of these algebras such that these different types are non-isomorphic to each other and such that each algebra belongs to exactly one of these types. In an intuitive way, we are constructing a cupboard with different drawers, in a such a way that each of the elements we are classifying belongs to one (and only one) of those drawers, but you can have more than one thing in each one. Nevertheless, if we change the shape of the drawers, the final cupboard will look completely different, even if it contains the same objects. As mentioned before, in [
17] evolution algebras of dimension three were classified into 116 types of non-isomorphic evolution algebras. In this paper, we classify three-dimensional evolution algebras into 14 non-isomorphic types (Theorem 11). To do so, our classifying criteria are be based on distinguishing whether these algebras are degenerate or not and whether they are reducible or not. In the case of irreducible, non-degenerate algebras we differentiate three situations: when they have a basic ideal of dimension one and none of dimension two, when they have a two-dimensional basic ideal and they do not have a one dimensional basic ideal and when they have no basic ideals. According to the same criteria, we also obtain a classification of two-dimensional evolution algebras (Theorem 3). This shall be helpful for the classification of reducible three-dimensional evolution algebras. Since we reduce the study of evolution algebras of dimension three to 14 non-isomorphic types, this classification is much more practical than the classification provided in [
17].
Note that every weighted digraph with three nodes is associated to an evolution algebra with dimension three in a one-to-one way. So, with this classification for evolution algebras we also have a classification of weighted digraphs with three vertices, particularly of discrete Markov processes with a state space of size three, as Markov processes are particular cases of evolution algebras. As a matter of fact, Markov processes are evolution algebras whose structure matrix is stochastic.
2. Basic Background
As the problem addressed in this paper is that of classifying evolution algebras of dimension two and three, in what follows we shall consider only evolution algebras of finite dimensions. Also, the algebras considered are defined over a field (where or ).
We recall that an
evolution algebra is an algebra
A that has a natural basis
, which is a basis of
A such that
if
. For a fixed natural basis
B, the square of each element can be written as
, and so, we can define the
structure matrix of A relative to B in the following way
where the
ith column is given by the coefficients of
with respect to
B. When the basis
B is clear we shall refer to this matrix as the structure matrix of
A, without any further specification to
B. This matrix determines the
product of
Indeed, given
and
elements of
A, it follows that
, where
The next definition shall be useful to understand whether the natural basis is essentially unique or not.
Definition 1. Let A be an evolution algebra with dimension , and let B and be two natural basis of A. We say that B and are related if and , where τ is a permutation of the set and are non-zero scalars.
In the next result, we shall see that, if the structure matrix of an evolution algebra A relative to one natural basis has non-zero determinant, then the natural basis is “essentially unique.”
Proposition 1. Let A be an evolution algebra. Let be a natural basis of A and the corresponding structure matrix of A relative to B. Suppose that . Then any other natural basis of A is related to and moreover,
Proof. Since
the condition
is equivalent to
Thus, if
, since
we obtain that
, as
must also be linearly independent. Now, consider
for all
such that
Consider , which has a maximum of elements. Fix i in There must exist such that ; otherwise, we would have (a contradiction). Thus, . But as for all we have that and as ,..., are linearly independent; then, whenever . Thus, it must be for all as . Rephrasing what we just obtained, for each there is at most one sub-index i such that . Then, , which immediately implies that . But as said before, each is non-zero, so we must have that there exists a unique such that , and the result is clear. □
We shall now explain how to assign a graph to each evolution algebra. At first, it might depend on the natural basis selected, although we shall see that in some situations this graph is again “essentially unique.” For a discussion about this topic see [
3].
Definition 2. Let be a natural basis of an evolution algebra A, and its structure matrix. The graph associated to A with respect to is the graph whose set of vertices is B and the adjacency matrix is . The simplified graph associated to A with respect to is defined as the associated graph but without taking into account the weights; i.e., just considering whether there is a link between two vertices or not. Again, whenever the basis is clear, we shall speak about the graph (respectively simplified graph) associated to A, without any further specification.
Example 1. Let A be an evolution algebra with dimension 3, and consider a natural base being Then, the structure matrix is given by while the associated graph is When we ignore the weigths of the arrows of the graph we obtain the corresponding simplified graph: We shall see now how the structure matrix changes when we multiply the elements of the natural basis by non-zero scalars, and how it affects the associated graph.
Proposition 2. Let A be an evolution algebra, a natural basis, and the structure matrix of A relative to B. If are non-zero scalars, then is a natural basis of A and its structure matrix is given by Thus, the corresponding simplified graphs of A with respect to B and coincide.
Proof. Taking into account that
the conclusion is obtained straightforwardly. □
Corollary 1. Let A be an evolution algebra and let B and be related natural basis. Then, the simplified graphs of A associated to B and respectively coincide, up to relabelling of the vertices.
Proof. The result follows from the above result together with the following fact: if is a natural basis and is a permutation of the set , then is another natural basis whose associated graph coincides with the graph associated to B up to relabelling of the vertices if needed. □
Corollary 2. Let and be two evolution algebras with finite dimensions. Let B be a natural basis of such that and let be an algebra isomorphism. Then:
- (i)
defines a natural basis of such that
- (ii)
Every two natural basis of (respectively of ) are related.
Proof. As is an algebra isomorphism, it is clear that is a natural basis of . Let . As are linearly independent and , we conclude that are also linearly independent, and so Then, as a consequence of Proposition 1, we can conclude that any two natural bases of (respectively of ) are related. □
We see that whenever the structure matrix of an evolution algebra A associated to a natural basis B has non-zero determinant, then the basis as well as the associated graph are essentially unique (in fact, all the natural bases are related and the simplified associated graph is unique). This leads to a result which is useful to proving that two evolution algebras are non-isomorphic.
Corollary 3. Let and be two evolution algebras with dimension Let and be natural bases of and respectively. If and the simplified graph of associated to does not coincide with the simplified graph of associated to (up to relabelling the vertices), then and are non-isomorphic.
Proof. If there exists an isomorphism , then defines a natural basis on which is related to by Proposition 1. Thus, by Corollary 1, the simplified graphs with respect to these natural bases coincide, and therefore, the result follows. □
Definition 3. An evolution algebra A is non-degenerate ifand we say it is degenerate if . As proven in ([3], Proposition 2.28), the latter is equivalent to the fact that any natural basis of A contains elements with zero square. Definition 4. Let A be an algebra. An idea l of A is a linear subspace I such that and (note that for commutative algebras ). This means that, the quotient linear space is an algebra with the canonical product for .
We say that an ideal I is basic if there exists a natural basis of A such that where This means that the ideal I is an evolution subalgebra provided with a natural basis that can be extended to a natural basis of
Note that if is a natural basis of I that is contained in a natural basis of A, and if is another natural basis of I, then is a natural basis of A containing .
In [
17] basic ideals are called evolution ideals with the extension property; meanwhile, in [
10] they are simply called ideals. Note that the image of a basic ideal by a homomorphism is a basic ideal. For a discussion about the above notions with explanatory examples, see [
3].
Definition 5. An evolution algebra A is reducible if there exists non-zero proper ideals I and J such that If A is not reducible then we say that it is irreducible.
The following result was proven in [
3], where the problem of the reducibility of an evolution algebra was deeply studied.
Theorem 1. Let A be a non-degenerate evolution algebra and a natural basis of A. Then, A is reducible if and only if for some reorganisation of B the structure matrix is of the typewith , and , matrices with entries in . In this case, we have that where I and J are the ideals given by and .
Note that the ideals I and J given in the above theorem are basic ideals, so that A is reducible as a direct sum of ideals if and only if A is reducible as a direct sum of basic ideals.
Before starting the study of the two-dimensional and three-dimensional evolution algebras, we need to clarify the notation we shall be using. From now on, a non-zero entry of a matrix shall be denoted by *. Note that two symbols * in the same matrix may represent different (non-zero) values.
3. Classification of Two-Dimensional Evolution Algebras
In this section, we make a classification of two-dimensional evolution algebras taking into account the following properties: whether they are irreducible or not and whether they are degenerate or not.
As we can see in the following result, the degenerate case is easy to study.
Theorem 2. Let A be a two-dimensional degenerate evolution algebra. Then:
- (i)
A is irreducible if and only if there exists a natural basis B of the evolution algebra A such that the structure matrix is
- (ii)
A is reducible if and only if there exists a natural basis B of A such that either or
where * denotes a non-zero scalar and .
Proof. Let
be a natural basis of the evolution algebra
A and denote by
the canonical projection of
A on the subspace
for
. As
A is degenerate, we know that
for some
(according to [
3], Proposition 2.28).
Case 1.
. Then
where
and
and
Case 2. One of the elements of the natural basis has a zero square while the other has a non-zero square. We suppose that and (which is not restrictive). Hence, where , with at least one of those scalars being non-zero.
Case 2.1. Suppose that . Then with , so A is irreducible. In fact, assume the contradiction that I and J are non-zero proper ideals, such that . Then, we can suppose that (which is not restrictive, as it cannot be ). It follows that , and so, . Thus, , a contradiction, as the decomposition is non-trivial. Consequently, if , then A is irreducible.
Case 2.2. Suppose that Then, as , the structure matrix is with and . Then, with and □
In order to study the non-degenerate case, the following corollary is useful.
Lemma 1. Let A be an evolutionary algebra, a natural basis and the corresponding structure matrix. Then the structure matrix of A related to the natural basis is given by
Proof. If where and is clear that and as and □
Corollary 4. Let A be a non-degenerate evolution algebra, a natural basis and the corresponding structure matrix. Then A is reducible if and only if , in which case
Proof. Since the only possible reordination of B is and the corresponding structure matrix is from the above lemma, the result follows from Theorem 1, jointly with the fact that the columns of cannot be zero because A is non-degenerate. □
Theorem 3. Let A be a non-degenerate evolution algebra, with . Then:
- (i)
A is reducible if and only if there exists a natural basis B of A such that
- (ii)
A is irreducible if and only if there exists a natural basis B of A such that either or with .
Proof. As
A is a non-degenerate evolution algebra, by Corollary 4, we obtain that
A is reducible if and only if the structure matrix of
A respect any natural basis
B is of the type
Let us suppose now that
A is irreducible and let
be a natural basis. Then, by Corollary 4, and keeping in mind that
A is non-degenerate, it is clear that
must be in one of the following cases:
Moreover, as
A is non-degenerate, we have that the structure matrix must be in one of the following cases:
We can see that both
and
lead to the same evolution algebra. In fact, by switching if needed the elements of the basis (see Corollary 4) we obtain
. The case
produces the following situations:
If in the situation we switch the elements of the basis then we get , a matrix of the type as desired. □
We can gather all this information in the following theorem, where we shall show, additionally, that he evolution algebras that we have found are not isomorphic.
Theorem 4. Let A be a two-dimensional evolution algebra. Then, A is one of the following non-isomorphic ones, where and
is such that and
is such that , and
is such that and and
is such that and and
is such that and and
is such that with
As a matter of fact, we have the following classification: | Degenerate | Non-Degenerate |
Reducible | , | |
Irreducible | | , |
Proof. Let us consider the matrices
The evolution algebras described above have a natural basis whose corresponding structure matrix is with . By Theorem 2 we know that whenever A is degenerate, then A is reducible if and only if there exists a natural basis such that its corresponding structure matrix is like either or . Meanwhile, A is irreducible if and only if A has a natural basis which structure matrix is like If A is non-degenerate, A is reducible if and only if there exists a basis for which structure matrix is of the type , as it is shown in Theorem 3. Moreover, by this last result, if A is non-degenerate, then A is irreducible if the structure matrix for some natural basis is either or If the structure matrix of A is of the type of , then it is within , whereas M can be identified with if or with if
Now, we just need to prove that these evolution algebras are non-isomorphic. In order to do so, we need to take into account that the properties of being degenerate and being irreducible are maintained by algebra isomorphisms. Thus, and cannot be isomorphic to any of the others. To verify that and are non-isomorphic, we just need to realise that is a zero-product evolution algebra while is not. To check that and are not isomorphic, note that if , then the conclusion follows from Corollary 2 as . Otherwise, we have and , but then the simplified associated graphs do not coincide because the corresponding to has a loop and the given by does not have any loop, and Corollary 3 applies. □
4. Classification of Three-Dimensional Evolution Algebras
In order to start with this classification, we need to see the different structure matrices that we can obtain by just reordering the elements of a natural basis of a three-dimensional evolution algebra. As seen before, if is a natural basis of an evolution algebra, and is a permutation of the set , then is a natural basis of A. We shall describe below the structure matrix associated to each possible reorganisation of a natural basis
Lemma 2. Let A be an evolution algebra and a natural basis. Let σ be a permutation of the set . If the structure matrix of A relative to B is given by , then the corresponding structure matrix of A relative to is where Proof. Straightforward. □
We can easily check that, for all permutation
of the set
the corresponding associated graphs to
are identical up to relabelling of the vertices (and coincide with the one associated to
), as seen in
Section 2.
From Theorem 1 (see also Remark 5.7 in [
3]) we deduce the following result:
Corollary 5. Let A be a non-degenerate evolution algebra and a natural basis. Then, A is reducible if an only if is within one of the following types of matrices:with , Proof. By the Theorem 1 we have that A is reducible if and only if the structure matrix of some reordenation of B is diagonal by blocks (that is like either or ). Taking into account the Lemma 2, the result follows. □
Proposition 3. A three-dimensional evolution algebra A has a two-dimensional basic ideal if and only if there exists a natural basis B with respect to which the structure matrix is of one of the following types of matrices: Proof. If and if I is a basic ideal of dimension 2 associated to B then, either or or The result follows from the fact that is an ideal of A if and only is like for , respectively. □
Finally, we shall see the relationship between two structure matrices
and
of an evolution algebra
A associated to two different natural bases
B and
. This can be seen in [
1], but we shall also show the proof for completeness.
Proposition 4. Let A be an evolution algebra; consider and two natural bases of A; and let and be the corresponding structure matrices. If for thenis a nonsingular matrix such that , where Proof. Consider the structure matrices associated, respectively, to both basis:
If
for
and
then we have,
where
But also
and so
Hence as desired. □
4.1. The Non-Degenerate Case
According to Theorem 1, if an evolution algebra A has no basic proper ideals then A is irreducible. In particular, if and A has no basic ideals of dimension two, then A is irreducible. In the following result we shall characterize this fact for a particular type of evolution algebra. Recall that two * symbols in the same matrix do not necessarily have the same non-zero value.
Lemma 3. Let A be an evolution algebra with a natural basis with respect to which the structure matrix is likewith . Then, A has a basic ideal with dimension 2 if and only if with and Proof. Suppose that
I is a basic ideal of
A with
Since it cannot be
(as the ideal
I has dimension 2), we obtain that
belongs to
I. In fact, either
or
. Thus, if
is such that
, then
for some
, and hence,
. Similarly if
then
and if follows that
as
. Consequently
. Therefore,
and
. Since
I is a basic ideal, there exists
such that
is a natural basis of
From
we obtain that
, and hence,
where
. Since,
it follows that
and
simultaneously, as
and
Hence, we obtain that
and
are proportional and non-zero. In fact,
with
. Moreover, as
and
are linearly independent we obtain that
Thus,
and so
Conversely, if with , then it follows that is a natural basis of A and is a proper two-dimensional basic ideal. □
Theorem 5. Let A be a three-dimensional, irreducible, non-degenerate evolution algebra. Then, A has a one-dimensional basic ideal and has no two-dimensional basic ideals if and only if A has a natural basis B such that the structure matrix is within the following types (non-isomorphic each other), where * denotes a non-zero scalar and
- (i)
with
- (ii)
with
- (iii)
with and either or having no proportional columns.
Proof. For the sufficient condition, suppose that
A has a natural basis of type
,
or
Then
A has a basic ideal with dimension 1 (namely
). Moreover,
A does not have a basic ideal with dimension 2. In the case of
and
this last assertion follows from the fact that all the natural basis of
A are related by Propositon 1, and from Lemma 2 none of the related natural basis of
or
are of the type
which together with Proposition 3 shows that
A does not have any two-dimensional basic ideals. In the case of
, it follows from Lemma 3 that
A does not have any two-dimensional basic ideals.
For the necessary condition, suppose that
A has a basic ideal of dimension one and does not have any two-dimensional basic ideals. Then, it is not restrictive to assume that
is a one-dimensional basic ideal. On the other hand, by Proposition 3, we have that
is not in any of the situations of (
2) (otherwise
A has a two-dimensional basic ideal). As
A is non-degenerate and
is a basic ideal we have that
In order to not be in the cases of (
2), we must have
Still, this matrix could be of the type
in (
2). Consequently we have the two following possibilities:
Case 1.
Again because of (
2) we must have
. Therefore,
is of type
.
Case 2. Here we have either or .
Case 2.1. We consider the following situations:
Case 2.1.1. with and we are within the type
Case 2.1.2. with . Therefore we have that so and Consequently, with , which is included in with By Lemma 3 either with no proportional columns or, otherwise.
Finally, note that these three types of algebra are not isomorphic. In fact, if is an evolution algebra with a structure matrix of the type respectively, for then obviously with is not isomorphic to because and for . Also, from Corollary 2 all the natural basis of are related, and from Lemma 2 we know that does not have a related structure matrix of the type Therefore, and are not isomorphic. □
Theorem 6. Let A be an irreducible, three-dimensional, non-degenerate evolution algebra. Then, A has a basic ideal of dimension two if and only if there exists a natural basis B such that the structure matrix associated is within the following type, where * denotes a non-zero scalar and : Proof. As
A has a two-dimensional basic ideal, there is a natural basis
B such that the structure matrix is
Also, by Theorem 1, we have that the two first entries of the third column cannot be zero simultaneously (otherwise
A is reducible). We have then two possibilities:
In addition, we cannot have the following cases
as in the first one
with
and
, and in the second one
with
and
Hence, applying this to (
3) we have either
with
Nevertheless, if
is such that
and we consider
, then the structure matrix relative to the new natural basis is
So in both cases we arrive (after reorganisation of the basis if needed) at a structure matrix of the type
and non-zero columns.
Reciprocally, if A is an evolution algebra and B a natural basis of A such that the structure matrix associated to it is without zero columns and with , then is a basic ideal of A and by Corollary 5 it is clear that A is irreducible. □
Lemma 4. Let A be a non-degenerate evolution algebra such that Then, is a basic ideal if and only if there exists a natural basis such thatwith non zero columns and , for Proof. If
is a proper basic ideal with
, then there exists a natural basis
such that
. Thus,
for every
As
B is a natural basis, there exist
for
such that
Equivalently, the structure matrix of
A relative to
B is
Since
for
and
as
A is non-degenerate,
. Thus,
and
is such that
. Clearly, all columns are non-zero, as
A is a non-degenerate algebra.
Conversely, suppose there exists a natural basis
such that the structure matrix of
A is given by (
5). Then
is a basic ideal with dimension 2, as desired. □
Lemma 5. Let A be an evolution algebra and let be a natural basis such that the structure matrix of A relative to B is of the type If then A has proper basic ideals.
Proof. If
then
and
, so
, a contradiction. Thus,
and hence, since the columns of
are proportional, as
we have
with
We shall split the proof in two cases:
Case 1. . Then, is a natural basis of A and is a basic ideal of A.
Case 2.
. Then,
, so
. Thus,
Let us consider
Then, by applying Proposition 2 with
and
we get that
and
We shall consider two different cases again.
Case 2.1. . Then, is a natural basis and is a basic ideal of dimension two.
Case 2.2.
. Then,
Let us consider now
By applying Proposition 2 with
and
we have,
Thus, , where is a natural basis of A and is the ideal generated by Note that is a basic proper one-dimensional ideal. □
From Theorem 1 we can deduce that whenever a non-degenerate evolution algebra A has no basic ideals of dimension one or two, then A is irreducible. We shall obtain a necessary and sufficient condition for this property.
Lemma 6. Let A be a non-degenerate three-dimensional evolution algebra with no proper basic ideals, and let be the structure matrix of A with respect to a natural basis Then cannot be within any of the following types of matrices Proof. If with then is a basic ideal of dimension 1 (with respectively). Similarly, by Proposition 3, the structure matrix of A has to be different from for , as otherwise A has a basic ideal of dimension two (namely, , and respectively). □
Theorem 7. Let A be a non-degenerate three-dimensional evolution algebra with no proper basic ideals. Then, A has a natural basis such that Moreover, B can be reordered in a way such that either Proof. First, we shall see that whenever
is like (
6), then
B can be reordered such that either
or
Indeed, if
then
Otherwise,
and so
Then either
But the latter case is gathered in
If we consider the reordering
then, by Lemma 2, we have
which proves the claim.
We shall prove now that whenever
A is non-degenerate and has no proper basic ideals, then
A has a natural basis
such that
We shall split the proof into the following two cases: and (Cases 1 and 2).
Case 1. By Lemma 6 we must have . Again by Lemma 6 the choices are the following:
Case 1.1
which is a particular case of
which is equivalent to
by (
7).
Case 1.2 Hence, again from Lemma 6, we have , so we arrive to
Case 2. Here we consider the following situations:
Case 2.1 By Lemma 6 we have that but this is a particular case of .
Case 2.2
We have the following possibilities:
Case 2.2.1 Since by Lemma 6 we cannot have then we get the cases and
Case 2.2.1.1
. This is a particular case of
that is equivalent to
by (
7).
Case 2.2.1.2
Here we have either
or
The matrix
is gathered in
For the case
the choices are
The first one is equivalent to
for
and the second one is contained in the case
and hence in
by (
7).
Case 2.2.2. From Lemma 6, we arrive to Now the choices are either or The first case is contained in for . For the second one, by Lemma 6, we obtain which is equivalent to by considering . □
Corollary 6. Let A be a non-degenerate three-dimensional evolution algebra. Then the following assertions are equivalent:
- (i)
A has no basic proper ideals;
- (ii)
A has a natural basis B with respect to which,and either or , and there does not exist a nonsingular matrix P such that where is a matrix of the type
Proof. Let us suppose that
A has no basic proper ideals. Then, by Theorem 7 there is a natural basis
B such that its structure matrix is within the type (
9). Also, by Lemma 5 we know that if
,
A has basic ideals. If
then
A has no proper ideals. Indeed, as
and
cannot be zero simultaneously, it follows that every non-zero ideal
I contains
If
the conclusion follows from Lemma 4 joint with Proposition 4 (In this last case, the entries of third row of
cannot be zero simultaneously).
Whenever
A has a structure matrix of the type (
9), then any ideal contains
. Hence, if
then the conclusion is clear, and if
, then by Lemma 4,
A cannot have a proper ideal. □
The following result is nothing but Corollary 6 in the particular case that : keep in mind Proposition 4 and the fact that the associated graph to a natural basis does not have a source in if and only if the ith row of the structure matrix associated to B is a zero row.
Corollary 7. Let A be a non-degenerate evolution algebra with Then A has no proper basic ideals if and only if A has a natural basis respect to which the structure matrix is of the type (9) and all the natural bases of A have an associated graph with no source vertices (this is a graph such that every vertex has some incoming edge). We shall study now when a non-degenerate evolution algebra
A is reducible. In this case,
where
and it has no zero product (otherwise
A is degenerate) and
with
J a non-degenerate two-dimensional basic ideal. Therefore, by Theorem 4,
J has a natural basis
with respect to which the structure matrix is of the type
or
being that these types are non-isomorphic. Thus,
A has a natural basis
with respect to which
is within the following types:
We shall see now that these algebras are non-isomorphic. In order to do so, the following Lemma shall be useful.
Lemma 7. Let A be a three-dimensional evolution algebra such that with and If J is irreducible, then the decomposition of A is unique.
Proof. Let us suppose that where Then, . As J cannot be decomposed we have that note that . Then, as , so or equivalently , as they have the same dimension. □
Theorem 8. Let A be a three-dimensional reducible and non-degenerate evolution algebra. Then, A has a natural basis B such that the structure matrix associated to it, , is within the following non-isomorphic types:with Proof. As said above, by Theorem 4 there exists a natural base B such that has the form of , or Let us denote by the algebra given by the structure matrix with By the above Lemma it follows that the decomposition of is unique, and so are non-isomorphic, for , as are not isomorphic either. But similarly, neither nor can be isomorphic to , as is reducible and , are irreducible. □
4.2. The Degenerate Case
The following result describes whether an evolution algebra is reducible according with the number of elements in the natural basis having zero square.
Theorem 9. Let A be a degenerate evolution algebra and let be a natural basis of A.
- (i)
Suppose that . Then, A has zero product and is reducible.
- (ii)
Suppose that and . Then, A is reducible.
- (iii)
Suppose that , and . Then we have one of the following situations
- (a)
and are linearly dependent, and so . Then:
- (a.1)
A is reducible if and only if .
- (a.2)
A is irreducible if and only if .
- (b)
and are linearly independent. Then:
- (b.1)
A is reducible if and only if with
- (b.2)
A is irreducible if and only if with and .
Proof. (i) It is clear that if A has a zero product then A is reducible. Indeed, where and .
(ii) Suppose that and Consider . We have the following possibilities:
Case (ii)(1) Then, where and
Case (ii)(2) . We shall consider the following situations.
Case (ii)(2.1) Then being and .
Case (ii)(2.2) , which immediately implies . Then with and .
(iii) Let assume that , and . We shall split the proof of this assertion in two cases (a) and (b).
Case (iii)(a) and are linearly dependent. Hence, there exists such that We claim that whenever A is reducible then one of the ideals is To prove the claim suppose that Since it cannot be (as ), it is not restrictive to assume that But implies that , as otherwise . Also, whenever then . Indeed, if , then (otherwise ). Thus, , a contradiction. Therefore and while (as and ). Thus, we obtain , as desired to prove the claim.
We shall consider two different situations:
Case (iii)(a.1)
, with
. Then, from the former claim it follows that
A is not reducible. Indeed, let us assume that
. Then,
and
as shown above. Hence,
, and thus,
, a contradiction. Thus, whenever the structure matrix of
A is of the type
the evolution algebra is irreducible.
Case (iii)(a.2) , with . Then with . We consider the following possibilities:
Case (iii)(a.2.1) . Then with and
Case (iii)(a.2.2) . Then, as , we have the following possibilities:
Case (iii)(a.2.2.1) . Then with and .
Case (iii)(a.2.2.2) Then, and so where and .
Case (iii)(b)
and
are linearly independent. We claim that
A is reducible if and only if
. To prove the claim, suppose that
. Then,
A is reducible since
with
and
. In this case, the structure matrix is
with
To finish the proof of the claim, suppose now that
and let us show that
A is irreducible. Assume towards contradiction that
is a non-trivial decomposition and suppose that
while
, which is not restrictive. Let
and
From the fact that
it follows that
Therefore, there exists
such that
We are going to distinguish between two cases:
Case (iii)(b.1) Then, since (because ) we deduce that and hence, as Also, we have that (otherwhise ) and similarly . Thus, and a contradiction.
Case (iii)(b.2) Then:
Case (iii)(b.2.1) If then, since , we have that , and hence, , and, as in the case (b.1), we get a contradiction.
Case (iii)(b.2.2) Suppose
, and recall that
. Consequently,
and
. It follows that
as
with
and
with
. Therefore
which contradicts the fact that
and
are linearly independent.
Hence, we conclude that if
and
are linearly independent, then
A is irreducible if and only if
; i.e., if and only if
and
are proportional but
and
are not as
and
are linearly independent. This is equivalent to
with
and
. The rest is clear. □
Theorem 10. Let A be a three-dimensional degenerate evolution algebra. Then we have the following:
- (i)
A is reducible if and only if there exists a natural basis B of A whose structure matrix is within the following types:
- (a)
.
- (b)
with , .
- (c)
with and .
- (d)
with and
- (ii)
A is reducible if and only if there exists a natural basis B of A whose structure matrix is within the following types:
- (e)
.
- (f)
with and .
The former type of evolution algebras are non-isomorphic to each other.
Proof. We obtained this classification because of Theorem 9. Let us check that they are non-isomorphic. First of all, none of the algebras in the group (i) can be isomorphic with any of the algebras in the group (ii), as those in the former group are reducible while those in the latter group are not. In the group (i), the algebra (a) is clearly non-isomorphic to any of the others, as its product is zero. On the other hand, (b) cannot be isomorphic to (c) or (d) because its annihilator has two-dimensional, while (c) and (d) and have a one-dimensional annihilator. To verify that (c) is not isomorphic with (d), we just point out that in (c), , while in (d), . In the group (ii), finally, (e) cannot be isomorphic to (f), as in (e) we have ; meanwhile, in (f) we have □
4.3. The Main Result
To sum up, we gather Theorems 5 and 6, Corollary 6, Theorems 8 and 10 in the theorem below, showing that when we classify three-dimensional evolution algebras according to their degeneracy and their reducibility we obtain 14 non-isomorphic types of evolution algebras.
Theorem 11. Let A be an evolution algebra with and let us consider and . Then:
- (i)
Suppose that A is degenerate and reducible. Then, there exists a natural basis B such that the structure matrix of A relative to B is like , , or , where:
- (ii)
Suppose that A is degenerate and irreducible. Then, there exists a natural basis B of A whose structure matrix is like or , where:
- (iii)
Suppose that A is non-degenerate and reducible. Then, there exists a natural basis B of A which structure matrix is like , or , where:
- (iv)
Suppose that A is non-degenerate and irreducible. Then, there exists a natural basis B of A such that the structure matrix associated to it is like , , , or , where:
with and either or has no proportional columns;
, range of greater than 1, and such that it does not exist a nonsingular matrix P such that , where
Moreover, if A has a basic ideal of dimension 1 and has no basic ideals with dimension 2, then is given by either . If A has basic ideals of dimension 2 then is like and if A has no proper basic ideals then is like
In fact, for , denote by an evolutionary algebra having a natural basis of the type described above. Then, these algebras are not isomorphic and we obtain the following classification of evolution algebras with three dimensions: | Degenerate | Non-Degenerate |
Reducible | , , , | , , |
Irreducible | , | , , |
Therefore, we have obtained 14 non-isomorphic types of evolution algebras of dimension 3.
This means that an algebra of the type
is not isomorphic to an algebra of the type
whenever
,
. Nevertheless, we found several non-isomorphic evolution algebras that belong to the same type. As a matter of fact, by considering the 116 types of non-isomorphic three-dimensional evolution algebras described in [
17], we have reclassified them into the 14 different types
described above. It is easy to check when one of the algebras stated in [
17] belongs to one of the types obtained in this paper by just considering the properties:
- (a)
Being reducible or not;
- (b)
Being degenerate or not,
- (c)
Having a basic ideals of dimension 1 and no basic ideals of dimension 2;
- (d)
Having a basic ideal of dimension 2;
- (e)
Having no proper basic ideals.
References