arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.32784

Commutative algebras are ideals of evolution algebras

Cristina Costoya·Amir Fernández Ouaridi·Antonio Viruel
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that every finite-dimensional commutative algebra can be embedded as an ideal of a finite-dimensional evolution algebra. We then determine the smallest possible dimension of an evolution algebra admitting such an embedding and study some structural properties preserved by the construction. Over fields of characteristic different from two, we relate this minimal dimension to simultaneous Waring decompositions of the quadratic map $x\mapsto x^2$. In particular, for unital commutative algebras, the smallest possible dimension of an evolution algebra containing the given algebra coincides with the Waring rank of its squaring map. As an application, we determine this minimal dimension for the truncated polynomial algebras $\mathbb{F}[t]/(t^n)$. Finally, we study embeddings for which additional structure is preserved, including automorphisms and multiplicative bases.

Explore related subjects

math.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Cristina Costoya, Amir Fernández Ouaridi, Antonio Viruel. 2026-09-26. Commutative algebras are ideals of evolution algebras. https://arxiv.org/abs/2609.32784

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Identities Involving Additive Maps on Division Rings

Let $g$ be an additive map on a division ring $D$. In this paper, we study the functional identity $G_{1}(y)g(y)G_{2}(y) = H(y)$, where $G_{1}(Y), G_{2}(Y)$, $H(Y)$ are generalized polynomials in $D_{G}[Y]$ such that both $G_{1}(Y)$ and $G_{2}(Y)$ are non-zero. By application of this result and its implications, we prove that if $D$ is a non-commutative division ring with $\operatorname{char}(D) \neq 2$, then the only possible solution of additive maps $g_{1},g_{2}: D \rightarrow D$ satisfying the identity $g_{1}(y)y^{-m} + y^{n}g_{2}(y^{-1})= 0$ is $ g_{1} = g_{2} = 0$, where $m$ and $n$ are positive integers with $(m,n) \neq (1,1)$.

math.RA↗
arXiv2026

The art of counterpoint: a Mazzola-type model of three-voice first-species counterpoint

In this paper, we extend Mazzola's model of two-voice counterpoint to three-voice first-species counterpoint. The construction combines a fiber product over a shared lower voice with a harmonic mask and a two-stage maximization defining admitted successors. For the Fuxian dichotomy, we compute the successor relation and investigate connections with the Riemann dichotomy and neo-Riemannian transformations. Among pairs of same-mode triads, the model admits the most transporter realizations exactly at the pairs that generate Mazzola's Riemann monoid, but it does not single out the dominant-tonic pair, and it admits only 12 of the 192 parsimonious neo-Riemannian realizations, largely because it excludes transitions that keep a pair of voices stationary.

math.RA↗