https://arxiv.org/api/NxkYCen4mKVj1ufBLBW39qlQIjs 2026-03-22T10:07:29Z 19723 15 15 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 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/2602.19209v2 2026-03-16T14:30:48Z

We survey theory developed over the past 10 years of semirings which need not be additively cancellative. The main feature is a specified ``null ideal'' $\mcA_0$ of a semiring $\mcA,$ taking the place of a zero element, which permits generalizations of the classical algebraic theory to polynomials and their roots, algebraic geometry, matrices, linear algebra, varieties, categories, and module theory. The ``pair'' $(\mcA,\mcA_0)$ is studied along the lines of universal algebra.

2026-02-22T14:39:30Z 34 pages with a few minor corrections: includes 59-entry bibliography Louis Halle Rowen 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 Enrico Savi http://arxiv.org/abs/2603.15148v1 2026-03-16T11:41:27Z

We provide a clarification of the classification of two-dimensional algebras over an arbitrary base field. Using this clarification, we determine the number of non-isomorphic two-dimensional algebras over a finite field.

2026-03-16T11:41:27Z Bekbaev U http://arxiv.org/abs/2603.15048v1 2026-03-16T09:58:04Z

We consider homomorphisms of complete, separated right or two-sided linear topological rings with countable bases of neighborhoods of zero $\mathfrak f\colon\mathfrak R\to\mathfrak S$. Taut maps of right linear topological rings, strongly right taut maps of two-sided linear topological rings, left proflat continuous ring maps, and topological ring epimorphisms are discussed. For a left proflat topological ring epimorphism $\mathfrak f$, we show that the functor of restriction of scalars on the categories of left contramodules $\mathfrak f_\sharp\colon\mathfrak S{-}\mathsf{Contra}\longrightarrow\mathfrak R{-}\mathsf{Contra}$ is fully faithful. Assuming that the contramodule-to-module forgetful functor $\mathfrak R{-}\mathsf{Contra}\longrightarrow\mathfrak R{-}\mathsf{Mod}$ is fully faithful and the topological ring map $\mathfrak f$ is left proflat, we prove that the commutative square of forgetful functors between the left contramodule and module categories over $\mathfrak S$ and $\mathfrak R$ is a pseudopullback diagram. This provides a description of the essential image of $\mathfrak f_\sharp$ under the conjunction of the respective assumptions. The left adjoint functor to $\mathfrak f_\sharp$ always exists, but is not exact even when $\mathfrak f$ is (pro)flat. A right adjont functor to $\mathfrak f_\sharp$ does not always exist, but for a left proflat map $\mathfrak f$ we construct it explicitly and show that it has good exactness properties. This work is motivated by the theory of contraherent cosheaves of contramodules on formal schemes.

2026-03-16T09:58:04Z LaTeX 2e with mathrsfs and xy-pic; 53 pages, 15 commutative diagrams Leonid Positselski 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 http://arxiv.org/abs/2505.08268v4 2026-03-15T12:59:01Z

We study a nonlinear analogue of additive commutators, known as \textit{polynomial commutators}, defined by $p(ab) - p(ba)$ for a polynomial $p \in F[x]$ and elements $a, b$ in an algebra $R$ over a field $F$. Originally introduced by Laffey and West for matrices over fields, this notion is here extended to broader algebraic settings. We first show that in division rings, polynomial commutators can generate maximal subfields and even the entire ring as an algebra. In the matrix setting, we prove that matrices similar to ones with zero diagonal are polynomial commutators, and under mild assumptions, every matrix can be written as a product of at most three such commutators. Furthermore, we demonstrate that the matrix algebra can be decomposed as the sum of its center and the linear span of all polynomial commutators. Using the theory of rational identities in division rings, we also exhibit that the trace of a polynomial commutator in the matrix ring can be nonzero in noncommutative cases. Lastly, we explore the size of polynomial commutators via matrix norms.

2025-05-13T06:34:08Z Communications in Mathematics, Volume 34 (2026), Issue 1 (March 17, 2026) cm:16053 Truong Huu Dung Tran Nam Son Pham Duy Vinh 10.46298/cm.16053 http://arxiv.org/abs/2603.14142v1 2026-03-14T22:16:22Z

We study generalized inverses for matrices associated with double star digraphs. Explicit block formulas and existence criteria are obtained for core, dual core, core EP, and dual core EP inverses, expressed in terms of explicit algebraic criteria derived from the underlying block structure. Other combined outer pseudoinverses, combining Moore--Penrose and core-type inverses, are derived with existence criteria.

2026-03-14T22:16:22Z Faustino Maciala C. Mendes Araújo Pedro Patrício