https://arxiv.org/api/fKsLfkMjdXP1rte+RLZmGe1BCBk 2026-06-14T03:57:08Z 20068 225 15 http://arxiv.org/abs/2605.12849v1 2026-05-13T00:46:52Z

Commuting maps on a class of algebras called inflated algebras are investigated. In particular, we can prove that every commuting map $θ$ on such an algebra is of the form $θ(x)=c x+μ(x)$, where $c$ belongs to the base field $K$ of characteristic not 2, and $μ$ is a central-valued linear map.

2026-05-13T00:46:52Z Hongyu Jia Zhankui Xiao http://arxiv.org/abs/2502.10571v2 2026-05-12T23:28:55Z

We consider multiplicative semigroups of real dxd matrices. A semigroup S is called Perron if each of its matrices has a Perron eigenvalue, i.e., an eigenvalue equal to the spectral radius. If all matrices of S leave a proper convex cone invariant, then S is Perron. Our main result asserts the converse: every irreducible Perron semigroup possesses a common invariant cone, provided that some mild assumptions are satisfied. This gives conditions for a set of matrices to share a common invariant cone, which is an important property widely studied in the literature. Then we address the problem to characterize the exceptions, when a Perron semigroup does not have an invariant cone. For d\le 4, all Perron semigroups are classified. For higher dimensions~$d$, several classes of such semigroups are found.

2025-02-14T21:49:29Z Vladimir Yu. Protasov http://arxiv.org/abs/2605.12749v1 2026-05-12T20:56:35Z

We study cocommutative Hopf dialgebras through generalized digroups and rack combinatorics. We prove that the rack functor obtained from the adjoint rack bialgebra factorizes through the digroup of group-like elements. More precisely, for every cocommutative Hopf dialgebra $A$, the rack of set-like elements of its adjoint rack bialgebra is naturally isomorphic to the conjugation rack of the digroup $\Glike(A)$. For finite generalized digroups $D\simeq G\times E$, with $G$ acting on the halo $E$, we derive explicit formulas for the conjugation rack, its inner group, left-translation cycle index, fixed-point polynomial, orbit count and subrack structure. Finally, we construct the digroup algebra $K[D]$, prove that it is a cocommutative Hopf dialgebra, and show that $\Glike(K[D])=D\$.

2026-05-12T20:56:35Z José Gregorio Rodríguez-Nieto Olga Patricia Salazar-Díaz Andrés Sarrazola-Alzate Raúl Velásquez http://arxiv.org/abs/2605.12672v1 2026-05-12T19:22:17Z

We introduce \emph{expander evolution algebras} (EEAs), a class of nonassociative algebras defined over an arbitrary field $\K$ in which the underlying undirected loopless graph of the algebra -- in the sense of Kowalski -- is an expander graph in the classical sense of Cheeger. Starting from the formal graph definition of Kowalski and the algebraic framework of Tian, we establish a dictionary between combinatorial expansion and algebraic structure: the Cheeger constant of the associated graph governs connectivity, the subalgebra lattice, the growth of the evolution sequence, and -- over $\R$ and $\C$ -- the spectral gap of the evolution operator. Over a general field $\K$ we prove that EEAs are always connected and simple (as evolution algebras), carry no proper large evolution subalgebras, and that every generator of a \emph{symmetric} EEA is algebraically persistent. Over $\C$ we obtain the sharp Alon--Boppana lower bound for the second eigenvalue of the evolution operator, leading to the definition of \emph{Ramanujan evolution algebras} as optimal expanders. We also construct families of EEAs from Cayley graphs of finite groups. We close with open problems.

2026-05-12T19:22:17Z Piero Giacomelli http://arxiv.org/abs/2605.12661v1 2026-05-12T19:10:03Z

A commutative ring is reduced when it can be embedded into a direct product of fields. While the category of reduced commutative rings plays a fundamental role in affine geometry, it exhibits several structural deficiencies: it admits nonregular monomorphisms and epimorphisms, lacks amalgamation, and is not equationally axiomatizable. In this paper, we simultaneously repair these defects via a canonical completion in which all monomorphisms become regular. This completion is obtained by adjoining weak inverses and weak prime roots, turning the class of reduced commutative rings into a discriminator variety. As a consequence, we obtain an explicit description of dominions in every class of reduced commutative rings containing all fields. This description is strikingly simple compared to that of dominions in the category of all commutative rings, as reflected in the Isbell-Mazet-Silver Zigzag Theorem.

