https://arxiv.org/api/zT/JxniYgw6ZKhW0nbWGDKnNF5w 2026-06-21T07:50:44Z 20100 630 15 http://arxiv.org/abs/2504.14198v3 2026-03-18T04:06:10Z

An element of the algebra $M_n(\mathbb{F})$ of $n \times n$ matrices over a field $\mathbb{F}$ is called an involution if its square equals the identity matrix. Gustafson, Halmos, and Radjavi proved that any product of involutions in $M_n(\mathbb{F})$ can be expressed as a product of at most four involutions. In this article, we investigate the bijective linear preservers of the sets of products of two, three, or four involutions in $M_n(\mathbb{F})$.

2025-04-19T06:25:39Z v3, 25 pages. Minor revision following referee report. Improved exposition; arguments clarified. Revised Propositions 2.1, 2.2, and 3.2. Added proof of Lemma 2.4; corrected proof of Lemma 2.5 Chi-Kwong Li Tejbir Lohan Sushil Singla http://arxiv.org/abs/2603.16771v1 2026-03-17T16:48:18Z

We introduce a concept of the commuting probability of a skew left brace analogous to group theory. We establish upper and lower bounds for the commuting probability and prove that, for finite non-trivial skew left braces, it is always at most $\frac{3}{4}$. Interestingly, there is no skew left brace with commuting probability in the open interval $(5/8, 1)$, except $\frac{3}{4}$, for which we construct an explicit example. A characterization of skew left braces having commuting probability $\frac{3}{4}$ or $\frac{5}{8}$ is presented. We further show that the finite skew left braces with commuting probability larger than $\frac{65}{128}$ are necessarily nilpotent. We prove that the commuting probability remains invariant under isoclinism of skew braces. We introduce a concept of a compact Hausdorff topological skew left brace $B$, where we prove that the set of all elements of $B$ having finite centraliser index in $B$ is a Borel subgroup. For such infinite non-trivial skew left braces too $\frac{3}{4}$ is the upper bound for the commuting probability, and $\frac{3}{4}$ is the only rational number which occurs as commuting probability in the open interval $(5/8, 1)$.

2026-03-17T16:48:18Z 19 pages, comments highly welcome Susanta Mondal Manoj K. Yadav http://arxiv.org/abs/2603.16766v1 2026-03-17T16:45:29Z

Motivated by the recent development of noncommutative Novikov algebras and multi-Novikov algebras from the study of regularity structures of stochastic PDEs, this paper gives a general approach to study various multi-Novikov algebras and multi-differential algebras, with close connection with Poisson algebras. The construction of S. Gelfand of Novikov algebras from differential commutative algebras is generalized to this context. Free noncommuting multi-Novikov algebras are constructed from typed decorated rooted trees and from noncommuting multi-differential polynomials with populated conditions.

2026-03-17T16:45:29Z 27 pages. Comments welcome Xiaoyan Wang Li Guo Huhu Zhang http://arxiv.org/abs/2405.13223v3 2026-03-17T16:08:17Z

The famous Bloch--Kato conjecture implies that for a field $F$ containing a primitive $p$th root of unity, the cohomology ring of the absolute Galois group $G_F$ of $F$ with $\mathbb{F}_p$ coefficients is generated by degree one elements. We investigate other groups with this property and characterize all such groups that are finite. Restricting to the case of $p$-groups, our work answers a question of Quadrelli, Snopce and Vanacci posed in 2022. As a further step in this program, we study implications of the Bloch--Kato conjecture to cohomological invariants of finite field extensions. Conversely, these cohomological invariants have implications for refining the Bloch--Kato conjecture. In service of such a refinement, we define the notion of a decomposing field for a cohomology class of a finite field extension and study minimal decomposing fields of degree two cohomology classes arising from degree $p$ extensions. We illustrate this refinement by explicitly computing the cohomology rings of superpythagorean fields and $p$-rigid fields. Finally, we construct nontrivial examples of cohomology classes and their decomposing fields, which rely on computations by David Benson in the appendix.

2024-05-21T22:14:54Z 28 pages, to appear in the Journal of Number Theory Sunil K. Chebolu with an appendix by David Benson Ján Mináč with an appendix by David Benson Cihan Okay with an appendix by David Benson Andrew Schultz with an appendix by David Benson Charlotte Ure with an appendix by David Benson http://arxiv.org/abs/2411.16225v2 2026-03-17T13:29:13Z

We study the embeddings of the exceptional infinite-dimensional Lie superalgebra E(1,6) in the exceptional Lie superalgebras E(5,10) and E(4,4). These questions arose in the recent works on enhanced symmetries in some supersymmetric theories by N. Garner, S. Raghavendran, I. Saberi and B. Williams.

