https://arxiv.org/api/5rb4hFNSKiym/b5GBq3uF+kphSU 2026-03-22T13:19:14Z 19723 45 15 http://arxiv.org/abs/2603.11533v1 2026-03-12T04:39:40Z

We give an explicit formula for the decomposition of the tensor product of any two indecomposable non-projective modules for the symmetric group algebra $F \mathfrak{S}_p$ modulo projective modules. In particular, we show that the tensor product of two simple modules is semisimple modulo projectives. We also compute the Benson--Symonds invariants for all such indecomposable non-projective modules.

2026-03-12T04:39:40Z Manzu Kua Kay Jin Lim http://arxiv.org/abs/2512.11703v2 2026-03-12T03:55:11Z

Veronese powers of operads were introduced in 2020 By Dotsenko, Markl, and Remm \cite{DMR}. The $m$-th Veronese power of a weight-graded operad $\mathcal{V}$ is the suboperad $\mathcal{V}^{[m]}$ generated by the operations of weight $m$. If $\mathcal{V}$ is generated by binary operations and governs the variety $\mathbf{V}$ of algebras, this gives a natural definition of the concept of $(m{+}1)$-ary $\mathbf{V}$-algebras. In particular, the Veronese square ($m=2$) corresponds to ternary algebras. We choose five generating operations for the Veronese square of the dendriform operad. We represent the dendriform operad as a suboperad of the Rota-Baxter operad, and express the quadratic relations satisfied by the generating operations as the kernel of a rewriting map. We use combinatorics of monomials and computational linear algebra to determine the kernel. We obtain 33 linearly independent quadratic relations satisfied by the Veronese square.

2025-12-12T16:39:12Z 11 pages, 2 figures, 2 tables Murray R. Bremner http://arxiv.org/abs/2603.11454v1 2026-03-12T02:27:29Z

Let $\mathcal W$ be a nontrivial variety of lattices, and let $L$ be a finite lattice in $\mathcal W$. The congruence density of $L$ with respect to $\mathcal W$ is the number of congruences of $L$ divided by the maximum number of congruences of $|L|$-element lattices belonging to $\mathcal W$. We prove that, with respect to the order and multiplication of the real numbers, the set SCD$(\mathcal W)$ of congruence densities of finite members of $\mathcal W$ as well as its topological closure are countably infinite dually well-ordered monoids. We also prove that the set of accumulation points of SCD$(\mathcal W)$ is either a singleton or it is countably infinite; furthermore, it is a singleton if and only if $\mathcal W$ is a subvariety of the variety of modular lattices. This gives a complicated characterization of modularity: a non-singleton lattice $K$ is modular if and only if SCD$(\mathcal V(K))$, where $\mathcal V(K)$ denotes the variety generated by $K$, has only one accumulation point. The class $\mathcal S$ of semimodular lattices is not a variety, but SCD$(\mathcal S)$ is still meaningful; we prove that SCD$(\mathcal S)$ has exactly one accumulation point.

2026-03-12T02:27:29Z 17 pages, no figure Gábor Czédli http://arxiv.org/abs/2209.01069v2 2026-03-11T20:01:49Z

The aim of this book is to introduce the reader to the beauty of Algebra, through a journey from the natural numbers to prime fields and finite fields, with some detours. Many books are devoted to the construction of these fields from the natural numbers. Perhaps the first one is [Landau 1930], see also the books [Ebbinghaus et.al. 1991], [Lay 2005], and the references therein. An important step in this process is the construction of the field of rational numbers. It turns out that this field is the only (in an appropriate sense) infinite prime field. Motivated by the reading of [Loonstra 1972], I decided to write an essentially self-contained book devoted to the construction not only of the field of rational numbers but of all prime fields and, more interestingly, to the proof of existence and "uniqueness" of all finite fields. Only a knowledge of basic set theory and some familiarity with mathematical reasoning (see for example [11, Chapters 1 and 2]) are assumed.

2022-08-31T09:27:29Z Corrected version (344 pages), appendix added (222 pages) Philippe Clément http://arxiv.org/abs/2603.11218v1 2026-03-11T18:33:09Z

