Search

Given a vector space $V$ over a field $\K$ whose characteristic is coprime with $d!$, let us decompose the vector space of multilinear forms $V^*\otimes\overset{\text(d)}{\ldots}\otimes V^*=\bigoplus _\lambda W_\lambda(X,\K)$ according to the different partitions $\lambda$ of $d$, i.e. the different representations of $S_d$. In this paper we first give a decomposition $W_{(d-1,1)}(V,\K)=\bigoplus_{i=1}^{d-1}W_{(d-1,1)}^i(V,\K)$. We finally prove the vanishing of the hyperdeterminant of any $F\in(\bigoplus_{\lambda\ne(d),(d-1,1)})\oplus W_{(d-1,1)}^i(V,\K)$. This improves the result in [10] and [1], where the same result was proved without this new last summand.

In this survey we recognize Enrique Arrondo's contributions over the whole of its career, recalling his professional history and collecting the results of his mathematical production.

We consider the intersection $\mathfrak{M}(A)$ of all maximal ideals of an evolution algebra $A$ and study the structure of the quotient $A/\M(A)$. In a previous work, maximal ideals have been related to hereditary subsets of a graph associated to the given algebra. We investigate the superfluous members both in the family of maximal ideals and also in the set of hereditary subsets of the associated graphs. By using subdirect products we state a structure theorem for arbitrary evolution algebras (arbitrary dimensions and ground field). Specializing in the perfect finite-dimensional case, we obtain a direct sum decomposition instead of a subdirect product and also a uniqueness property. We also study some examples in which Grassmanians appear in a natural way and others that exhibit a richer structure with a nonzero semisimple part that is non-associative., Comment: We rewritten and added some relevant parts of the paper. We also changed the tittle according to the new concepts and results. The system doesn't allow us to replace it. We are going to upload a new version that is called "Reductive radical of evolution algebras"

In this article, we introduce a relation including ideals of an evolution algebra and hereditary subsets of vertices of its associated graph and establish some properties among them. This relation allows us to determine maximal ideals and ideals having the absorption property of an evolution algebra in terms of its associated graph. We also define a couple of order-preserving maps, one from the sets of ideals of an evolution algebra to that of hereditary subsets of the corresponding graph, and the other in the reverse direction. Conveniently restricted to the set of absorption ideals and to the set of hereditary saturated subsets, this is a monotone Galois connection. According to the graph, we characterize arbitrary dimensional finitely-generated (as algebras) evolution algebras under certain restrictions of its graph. Furthermore, the simplicity of finitely-generated perfect evolution algebras is described on the basis of the simplicity of the graph.

In this paper we introduce a new species of evolution algebras that we call Cayley evolution algebras. We show that if a field $k$ contains sufficiently many elements (for example if $k$ is infinite) then every finite group $G$ is isomorphic to $Aut(X)$ where $X$ is a finite-dimensional absolutely simple Cayley evolution $k$-algebra., Comment: This version of the article has been accepted for publication, after peer review but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is published under the Creative Commons Attribution license and can be freely dowloaded it from https://doi.org/10.1007/s13398-023-01414-w

This work classifies three-dimensional simple evolution algebras over arbitrary fields. For this purpose, we use tools such as the associated directed graph, the moduli set, inductive limit group, Zariski topology and the dimension of the diagonal subspace. Explicitly, in the three-dimensional case, we construct some models $_i\mathbf{III}_{\lambda_1,\ldots,\lambda_n}^{p,q}$ of such algebras with $1\le i\le 4$, $\lambda_i\in\mathbb{K}^\times$, $p,q\in\mathbb{N}$, such that any algebra is isomorphic to one (and only one) of the given in the models and we further investigate the isomorphic question within each one. Moreover, we show how to construct simple evolution algebras of higher-order from known simple evolution algebras of smaller size.

The starting point of this work is that the class of evolution algebras over a fixed field is closed under tensor product. This arises questions about the inheritance of properties from the tensor product to the factors and conversely. For instance nondegeneracy, irreducibility, perfectness and simplicity are investigated. The four-dimensional case is illustrative and useful to contrast conjectures so we achieve a complete classification of four-dimensional perfect evolution algebras arising as tensor product of two-dimensional ones. We find that there are 4-dimensional evolution algebras which are the tensor product of two nonevolution algebras., Comment: 18 pages, 2 tables