2024-11-25T09:35:56Z 18 pages COMMUNICATIONS IN CONTEMPORARY MATHEMATICS, 2025, pp. 1 - 23 Nicoletta Cantarini Fabrizio Caselli Victor Kac http://arxiv.org/abs/2512.23935v2 2026-03-17T12:46:33Z

A multiplicative subset $S$ of a ring $R$ is called \textit{strongly multiplicative} if $(\bigcap_{i\inΔ}s_iR)\cap S \neq \emptyset$ for each family $(s_i)_{i\inΔ}$ of elements in $S$. In this paper, we investigate how these sets help stabilize localization and ideal operations. We show that localization and arbitrary intersections commute, meaning $S^{-1}(\bigcap I_α) = \bigcap S^{-1}I_α$ for any family of ideals, if and only if $S$ is strongly multiplicative. Furthermore, we characterize some important classes of rings, such as total quotient rings and strongly zero-dimensional rings, in terms of strongly multiplicative sets. We also answer an open question by Hamed and Malek about whether this condition is needed for the existence of $S$-minimal primes. Furthermore, we demonstrate that if $S$ is a strongly multiplicative set and $S \not\subseteq U(R)$, then $S$-minimal primes are not classical prime ideals, and we provide an algorithmic approach to constructing such ideals. Finally, we prove a Strong Krull's Separation Lemma, which guarantees a maximal ideal disjoint from $S$. As an application of Strong Krull's Separation Lemma, we establish a one-to-one correspondence between the maximal ideals of $S^{-1}R$ and the maximal ideals of $R$ disjoint from a strongly multiplicative set $S$ of $R$.

2025-12-30T01:36:04Z This version includes minor revisions and improved proofs Suat Koç http://arxiv.org/abs/2507.15425v4 2026-03-17T10:17:20Z

As a special case of Bass' theory of perfect rings, one obtains the assertion that, over a finite-dimensional associative algebra over a field, all flat modules are projective. In this paper we prove the following relative version of this result. Let $R\rightarrow A$ be a homomorphism of associative rings such that $A$ is a finitely generated projective right $R$-module. Then every flat left $A$-module is a direct summand of an $A$-module filtered by $A$-modules $A\otimes_RF$ induced from flat left $R$-modules $F$. In other words, a left $A$-module is cotorsion if and only if its underlying left $R$-module is cotorsion. The proof is based on the cotorsion periodicity theorem.

2025-07-21T09:25:52Z LaTeX 2e, 13 pages; v.2: misprints corrected, Example 3.10 added at the end; v.3: three references added in the Introduction, Remark 3.3(4) added, a short paragraph inserted near the end of Example 3.10, the proof of Lemma 2.4 and the first paragraph of Remark 3.8 slightly shortened; v.4: two misprints corrected Proc. Amer. Math. Soc. 154 (2026), #6, p.2369-2381 Leonid Positselski 10.1090/proc/17632 http://arxiv.org/abs/1907.12825v5 2026-03-17T06:31:32Z

In this paper we introduce and develop the concept of expansivity of a tuple whose entries are elements from the polynomial ring $\mathbb{C}[x]$. As an inverse problem, we examine how to recover a tuple from the expanded tuple at any given phase of expansion. We convert the celebrated Sendov conjecture concerning the distribution of zeros of polynomials and their critical points into this language and prove some weak variants of this conjecture. We also apply this to the existence of solutions to differential equations. In particular, we show that a certain system of differential equation has no non-trivial solution. As an application we give a proof of Sendov's conjecture. We start by establishing the uniformly diminishing state of the mass of an expansion.

2019-07-30T10:26:39Z 47 pages; the paper has been reformatted and introduction expanded; ideas remains unchanged Theophilus Agama http://arxiv.org/abs/2603.15543v1 2026-03-16T17:07:06Z

We investigate the Drazin invertibility of adjacency matrices associated with a class of oriented graphs known as oriented Dutch windmill graphs. By analyzing walks of prescribed lengths and exploiting the structure of the minimal polynomial, we obtain explicit expressions for the Drazin inverse and determine its index. The approach combines combinatorial enumeration with algebraic matrix analysis, offering a constructive characterization that generalizes known results for paths, cycles, and bipartite graphs. Beyond its intrinsic theoretical value, the framework provides insight into discrete models governed by cyclic feedback and may serve as a basis for symbolic computation of generalized inverses in structured networks.

2026-03-16T17:07:06Z C. Mendes Araújo Faustino Maciala Pedro Patrício http://arxiv.org/abs/2602.05192v2 2026-03-16T15:54:33Z