We address the problem of admissibility of pre-Lie structures associated with a given Lie algebra, particularly, semisimple Lie algebras over ${\mathbb C}$. Such structures are collectively referred to as Lie-admissible algebras, which are a class of nonassociative algebras such that the commutator bracket over these algebras satisfies the Jacobi identity. Among the five classes of nonassociative Lie-admissible algebras, left-symmetric algebras (LSAs) and right-symmetric algebras (RSAs), are known to be non-admissible by semisimple Lie algebras of finite dimension $n \geq 3$. Here, we examine the remaining classes starting with those corresponding to the subgroup generated by permutations of order 2: $(1 \; 3)$. These appear in the literature as anti-flexible algebras (AFAs). We discuss properties of AFAs and provide examples of finite-dimensional representations. AFAs geometrically correspond to richer structures than the flat torsion-free affine connections associated with left-symmetric algebras (LSAs) or right-symmetric algebras (RSAs). We compute Lie-admissibility criteria for AFAs and determine a few simple solution classes. Not surprisingly, solvable Lie algebras admit AFAs. Concerning semisimple ones, we report an explicit counterexample demonstrating an AFA admissible by ${\mathfrak sl(2, \, {\mathbb C})}$. We then discuss the remaining two classes of nonassociative Lie-admissible algebras, the $A_3$-associative and $S_3$-associative types. Finally, we prove that $S_3$-associative algebras are universal pre-Lie structures for any Lie algebra over ${\mathbb C}$, including semisimple ones.

2026-03-11T18:33:09Z 22 pages Xerxes D. Arsiwalla Fernando Olivie Méndez Méndez http://arxiv.org/abs/2603.12295v1 2026-03-11T18:25:53Z

Consider the power map $x\mapsto x^L$ for a prime $L\neq 2$ such that $L|q-1$ where $q$ is a power of a prime. We determine the periodic points under this map for $\operatorname{M}_n(q)$, the algebra of $n\times n $ matrices over a finite field of order $q$, and also for the group $\operatorname{GL}_n(q)=\operatorname{M}_n(q)^\times$. We compute the limit $ \lim\limits_{\substack{q\longrightarrow \infty\\v_L(q-1)=c}}\dfrac{\left|\operatorname{Per}(x^L,\operatorname{M}_\ell(q))\right|}{|\operatorname{M}_\ell(q)|}$ and consequently $\lim\limits_{\substack{q\longrightarrow \infty v_L(q-1)=c}}\dfrac{\left|\operatorname{Per}(x^L,\operatorname{GL}_\ell(q))\right|}{|\operatorname{GL}_\ell(q)|}$, where $v_L$ denotes the $L$-adic valuation. We also compute the quantity $\lim\limits_{\substack{q\longrightarrow \infty v_L(q-1)=c}}\dfrac{\left|\operatorname{Per}(x^L,\operatorname{Sp}_{2\ell}(q))\right|}{|\operatorname{Sp}_{2\ell}(q)|}$ and $\lim\limits_{\substack{q\longrightarrow \infty v_L(q-1)=c}}\dfrac{\left|\operatorname{Per}(x^L,\operatorname{U}_\ell(q))\right|}{|\operatorname{U}_\ell(q)|}$; turns out these two limiting values are same. In all the cases, it turns out that the regular semisimple elements play the role in determining the limiting values.

2026-03-11T18:25:53Z Preliminary version: 16 pages. Comments are always welcome! Saikat Panja http://arxiv.org/abs/2603.10719v1 2026-03-11T12:50:35Z