2026-05-12T19:10:03Z Luca Carai Miriam Kurtzhals Tommaso Moraschini http://arxiv.org/abs/2605.12459v1 2026-05-12T17:45:56Z

We thoroughly investigate the trace ideals of projective modules over the endomorphism ring of a uniserial module. After the work of Dubrovin and Puninski, it is known that this class of rings provides examples of trace ideals of projective right modules that are not trace ideals of projective left modules. In this paper we further investigate when this happens, giving an intrinsic description of such trace ideals and their properties. We also use the theory associated to lifting projective modules modulo a trace ideal to give an alternative approach to Puninski's construction of a direct summand of a serial module that is not serial.

2026-05-12T17:45:56Z 27 pages. Comments and suggestions are welcome! Dolors Herbera Pavel Pří hoda http://arxiv.org/abs/2605.12342v1 2026-05-12T16:20:14Z

Let $n$ be a positive integer and let $[n]=\{1,2,\ldots,n\}$. Let $Γ_n$ denote the group of permutations on $[n]$ whose restrictions to maximal proper subsets of $[n]$ are even, let $Σ_n$ denote the monoid of transformations on $[n]$ whose injective restrictions to maximal proper subsets of $[n]$ are even and let $Δ_n$ denote the submonoid of $Σ_n$ generated by transformations of rank at least $n-1$. In this paper, we present descriptions of $Γ_n$, $Δ_n$ and $Σ_n$, determine their cardinalities and ranks, and provide minimal generating sets for each of them.

2026-05-12T16:20:14Z Vítor H. Fernandes http://arxiv.org/abs/2508.00431v2 2026-05-12T15:43:08Z

We introduce the notion of almost unital and finite-dimensional (AUF) algebras, which are associative $\mathbb C$-algebras that may be non-unital or infinite-dimensional, but have sufficiently many idempotents. We show that the pseudotrace construction, originally introduced by Hattori and Stallings for unital finite-dimensional algebras, can be generalized to AUF algebras. Let $A$ be an AUF algebra. Suppose that $G$ is a projective generator in the category $\mathrm{Coh}_{\mathrm{L}}(A)$ of finitely generated left $A$-modules that are quotients of free left $A$-modules, and let $B = \mathrm{End}_{A,-}(G)^{\mathrm{opp}}$. We prove that the pseudotrace construction yields an isomorphism between the spaces of symmetric linear functionals $\mathrm{SLF}(A)\xrightarrow{\simeq} \mathrm{SLF}(B)$, and that the non-degeneracies on the two sides are equivalent.

2025-08-01T08:40:55Z 32 pages. Final version. To appear in J. Algebra Journal of Algebra 704C (2026) pp. 220-254 Bin Gui Hao Zhang 10.1016/j.jalgebra.2026.05.005 http://arxiv.org/abs/2604.22594v2 2026-05-12T15:29:28Z

This paper discusses the left and right ranks of quaternion matrices with Hankel structure. While they are in general different for arbitrary quaternion matrices, we show that the left and right ranks of quaternion Hankel matrices are equal. Moreover, we establish the relation between Hankel matrices and the existence of linear recurrence relations with quaternion coefficients and discuss some practical implications for computational methods relying on low-rank properties of quaternion Hankel matrices.

2026-04-24T14:22:20Z 12 pages, 1 figure Philippe Flores Julien Flamant Nicolas Le Bihan http://arxiv.org/abs/2504.19836v2 2026-05-12T13:33:38Z

Motivated by the Dani-Mainkar construction, we extend the notion of independence polynomial of graphs to arbitrary 2-step nilpotent Lie algebras. After establishing efficiently computable upper and lower bounds for the independence number, we discuss a metric-dependent generalization motivated by a quantum mechanical interpretation of our construction. As an application, we derive elementary bounds for the dimension of abelian subalgebras of 2-step nilpotent Lie algebras.

2025-04-28T14:37:46Z Marco Aldi Thor Gabrielsen Daniele Grandini Joy Harris Kyle Kelley http://arxiv.org/abs/2503.04488v2 2026-05-12T13:02:11Z

Working in the setting of ideally exact categories, we investigate the representability of actions of unital non-associative algebras over a field. We show that, in general, such categories fail to be action representable: for instance, the category of all unital algebras is not even action accessible. We then consider this problem in the context of operadic, action accessible, unit-closed varieties. Using the construction of the external weak actor, we prove that for any algebra $X$ in such a variety $\mathsf{V}$, the canonical map into its external weak actor is an isomorphism if and only if $X$ is unital. Consequently, the ideally exact category $\mathsf{V}_1$ of unital algebras in $\mathsf{V}$ is action representable, and the actor of $X$ is $X$ itself. Finally, we prove action representability for unital Poisson algebras via an explicit construction of the universal strict general actor.

