Searcharxiv⌕ Search

arXiv subjects

Yolanda Cabrera Casado

Publications and source records attributed to Yolanda Cabrera Casado.

18 recordsLinked to original sources

Solenoids in automorphism groups of evolution algebras

Let A be an evolution algebra (possibly infinite-dimensional) equipped with a fixed natural basis B, and let E be the associated graph defined by Elduque and Labra. We describe the group of automorphisms of A that are diagonalizable with respect to B. This group arises as the inverse limit of a functor (a diagram) from the category associated with the graph E to the category of groups. In certain cases, this group can be realized as a dyadic solenoid. Additionally, we investigate the automorphisms that permute (and possibly scale) the elements of B. In particular, for algebras satisfying the 2LI condition, we provide a complete description of their automorphism group.

math.RA↗

Hopf algebras and associative representations of two-dimensional evolution algebras

In this paper, we establish a connection between evolution algebras of dimension two and Hopf algebras, via the algebraic group of automorphisms of an evolution algebra. Initially, we describe the Hopf algebra associated with the automorphism group of a 2-dimensional evolution algebra. Subsequently, for a 2-dimensional evolution algebra $A$ over a field $K$, we detail the relation between the algebra associated with the (tight) universal associative and commutative representation of $A$, referred to as the (tight) $p$-algebra, and the corresponding Hopf algebra, $\mathcal{H}$, representing the affine group scheme $\text{Aut}(A)$. Our analysis involves the computation of the (tight) $p-$algebra associated with any 2-dimensional evolution algebra, whenever it exists. We find that $\text{Aut}(A)=1$ if and only if there is no faithful associative and commutative representation for $A$. Moreover, there is a faithful associative and commutative representation for $A$ if and only if $\mathcal{H}\not\cong K$ and $\text{char} (K)\neq 2$, or $\mathcal{H}\not\cong K(ε)$ (the dual numbers algebra) and $\mathcal{H}\not\cong K$ in case of $\text{char} (K)= 2$. Furthermore, if $A$ is perfect and has a faithful tight $p$-algebra, then this $p$-algebra is isomorphic to $\mathcal{H}$ (as algebras). Finally, we derive implications for arbitrary finite-dimensional evolution algebras.

math.RA↗

Centroid and algebraic properties of evolution algebras through graphs

The leitmotiv of this paper is linking algebraic properties of an evolution algebra with combinatorial properties of the (possibly several) graphs that one can associate to the algebra. We link nondegeneracy, zero annihilator, absorption property, von Neumann regularity, and primeness with suitable properties in the associated graph. In the presence of semiprimeness, the property of primeness is equivalent to any associated graph being downward directed. We also provide a description of the prime ideals in an evolution algebra and prove that certain algebraic properties, such as semiprimeness and perfection, can not be characterized in combinatorial terms. We describe the centroid of evolution algebras as constant functions along the connected components of its associated graph. The dimension of the centroid of a zero annihilator algebra $A$ agrees with the cardinal of the connected components of any possible graph associated to $A$. This is the combinatorial expression of an algebraic uniqueness property in the decomposition of $A$ as indecomposable algebras with $1$-dimensional centroid.

math.RA↗

On some structural properties of evolution algebras

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.

math.RA↗

Connecting ideals in evolution algebras with hereditary subsets of its associated graph

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.

math.AC↗

On simple evolution algebras of dimension two and three. Constructing simple and semisimple evolution algebras

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}_{λ_1,\ldots,λ_n}^{p,q}$ of such algebras with $1\le i\le 4$, $λ_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.

math.RA↗

Two dimensional perfect evolution algebras over domains

We will study evolution algebras $A$ which are free modules of dimension $2$ over domains. Furthermore, we will assume that these algebras are perfect, that is $A^2=A$. We start by making some general considerations about algebras over domains: they are sandwiched between a certain essential $D$-submodule and its scalar extension over the field of fractions of the domain. We introduce the notion of quasiperfect algebras and modify slightly the procedure to associate a graph to an evolution algebra over a field given in \cite{ElduqueGraphs}. Essentially, we introduce color in the connecting arrows, depending on a suitable criterion related to the squares of the natural basis elements. Then we classify the algebras under scope parametrizing the isomorphic classes by convenient moduli.