To assess the ability of current AI systems to correctly answer research-level mathematics questions, we share a set of ten math questions which have arisen naturally in the research process of the authors. The questions had not been shared publicly until now; the answers are known to the authors of the questions but will remain encrypted for a short time.

2026-02-05T01:37:14Z 9 pages, including the statements of the ten questions Mohammed Abouzaid Andrew J. Blumberg Martin Hairer Joe Kileel Tamara G. Kolda Paul D. Nelson Daniel Spielman Nikhil Srivastava Rachel Ward Shmuel Weinberger Lauren Williams http://arxiv.org/abs/2603.15385v1 2026-03-16T15:00:04Z

In this paper, we introduce the point-exact condition for a Koszul algebra $A$, which is useful for characterizing the (G1) condition of $A$ in the sense of Mori. Let $B = A/(f)$, where $f \in A_2$ is a regular normal element. We show that if $A$ satisfies the (G1) condition and is point-exact up to degree $\ell \geq 2$, then $B$ also satisfies the (G1) condition and is point-exact up to degree $\ell$. Moreover, we show that skew polynomial algebras satisfy the point-exact condition.

2026-03-16T15:00:04Z 22 pages; all comments are welcome Haigang Hu Wenchao Wu Yu Ye http://arxiv.org/abs/2404.04976v6 2026-03-16T13:53:26Z

Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field, respectively. We bi-interpret these theories in terms of real closed fields and we prove they are complete, model complete and they do not have quantifier elimination. Then, we focus on the class of ordered polynomials. Over $\mathbb{H}$ and $\mathbb{O}$ these polynomials are of special interest in hypercomplex analysis since they are slice regular. We deduce some fundamental properties of their zero loci from model completeness and we introduce the notions of algebraic sets and Zariski topology. Finally, we prove the failure of quantifier elimination for the fragment of ordered formulas and we completely characterize the family of algebraic sets.

2024-04-07T14:35:17Z We added some results concerning algebraic sets and the Zariski topology over quaternions and ocronions. Updated references. This is the final revised version accepted for publication in Annali di Matematica Pura e Applicata Ann. Mat. Pura Appl. (4) (2026) Enrico Savi 10.1007/s10231-026-01676-2 http://arxiv.org/abs/2603.14735v1 2026-03-16T02:11:36Z

The aim of this paper is to introduce the notion of (noncommutative) transposed Poisson conformal algebras, which serve as the conformal analogues of transposed Poisson algebras and admit a rich class of identities. We show that the tensor product of two transposed Poisson conformal algebras is also a transposed Poisson conformal algebra. Moreover, we establish a close relationship between transposed Poisson conformal algebras and Hom-Lie conformal algebras, and give the compatibility conditions between a Poisson conformal algebra and a transposed Poisson conformal algebra. In addition, we provide several constructions of transposed Poisson conformal algebras arising from related algebraic structures. Finally, a complete classification of compatible noncommutative transposed Poisson conformal algebraic structures over a class of Lie conformal algebras W(a, b) is given.

2026-03-16T02:11:36Z 21 pages, no figures Lamei Yuan Hao Fang http://arxiv.org/abs/2603.14710v1 2026-03-16T01:39:05Z

In this paper, we introduce and study post-Lie conformal algebras (PLCAs), a generalization of post-Lie algebras to conformal algebras. We establish an equivalence between PLCA structures and Rota-Baxter operators of weight 1 on Lie conformal algebras. We also show that every PLCA induces a new Lie conformal algebra and study PLCA structures on pairs of Lie conformal algebras. Finally, we classify all PLCA structures on two important classes of Lie conformal algebras: B(q) and W(b), achieved through Rota-Baxter operators of weight 1.

2026-03-16T01:39:05Z 23 pages, no figures Lamei Yuan Yuhui Tan http://arxiv.org/abs/2002.07369v2 2026-03-15T14:55:48Z

The author is mainly interest in the Gröbner-Shirshov bases of finite Coxeter groups. It is known that the finite Coxeter groups are classified in terms of Coxeter-Dynkin diagrams. Under the fixed order, it is worth mention that the presentation of group determines the Gröbner-Shirshov bases of group. In this paper, the author rearranges the generators, marks them on Coxeter-Dynkin diagrams, and gets a simple presentation of the Gröbner-Shirshov bases for Coxeter groups of types $G_2, F_4, E_6$ and $E_7$. This article also gives the Gröbner-Shirshov basis of Coxeter group of type $E_8$.

2020-02-18T04:42:52Z 4 figures Xiaowei Pang Jun Wang