2025-03-06T14:37:26Z Manuel Mancini Federica Piazza Corentin Vienne http://arxiv.org/abs/2605.09309v2 2026-05-12T12:41:51Z

We construct an explicit Gröbner--Shirshov basis for free associative Rota--Baxter algebras of weight zero with nilpotent operator $R^n=0$, where $n\ge 2$. First, we define a monomial order on the standard linear basis $RS(X)$ of the free algebra $R\mathrm{As}\langle X\rangle$ and establish fundamental identities for Rota--Baxter operators. For the case $n=2$, the basis consists of the Rota--Baxter relation $R(u)R(v)\to R(uR(v))+R(R(u)v)$ and the nilpotency relation $R(R(w))\to 0$. For general $n\ge 3$, we prove that the Gröbner--Shirshov basis is finite and consists of six families of relations $(R1)$--$(R6)$ derived from resolving all composition ambiguities. Using the Composition-Diamond Lemma, we describe the corresponding irreducible basis $\operatorname{Irr}(S)$, which provides normal forms for elements in the quotient algebra. This result gives a complete solution to the word problem for nilpotent Rota--Baxter algebras and establishes their operadic Gröbner--Shirshov basis.

2026-05-10T04:06:29Z This paper is a special case of the more general work "A Gröbner--Shirshov Basis for Nilpotent Rota--Baxter Algebras of {0, -λ}" (arXiv:2507.01614). The results presented here are fully contained in that article. Therefore, the authors wish to withdraw this version to avoid duplication. Readers should refer to the more comprehensive article for the complete results H. Alhussein http://arxiv.org/abs/2605.11566v1 2026-05-12T05:50:23Z

Given an ample Hausdorff groupoid $G$, a unital commutative ring $R$, and a discrete twist $(Σ,i,q)$, we establish a generalised uniqueness theorem for the twisted Steinberg algebra $A_R(G;Σ)$. By applying this theorem when $G$ is effective, we establish a Cuntz-Krieger uniqueness theorem as a corollary. We also prove a generalised graded uniqueness theorem for $A_R(G;Σ)$.

2026-05-12T05:50:23Z 10 pages Rizalyn S. Bongcawel Mindanao State University-Iligan Institute of Technology, Philippines Lyster Rey B. Cabardo Mindanao State University-Iligan Institute of Technology, Philippines Lisa O. Clark Victoria University of Wellington, New Zealand http://arxiv.org/abs/2605.01785v2 2026-05-12T00:45:21Z

In this paper, we develop a construction of Poisson $n$-Lie algebras arising from $n$-Lie algebras of Jacobians and establish conditions under which this construction yields a Poisson $n$-Lie algebra. We also formulate a general conjecture in the unital case. In addition, we show that tensor products of Poisson algebras admit natural Poisson $n$-Lie structures via suitable quotient constructions. Conversely, we construct a Poisson algebra from a given Poisson $n$-Lie algebra, thereby establishing a correspondence between these classes of algebras. Furthermore, we obtain analogues of Engel's and Lie's theorems and provide a characterization of solvable and nilpotent Poisson $n$-Lie algebras in terms of the underlying algebraic structures. We also introduce the notion of hypo-nilpotent ideals and prove results concerning maximal hypo-nilpotent ideals in finite-dimensional solvable Poisson $n$-Lie algebras. Finally, we show that generalized eigenspaces of multiplication operators form ideals.

2026-05-03T08:50:54Z 20 pages Xinru Cao Zafar Normatov Bakhrom Omirov http://arxiv.org/abs/2507.22682v2 2026-05-11T20:36:04Z

We study maximal sublattices of finite semidistributive lattices via their complements. We focus on the conjecture that such complements are always intervals, which is known to be true for bounded lattices. Since the class of semidistributive lattices is the intersection of classes of join- and meet-semidistributive lattices, we study also complements for these classes, and in particular convex geometries of convex dimension 2, which is a subclass of join-semidistributive lattices. In the latter case, we describe the complements of maximal sublattices completely, as well as the procedure of finding all complements of maximal sublattices.

2025-07-30T13:44:51Z 21 pages, 11 figures K. Adaricheva A. Mata S. Silberger A. Zamojska-Dzienio