math.RA↗

Derivations and loops of some evolution algebras

In this work we study the space of derivations of non-degenerate evolution algebras. We improve some results obtained recently in the literature and, as a consequence, we advance in the description of the derivations for $n$-dimensional Volterra evolution algebras. In addition, we introduce the notion of loop of an evolution algebra and we analyze under which conditions the set of loops is invariant under change of basis.

math.RA↗

Tensor product of evolution algebras

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.

math.RA↗

Simultaneous orthogonalization of inner products in infinite-dimensional vector spaces

For an arbitrary field $\mathbb{K}$ and a family of inner products in a $\mathbb{K}$-vector space $V$ of arbitrary dimension, we study necessary and sufficient conditions in order to have an orthogonal basis relative to all the inner products. If the family contains a nondegenerate element plus a compatibility condition, then under mild hypotheses the simultaneous orthogonalization can be achieved. So we investigate several constructions whose purpose is to add a nondegenerate element to a degenerate family and we study under what conditions the enlarged family is nondegenerate.

math.RA↗

Simultaneous orthogonalization of inner products over arbitrary fields

We give necessary and sufficient conditions for a family of inner products in a finite-dimensional vector space $V$ over an arbitrary field $\mathbb{K}$ to have an orthogonal basis relative to all the inner products. Some applications to evolution algebras are also considered.

math.RA↗

Chains in evolution algebras

In this work we approach three-dimensional evolution algebras from certain constructions performed on two-dimensional algebras. More precisely, we provide four different constructions producing three-dimensional evolution algebras from two-dimensional algebras. Also we introduce two parameters, the annihilator stabilizing index and the socle stabilizing index, which are useful tools in the classification theory of these algebras. Finally, we use moduli sets as a convenient way to describe isomorphism classes of algebras.

math.RA↗

Natural families in evolution algebras

In this paper we introduce the notion of evolution rank and give a decomposition of an evolution algebra into its annihilator plus extending evolution subspaces having evolution rank one. This decomposition can be used to prove that in non-degenerate evolution algebras, any family of natural and orthogonal vectors can be extended to a natural basis. Central results are the characterization of those families of orthogonal linearly independent vectors which can be extended to a natural basis. We also consider ideals in perfect evolution algebras and prove that they coincide with the basic ideals. Nilpotent elements of order three can be localized (in a perfect evolution algebra over a field in which every element is a square) by merely looking at the structure matrix: any vanishing principal minor provides one. Conversely, if a perfect evolution algebra over an arbitrary field has a nilpotent element of order three, then its structure matrix has a vanishing principal minor. We finish by considering the adjoint evolution algebra and relating its properties to the corresponding in the initial evolution algebra.

math.RA↗

On the characterization of the space of derivations in evolution algebras

We study the space of derivations for some finite-dimensional evolution algebras, depending on the twin partition of an associated directed graph. For evolution algebras with a twin-free associated graph we prove that the space of derivations is zero. For the remaining families of evolution algebras we obtain sufficient conditions under which the study of such a space can be simplified. We accomplish this task by identifying the null entries of the respective derivation matrix. Our results suggest how strongly the associated graph's structure impacts in the characterization of derivations for a given evolution algebra. Therefore our approach constitutes an alternative to the recent developments in the research of this subject. As an illustration of the applicability of our results we provide some examples and we exhibit the classification of the derivations for non-degenerate irreducible $3$-dimensional evolution algebras.

math.RA↗

Evolution algebras of arbitrary dimension and their decompositions

We study evolution algebras of arbitrary dimension. We analyze in deep the notions of evolution subalgebras, ideals and non-degeneracy and describe the ideals generated by one element and characterize the simple evolution algebras. We also prove the existence and unicity of a direct sum decomposition into irreducible components for every non-degenerate evolution algebra. When the algebra is degenerate, the uniqueness cannot be assured. The graph associated to an evolution algebra (relative to a natural basis) will play a fundamental role to describe the structure of the algebra. Concretely, a non-degenerate evolution algebra is irreducible if and only if the graph is connected. Moreover, when the evolution algebra is finite-dimensional, we give a process (called the fragmentation process) to decompose the algebra into irreducible components.

math.RA↗