https://arxiv.org/api/sRssslNGjsVpyjuzyshHHPY34XA2026-06-15T01:11:58Z2007252515http://arxiv.org/abs/2511.09395v2An Exceptional 7-dimensional Real Algebra: Octonions, $G_2$, and the Fano Plane2026-03-27T18:51:26ZWe study a seven-dimensional non-associative algebra, the \emph{exceptional Vidinli algebra}, defined by lifting the bilinear product introduced by Hüseyin Tevfik Pasha (Vidinli) in 1882 from three to seven dimensions via the octonionic cross product. This algebra is unital, simple, and non-associative, with automorphism group $U(3)$. Its multiplication splits canonically into a simple Jordan algebra and a Heisenberg Lie algebra, realizing the Jordan--Lie structure of the exceptional Vidinli algebra. Every principal 2-plane through the unit is isomorphic to $\C$, and every principal 3-plane is isomorphic to a twisted Vidinli algebra introduced below. %as the parameter $t$ varies, the complete twisted family $\{\mathcal{V}_t\}$ is realized inside $\V_7$. The main result is a $(\Z/2)^3$ grading of the cross product, under which the multiplication table of the exceptional Vidinli algebra is determined by three explicit rules with no reference to the calibration form. This grading unifies three structures through a single group: the Fano plane $\mathrm{PG}(2,2)$, whose lines correspond to the Vidinli subalgebras and Vidinli-Jordan subalgebras, %of $\V_7$, the discrete family of directional Vidinli algebras indexed by the nonzero elements of $(\Z/2)^3$, and the Heisenberg partition of basis pairs, which realizes the Fano incidence relation as a commutator condition. The resulting Fano-Vidinli duality identifies $(\Z/2)^3$ as the common source of both the Fano geometry and the Vidinli family.2025-11-12T15:03:38ZOlcay CoskunAlp Edenhttp://arxiv.org/abs/2603.26626v1New directions in the study of prime ideals in rational, nilpotent Iwasawa algebras2026-03-27T17:26:14ZLet G be a nilpotent p-valuable (compact p-adic Lie) group. There is an ongoing investigation into the prime ideals of its completed group algebra (Iwasawa algebra), and there remains an open conjecture that they can all be proved to have a canonical standard form. We very this conjecture for several new classes of nilpotent groups, including those corresponding to the positive subalgebra of almost all classical and exceptional types, curiously excluding those of type C.2026-03-27T17:26:14Z23 pagesAdam JonesWilliam Woodshttp://arxiv.org/abs/2603.26616v1Ultrahomogeneity and $ω$-categoricity of monounary algebras2026-03-27T17:11:54ZUltrahomogeneity and $ω$-categoricity are two central concepts arising from model theory, with strong connections with oligomorphic permutation groups and quantifier elimination. In particular, both are conditions on the automorphism group of a structure.
The aim of this paper is to describe both the $ω$-categorical monounary algebras and the ultrahomogeneous monounary algebras of arbitrary cardinalities. We show that a monounary algebra is $ω$-categorical [ultrahomogeneous] if and only if every element has finite height and Aut$(\mathcal{A})$ has only finitely many 1-orbits [$\mathcal{A}$ is 1-ultrahomogeneous]. Our classification of ultrahomogeneous monounary algebras is then viewed in the context of previously studied variants of ultrahomogeneity, including (partial)-homogeneity and transitivity.2026-03-27T17:11:54ZThomas Quinn-Gregsonhttp://arxiv.org/abs/2603.26508v1Semirings of formal sums and injective partial transformations2026-03-27T15:18:48ZThe semiring of discrete dynamical systems is a simple algebraic model for modularity in deterministic systems. The objects of the semiring are finite transformations (viewed as directed graphs and regarded up to isomorphism), the sum of two transformations corresponds to applying them independently on distinct sets, and the product corresponds to applying both transformations in parallel. In this paper, we extend this semiring to include partial transformations; the sum and product are natural generalisations. Each (partial) transformation can be viewed as a sum (over $\mathbb{N}$) of connected (partial) transformations. We generalise this idea by working in semirings of formal sums over any semiring $\mathbb{S}$. Here we consider the case where $\mathbb{S} = \mathbb{F}_2$, the binary field, and we focus on injective partial transformations, i.e. sums of chains and cycles. While no efficient algorithm for the division problem for sums of cycles in the original semiring of discrete dynamical systems is known, we give a concise characterisation of all the solutions of the division problem for sums of cycles over $\mathbb{F}_2$. We then extend this characterisation to dividing any injective partial transformations, i.e. sums of chains and cycles over $\mathbb{F}_2$.2026-03-27T15:18:48ZMaximilien GadouleauMarianne Johnsonhttp://arxiv.org/abs/2411.18904v2Polynomial integrable systems from cluster structures2026-03-27T14:07:49ZWe present a general framework for constructing polynomial integrable systems on linearizations of Poisson varieties that admit log-canonical systems. Our construction is in particular applicable to Poisson varieties with compatible cluster or generalized cluster structures. As examples, we consider a standard complex semi-simple Poisson Lie group $G$ and a Borel subgroup $B$ of $G$, equipped with the Berenstein-Fomin-Zelevinsky cluster structures; the unipotent Lie subgroup $N_w$ of $G$ associated to any $w$ in the Weyl group of $G$, equipped with the cluster structure on the corresponding Schubert cell as first defined by Geiss-Leclerc-Schröer when $G$ is simply-laced; and the dual Poisson Lie group ${\rm GL}(n, \mathbb C)^*$ of the standard Poisson Lie group ${\rm GL}(n, \mathbb C)$, equipped with the Gekhtman-Shapiro-Vainshtein generalized cluster structure. In each of these four cases, we show that every extended cluster in the respective cluster or generalized cluster structure gives rise to at least one polynomial integrable system with respect to the linearization of the Poisson structure at the identity element. For some of the polynomial integrable systems, we show that all their Hamiltonian flows are complete.
Just as generalized minors on a complex semi-simple Lie group $G$ are used to describe certain initial extended clusters in the Berenstein-Fomin-Zelevinsky cluster structure on $G$, we introduce a special class of homogeneous polynomials, called signed generalized minors, on the Lie algebra $\mathfrak{g}$ of $G$, which are then used to describe some of the polynomial integrable systems obtained via our construction. As a further application, we use the homogeneous degrees of certain signed generalized minors to give an explicit formula for the index of the Lie algebra of $N_w$ for every $w$ in the Weyl group.2024-11-28T04:29:53ZYanpeng LiYu LiJiang-Hua Luhttp://arxiv.org/abs/2310.05257v5Linear algebra over T-pairs2026-03-27T13:56:12ZThis is part of an ongoing project to find a general algebraic framework for semiring theory. The structure theory of semirings is quite challenging, largely because of the lack of negation, and such basic properties such as unique factorization of polynomials, multiplicativity of determinants, and the characteristic polynomial of a matrix, all fail. (In fact in the max-plus algebra, the sum of two nonzero elements is never zero!) Consequently 0 is replaced by a distinguished T-submodule $ A_0$ of $ A,$ and $( A, A_0)$ is called a ``pair.'' This paper treats linear algebra over a (not necessarily distributive) semiring pair, with a range of applications to tropical algebra as well as related areas such as hyperrings and fuzzy rings.
We turn to matrices and the question of whether the row rank, column rank, and submatrix rank of a matrix are equal. The submatrix rank is less than or equal to the row rank and the column rank in many cases, including ``metatangible pairs'' with unique negation, but there is a counterexample to equality, discovered some time ago by the second author, which we provide in a more general setting (``pairs of the second kind'') that includes the hyperfield of signs. We do find situations when equality holds, encompassing results by Akian, Gaubert, Guterman, Izhakian, Knebusch, and Rowen, including versions of Cramer's rule. We pay special attention to the question of Baker and Zhang whether $n+1$ vectors of length $n$ need be dependent.
At the conclusion of the main part, we consider surpassing relations, which permit us to tighten our results. The categorical setting is given in the appendix.2023-10-08T18:27:14ZRevision of the previous version, 50 ppMarianne AkianStephane GaubertLouis Rowenhttp://arxiv.org/abs/2603.26368v1The Image of Functor Morphing2026-03-27T12:51:13ZFunctor morphing provides a method to translate complex representations of automorphism groups of finite modules over finite rings to representations of automorphism groups of functors in some abelian category. In this paper we give an explicit criterion for a representation to be in the image of functor morphing using the action of parabolic subgroups. We then demonstrate this criterion on Borel groups of finite fields.2026-03-27T12:51:13ZEhud Meirhttp://arxiv.org/abs/2603.26315v1The structure of $\mathbb{Z}_nG$ and its unit group2026-03-27T11:33:58ZThis article determines the structure of the group ring $\mathbb{Z}_nG$, where $G$ is a finite group and $\mathbb{Z}_n$ is the ring of integers modulo $n$, such that $n$ is relatively prime to the order of $G$. The decomposition of $\mathbb{Z}_nG$ is given as a direct sum of matrix rings over Galois rings, thereby extending the structural theory of group rings beyond the classical field setting. We also provide a method to compute a generating set of the unit group $\mathcal{U}(\mathbb{Z}_nG)$, in terms of elementary matrices, using Shoda pair theory. The results are illustrated with examples.2026-03-27T11:33:58ZJyoti GargSugandha MaheshwaryHimanshu Setiahttp://arxiv.org/abs/2507.01650v5Quasi-triangular, factorizable anti-dendriform bialgebras and relative Rota-Baxter operators2026-03-27T02:50:20ZWe introduce the notion of quasi-triangular anti-dendriform bialgebras, which can be induced by the solutions of the AD-YBE whose symmetric parts are invariant. A factorizable anti-dendriform bialgebra leads to a factorization of the underlying anti-dendriform algebra. Moreover, relative Rota-Baxter operators with weights are introduced to characterize the solutions of the AD-YBE whose symmetric parts are invariant. Finally, we interpret factorizable anti-dendriform bialgebras in terms of quadratic Rota-Baxter anti-dendriform algebras.2025-07-02T12:23:15Z19 pagesQinxiu SunMin Wuhttp://arxiv.org/abs/2605.08089v1Finite products in commutative monoids: well-definition, recursion on finite subsets, and why the empty product is $1$2026-03-26T18:30:01ZThe convention "empty product $=1$" is ubiquitous in mathematics, but often appears without an explicit structural justification. This note provides a self-contained reference to this fact in the context of commutative monoids. We construct the product of an indexed family by a finite set, prove its enumeration independence, and show that it is uniquely characterized by a recursion scheme in Fin$(I)$: value in the empty set and insertion rule of a new index. In particular, the value of the empty product is necessarily the neutral element $1$. We further record two complementary and independent justifications of this fact: one via the list-free monoid and another via distributive identities in semi-rings. Next, we formulate the same phenomenon in universal terms by means of the commutative multiset-free monoid of finite support. We also discuss partially commutative extensions, via trace monoids and heaps, and include brief applications in linear algebra, survival statistics, category theory, and analysis. The corresponding additive version recovers, by the same principle, the identity "empty sum $=0$".2026-03-26T18:30:01ZJoão Victor Monteiros de AndradeLeonardo Santos da Cruzhttp://arxiv.org/abs/2603.25134v1Leavitt path algebras having Graded Invariant Basis Number2026-03-26T07:55:42ZIn this paper, we study the Graded Invariant Basis Number (grIBN) property for Leavitt path algebras of finite graphs. Using the talented monoid as our main tool, we establish a complete matrix-theoretic characterization of when a Leavitt path algebra of a finite graph fails to have gr-IBN. Consequently, we identify several classes of graphs whose Leavitt path algebras have gr-IBN, including graphs with sinks, Cayley graphs, and Hopf graphs associated with finite groups. We also investigate the preservation of gr-IBN under quotients by hereditary saturated subsets and under Cartesian products of graphs.2026-03-26T07:55:42ZNgo Tan Phuchttp://arxiv.org/abs/2603.25079v1The algebraic and geometric classification of $δ$-Novikov algebras2026-03-26T06:28:27ZThe notion of $δ$-Novikov algebras was introduced recently as a generalization of Novikov and bicommutative algebras. It looks like $δ$-Novikov algebras have a richer structure than Novikov algebras. So, unlike Novikov algebras, they have a $2$-dimensional simple algebra for $δ=-1.$ The present paper is dedicated to the study of $3$-dimensional $δ$-Novikov algebras for $δ\notin \big\{0,1\big\}.$ The algebraic and geometric classifications of complex $3$-dimensional $δ$-Novikov algebras are given. As a corollary, we prove that there are no simple $3$-dimensional $δ$-Novikov algebras.2026-03-26T06:28:27ZarXiv admin note: substantial text overlap with arXiv:2505.00720, arXiv:2601.22110, arXiv:2407.05429, arXiv:2408.07078, arXiv:2307.00289, arXiv:2308.00374, arXiv:2205.00444Hani AbdelwahabIvan KaygorodovRoman Lubkov10.1007/s40590-025-00827-4http://arxiv.org/abs/2603.24911v1The algebra of invariants of a complete path algebra2026-03-26T00:56:11ZWe prove that the algebra of invariants of a complete path algebra under the action of a homogeneous group of continuous algebra automorphisms is a complete path algebra and preserves finite or tame representation type.2026-03-26T00:56:11Z10 pagesSamuel Quirinohttp://arxiv.org/abs/2502.19641v6Characterizing categoricity in the class $Add(M)$2026-03-26T00:38:43ZWe show that the condition of being categorical in a tail of cardinals can be characterized for the class of $R$-modules of the form $\Add(M)$. More precisely, let $R$ be a ring and $M$ be an $R$-module which can be generated by $\leq \aleph$ elements. Then $\Add(M)$ is $κ$-categorical in all $κ>\Vert R\Vert+\aleph+\aleph_0$ if and only if $\Add(M)$ is $κ$-categorical in some $κ>\Vert R\Vert+\aleph+\aleph_0$; if and only if every $R$-module of cardinal $κ$ in $\Add(M)$ is $M$-free for all $κ>\Vert R\Vert+\aleph+\aleph_0$; if and only if every $R$-module of cardinal $(\Vert R\Vert+\aleph+\aleph_0)^{+}$ in $\Add(M)$ is $M$-free.
As an application, we show that the class of pure-projective $R$-modules is categorical in some (all) big cardinal if and only if the module $P^{(\aleph_0)}$ is free for each countably generated pure-projective $R$-module $P$; the class of semisimple $R$-modules is categorical in some (all) big cardinal if and only if $R$ admits a unique simple module up to isomorphism, partly answering a question proposed in [5, Mazari-Armida M., Characterizing categoricity in several classes of modules. J. Algebra 617, 382-401 (2023)].2025-02-27T00:22:19ZXiaolei Zhanghttp://arxiv.org/abs/2602.07314v2Hom-unitality and hom-associative structures2026-03-25T22:41:53ZWe study hom-associative structures on general possibly non-associative algebras focusing on one-sided and two-sided unital algebras. New characterizations and aspects of these structures, along with some important subclasses, are explored for nonassociative algebras. By exploiting the observation that the twisting linear map in the hom-associativity axiom of one-sided unital hom-associative algebras is a left or right multiplication operator by an element of the algebra (obtained by the action of the twisting map on a corresponding one-sided unity), a new characterization of the multiplicative twisting operators (or, in other words, the multiplicative hom-associative algebras) is established for one-sided unital algebras. This demonstrates a strong connection between multiplicativity in hom-associative structures and the idempotents of the algebra, thereby further enhancing our understanding of the structure and special nature of multiplicative hom-associative algebra structures as a special subclass of arbitrary hom-associative structures with arbitrary linear twisting maps. Furthermore, new insights into subspaces and a subalgebra of hom-unities, that is, elements that induce hom-associativity by multiplication, are obtained. Moreover, because non-unital hom-associative algebras need not be twisted by a multiplication operator, a unitalization process is employed to describe a subalgebra of two-sided hom-unities that induce hom-associative structures on such algebras. This is formulated in terms of the eigenspaces of multiplication operators within the algebra. Additionally, the obtained insights and general results about the structure and characterization of hom-algebra structures are applied to some important known general classes of non-associative algebras, such as commutative, possibly non-associative algebras, Cayley-Dickson algebras, Leibniz algebras, and hom-Leibniz algebras.2026-02-07T02:08:07ZTypos corrected, presentation improvedGermán García ButenegroAbdennour KitouniSergei Silvestrov