A complex matrix is called \emph{coninvolutory} if $T\overline{T}=I$. In this paper, we study decompositions of affine transformations in $\mathrm{Aff}(n,\mathbb{C})=\mathrm{GL}(n,\mathbb{C})\ltimes \mathbb{C}^n$ into products of coninvolutions. We prove that an affine transformation $g$ is a product of two coninvolutions in $\mathrm{Aff}(n,\mathbb{C})$ if and only if its linear part $L(g)$ is $c$-reversible; that is, $L(g)$ is conjugate to $\overline{L(g)}^{-1}$ in $\mathrm{GL}(n,\mathbb{C})$. Equivalently, $g$ is conjugate to $\overline{g}^{-1}$ in $\mathrm{Aff}(n,\mathbb{C})$. We further characterize elements that are products of three coninvolutions via consimilarity and show that every $g=(A,v)\in \mathrm{Aff}(n,\mathbb{C})$ with $|\det(A)|=1$ can be expressed as a product of at most four coninvolutions.

2026-03-11T12:50:35Z 14 pages Sandipan Dutta Krishnendu Gongopadhyay Rahul Mondal http://arxiv.org/abs/2603.04856v2 2026-03-11T09:25:22Z

Let $\mathscr{A}$ be an abelian category and let $\mathscr{C}$ and $\mathscr{D}$ be additive subcategories of $\mathscr{A}$. As a generalization of Gorenstein categories, we introduce one-sided $n$-$(\C,\D)$-Gorenstein categories with $n\geq 0$. Under certain conditions, we give some equivalent characterizations of one-sided $n$-$(\C,\D)$-Gorenstein categories in term of the finiteness of projective and injective dimensions relative to one-sided Gorenstein subcategories, which induce some new equivalent characterizations of Gorenstein categories. Then we apply these results to categories of interest. In particular, a necessary condition is obtained for the validity of the Wakamatsu tilting conjecture.

2026-03-05T06:25:42Z 31 pages; accepted for publication in Journal of Algebra; typos corrected when proofreading Zhaoyong Huang http://arxiv.org/abs/1810.07542v3 2026-03-10T18:44:30Z

In this paper, we introduce a particular class of matrices. We study the concept of a matrix to be \emph{balanced}. We study some properties of this concept in the context of matrix operations. We examine the behaviour of various matrix statistics in this setting. The crux will be to understand the determinants and the eigenvalues of balanced matrices. It turns out that there exist a direct communication among the leading entry, the trace, determinants and, hence, the eigenvalues of these matrices of order $2\times 2$. These matrices have an interesting property that allows us to predict their quadratic forms using their spectrum, without an information about their entries.

2018-10-15T18:21:53Z 14 pages; the paper has been reformatted and introduction greatly expanded; ideas remain unchanged Theophilus Agama Gael Kibiti http://arxiv.org/abs/2603.09766v1 2026-03-10T15:05:56Z

This paper is a documentation of author's reseach, focusing on the topic Grassmann Algebra spanning over July, August 2025 under mentorship provided by DRP Turkiye 2025. Grassmann algebra is a fundamental structure in mathematics with wide-ranging applications across multiple areas of mathematics and physics. Most notably, it serves as the foundation for differential geometry, by constituting the natural setting which differential forms reside. This paper begins with presenting the defining properties of Grassmann Algebra, outlining the working principles of the key mechanism of the algebra, wedge product. Following that, we give an exposition of formal construction of Grassmann algebra from free associative algebra with the goal of emphasizing how these properties are imposed in the structure of the algebra. The intrinsic relationship between the exterior product and the determinant is explored in Section 4. Finally, we investigate invariant subalgebras, one of the primary focuses of this paper. Here, we present a novel classification of invariant subalgebras.

2026-03-10T15:05:56Z 33 pages, DRP Turkiye 2025 Symposium Mithat Konuralp Demir http://arxiv.org/abs/2603.09655v1 2026-03-10T13:30:38Z

We study locally finite varieties (=primitive classes) of linear algebras over finite fields. We do not assume that our algebras are associative or Lie. We are interested in the basic properties of finite algebras in these varieties such as: nilpotence, solvability, simplicity, freeness, projectivity, and injectivity. We are also interested in the numerical estimates of the ratio of the number of algebras with various classical properties to the total number of all algebras of a fixed dimension $n$. Among these properties are having no proper nontrivial subalgebras or no nontrivial automorphisms, etc.

2026-03-10T13:30:38Z Yuri Bahturin Alexander Olshanskii http://arxiv.org/abs/2503.21031v2 2026-03-10T12:58:41Z

We give a local treatment of finite alignment by identifying the finitely aligned part of any (not necessarily finitely aligned) higher-rank graph. We show the finitely aligned part is itself a constellation and forms a finitely aligned relative category of paths together with the original higher-rank graph. We show that the elements of the finitely aligned part are precisely those whose cylinder sets are compact, which allows us to give novel definitions of locally compact path and boundary-path spaces for nonfinitely aligned higher-rank graphs. We extend a semigroup action and the associated semidirect product groupoid developed by Renault and Williams to define ample Hausdorff path and boundary-path groupoids. The groupoids are amenable for nonfinitely aligned k-graphs by a result of Renault and Williams. In the finitely aligned case, the path groupoids coincide with Spielberg's groupoids, and the boundary-path groupoid has an inverse semigroup model via a result of Ortega and Pardo.

2025-03-26T22:40:24Z Final version as has appeared in Semigroup Forum. Comments welcome! Malcolm Jones 10.1007/s00233-026-10626-6 http://arxiv.org/abs/2601.11738v2 2026-03-10T07:05:03Z

This article develops a comprehensive theory of multiary graded polyadic algebras, extending the classical concept of group-graded algebras to higher-arity structures. We introduce the notion of grading by multiary groups and investigate various compatibility conditions between the arity of algebra operations and grading group operations. Key results include quantization rules connecting arities, classification of graded homomorphisms, the First Isomorphism Theorem for graded polyadic algebras and concrete examples including ternary superalgebras and polynomial algebras over $n$-ary matrices. The theory reveals fundamentally new phenomena not present in the binary case, such as the existence of higher power gradings and nontrivial constraints on arity compatibility.

2026-01-16T19:44:27Z 22 pages, amslatex; v.2: the First Isomorphism Theorem and examples are added, Section 4 is extended, DOI and Journal reference are added Axioms 2026, 15 (3), 197 (Special issue Computational Algebra, Coding Theory and Cryptography: Theory and Applications, 3nd Edition), https://www.mdpi.com/2075-1680/15/3/197 Steven Duplij 10.3390/axioms15030197 http://arxiv.org/abs/2410.00853v4 2026-03-09T22:34:07Z

Given a support variety theory defined on the compact part of a monoidal triangulated category, we define an extension to the non-compact part following the blueprint of Benson--Carlson--Rickard, Benson--Iyengar--Krause, Balmer--Favi, and Stevenson. We generalize important aspects of the theory of extended support varieties to the noncommutative case, and give characterizations of when an extended support theory detects the zero object, under certain assumptions. In particular, we show that when the original support variety theory is based on a Noetherian topological space, detects the zero object, satisfies a generalized tensor product property, and comes equipped with a comparison map, then the extended support variety also detects the zero object. In the case of stable categories of finite tensor categories, this gives conditions under which the central cohomological support admits an extension that detects the zero object, confirming part of a recent conjecture made by the second author together with Nakano and Yakimov.

2024-10-01T16:39:49Z 31 pages, uniqueness of the extension of the Balmer support added, to appear in J. Algebra Merrick Cai Kent B. Vashaw http://arxiv.org/abs/2503.16005v3 2026-03-09T21:56:05Z

We say that a ring is strongly (resp. weakly) left Jacobson if every semiprime (resp. prime) left ideal is an intersection of maximal left ideals. There exist Jacobson rings that are not weakly left Jacobson, e.g. the Weyl algebra. Our main result is the following one-sided noncommutative Nullstellensatz: For any finite-dimensional F-algebra A the ring A[$x_1$,...,$x_n$] of polynomials with coefficients in A is strongly left Jacobson and every maximal left ideal of A[$x_1$,...,$x_n$] has finite codimension. We also prove that an Azumaya algebra is strongly left Jacobson iff its center is Jacobson and that an algebra that is a finitely generated module over its center is weakly left Jacobson iff it is Jacobson.

2025-03-20T10:15:35Z 21 pages J. Cimprič M. Schötz