https://arxiv.org/api/i/vyFA4rk51y19dTJangM1K5+/I 2026-06-13T16:47:17Z 20068 75 15 http://arxiv.org/abs/2606.04789v1 2026-06-03T12:14:51Z

The independence polynomial of a graph encapsulates all independent sets of differing sizes, a task classified as NP-hard in theoretical computer science. This article examines the independence polynomial of zero divisor graphs in commutative rings. We demonstrate that the independent sets, represented as a sequence of coefficients of the independence polynomial, exhibit unimodality and log-concavity. Therefore, for the independence polynomial of some zero divisor graphs, the unimodal conjecture is true. Additionally, the characteristics of the zeros of the independence polynomial are delineated, along with their corresponding annular regions on the plane.

2026-06-03T12:14:51Z 27 pages, 9 figues Bilal Ahmad Rather http://arxiv.org/abs/2602.09320v3 2026-06-03T12:04:28Z

A skew brace $A = (A,\cdot,\circ)$ is said to be \textit{left-simple} if $A\neq1$ and it has no left ideal other than $1$ and $A$. The purpose of this paper is to give a partial classification of the finite left-simple skew braces. A result of Stefanello and Trappeniers implies that finite left-simple skew braces correspond precisely to minimal Hopf--Galois structures on finite Galois extensions of fields.

2026-02-10T01:28:09Z JoNAS - Journal of Non-Associative Structures, Volume 1 (2026), Issue 1 (June 4, 2026) jonas:17536 Cindy Tsang 10.46298/jonas.17536 http://arxiv.org/abs/2505.00645v2 2026-06-03T11:53:59Z

In this note, we construct a family of semisimple Hopf algebras $H_{n,m}$ of dimension $n^m m!$ over a field of characteristic zero containing a primitive $n$th root of unity, where $n, m \geq 2$ are integers. The well-known eight-dimensional Kac--Paljutkin algebra arises as the special case $H_{2,2}$, while the Hopf algebras previously constructed by Pansera correspond to the instances $H_{n,2}$. Each algebra $H_{n,m}$ is defined as an extension of the group algebra $\mathbb{K} Σ_m$ of the symmetric group by the $m$-fold tensor product $R = \mathbb{K} \mathbb{Z}_n^{\otimes m}$, where $\mathbb{Z}_n$ denotes the cyclic group of order $n$. This extension admits a realization as a crossed product: $H_{n,m} = \mathbb{K} \mathbb{Z}_n^{\otimes m} \#_γΣ_m$. In the final section, we construct a family of irreducible $m$-dimensional representations of $H_{n,m}$ that are inner faithful as $R$-modules and exhibit a nontrivial inner-faithful action of a subalgebra of $H_{n,m}$ on a quantum polynomial algebra.

2025-05-01T16:35:47Z added some remarks about how to view the constructed Hopf algebras as an element of Opext(KΣ_m, K^G) Christian Lomp http://arxiv.org/abs/2606.04747v1 2026-06-03T11:28:43Z

A non-zero unital ring $R$ is said to be centrally essential if for every nonzero element $a$ of $R$, there exist non-zero central elements $x$ and $y$ with $ax = y$. In the paper, almost fully prime centrally essential rings are described in terms of ideal extensions, centrally essential Dorroh extensions, and trivial extensions.

2026-06-03T11:28:43Z Oleg Lyubimtsev Askar Tuganbaev http://arxiv.org/abs/2606.04726v1 2026-06-03T11:07:32Z

A ring $R$ with a non-zero identity element is said to be centrally essential if for any non-zero element $a\in R$, there exist non-zero central elements $x,y\in R$ such that $ax = y$. We describe centrally essential rings in a large subclass of formal triangular matrix rings and in a subclass of the matrix ring $M_3(R)$ over the ring $R$.

2026-06-03T11:07:32Z Oleg Lyubimtsev Askar Tuganbaev http://arxiv.org/abs/2509.25737v2 2026-06-02T22:03:38Z

We use the formalism of Poincaré $ \infty $-categories, as developed by Calmès-Dotto-Harpaz-Hebestreit-Land-Moi-Nardin-Nikolaus-Steimle, to define and study moduli stacks of line bundles with $ λ$-hermitian pairings and of Morita equivalence classes of Azumaya algebras equipped with an involution. Our moduli spaces give rise to enhancements of the ordinary Picard and Brauer groups which incorporate the data of an involution on the base; we will refer to these new invariants as the Poincaré Picard group and the Poincaré Brauer group. We show that we can recover the involutive Brauer group of Parimala-Srinivas from the Poincaré Brauer group when the former is defined; however, they no longer agree even for closed points due to the existence of shifted perfect pairings. A natural context for Poincaré Picard and Poincaré Brauer groups is a category of highly structured ring spectra which we refer to as Poincaré rings. We also compute these invariants for the sphere spectrum and other examples. As a consequence, we deduce a derived enhancement of a classical theorem of Saltman.

2025-09-30T03:50:41Z largely minor changes and corrections; this version includes discussion of comparison with work of Fröhlich--Wall on equivariant Brauer groups Viktor Burghardt Noah Riggenbach Lucy Yang http://arxiv.org/abs/2605.20516v2 2026-06-02T18:54:09Z

Let k be an algebraically closed field of characteristic zero and let k_q[x,y] be the quantum plane. We study sigma-derivations of k_q[x,y] and their isotropy groups under the conjugation action of automorphisms. For q\neq\pm1, we use Jordan's recent classification of skew derivations for toric automorphisms, which generalizes the description of Almulhem and Brzeziński for the quantum plane. Using this classification, we determine the isotropy groups of arbitrary sigma-derivations. These groups are described by character equations on the torus k^2, reducing the problem to arithmetic conditions. We recover the ordinary derivation case when sigma=id and exhibit new phenomena for nontrivial sigma-derivations, including cases where q is a root of unity. We also analyze the singular case q=-1. In this setting, we classify the sigma-derivations and describe the corresponding isotropy groups. In particular, for sigma=id, we obtain an explicit description of the isotropy groups of ordinary derivations of k_q[x,y], completing the singular case left open in previous work \cite{SBVA}.

2026-05-19T21:36:39Z R. Baltazar R. Cavalheiro http://arxiv.org/abs/2605.22745v3 2026-06-02T17:28:30Z

We develop a first and second fundamental theorem for $n$--tuples of bosonic and fermionic matrices, by developing graded analogues of the classical case.

2026-05-21T17:15:00Z Claudio Procesi http://arxiv.org/abs/2606.03791v1 2026-06-02T15:41:34Z

A group is called realizable if it is the group of units in a ring with identity. The classification of realizable groups is a difficult open problem -- originally posed by László Fuchs -- and is an active area of research. Realizable groups seem rare, but their proportion within a fixed class of groups (cyclic, dihedral, finite abelian, etc.) varies. To quantify this proportion, we introduce the realizable density of a class of finite groups as an analog of natural density for subsets of the natural numbers. The realizable finite cyclic groups and the realizable finite abelian $p$-groups for $p$ odd have been classified; we prove that their realizable densities are 1/4 and 0, respectively. The realizable finite abelian 2-groups -- and more generally the realizable finite abelian groups -- have not been fully classified, and these special cases appear quite difficult. Nonetheless, we prove that the realizable density of finite abelian 2-groups is 1 and the realizable density of finite abelian groups is 1/2. Our work combines existing classification theorems for realizable groups with tools from analytic number theory.

2026-06-02T15:41:34Z 16 pages Sunil K. Chebolu Keir Lockridge http://arxiv.org/abs/2407.21389v2 2026-06-02T15:17:58Z

Let $\Bbbk$ be an algebraically closed field of characteristic $0$ and let $H$ be a finite-dimensional Hopf algebra over $\Bbbk$ with the dual Chevalley property. In this paper, we give a description of the link quiver of $H$ for different corepresentation types. Moreover, we show that $\operatorname{gr}^c(H)$ is of tame corepresentation type if and only if $\operatorname{gr}^c(H)\cong (\k\langle x,y\rangle/I)^* \times H_0$ for some special ideals $I$. Using the methods of link quivers and bosonization, we then discuss which of the above ideals occur when $(\Bbbk\langle x,y\rangle/I)^* \times H_0$ is a Hopf algebra of tame corepresentation type under certain assumptions.

2024-07-31T07:28:05Z Jing Yu Gongxiang Liu http://arxiv.org/abs/2411.05490v2 2026-06-02T13:48:24Z

We present a comprehensive study of two new Poisson-type algebras. Namely, we are working with $δ$-Poisson and transposed $δ$-Poisson algebras. Our research shows that these algebras are related to many interesting identities. In particular, they are related to shift associative algebras, $F$-manifold algebras, algebras of Jordan brackets, etc. We classify simple $δ$-Poisson and transposed $δ$-Poisson algebras and found their depolarizations. We study $δ$-Poisson and mixed-Poisson algebras to be Koszul and self-dual. Bases of the free $δ$-Poisson and mixed-Poisson algebras generated by a countable set $X$ are constructed.

2024-11-08T11:43:30Z Hani Abdelwahab Ivan Kaygorodov Bauyrzhan Sartayev http://arxiv.org/abs/2605.20008v2 2026-06-02T12:54:30Z

Let $G$ be a group and let $R$ be a $G$-graded ring. We show that every nonzero central idempotent in $R$ has finite support group in two broad settings: when $G$ is abelian, and when $G$ is arbitrary but the grading satisfies a certain one-sided non-annihilation condition on nonzero homogeneous elements. In particular, under the respective hypotheses, if $G$ is torsion-free, then every central idempotent lies in the principal component of the grading. Our results generalize earlier results by H. Bass, R. G. Burns, and A. A. Bovdi--S. V. Mihovski, from group rings and crossed products, to non-commutative, possibly non-unital, group-graded rings. We demonstrate the utility of our results by applying them to semigroup-graded rings, Leavitt path rings, fractional skew monoid rings, partial skew group rings, and algebraic Cuntz-Pimsner rings.

2026-05-19T15:39:19Z 11 pages. Minor improvements of the presentation from v1 with the addition of references, Example 3.2 and Remark 3.7 Johan Öinert http://arxiv.org/abs/2606.03526v1 2026-06-02T11:48:36Z

In this paper, we introduce a new type of ring, called quasi-nil clean ring, where each element of the ring is the sum of a quasi-idempotent and a nilpotent element. We also investigate a particular class of ring, called strongly quasi-nil clean ring whose each element is the sum of a quasi-idempotent and a nilpotent element, where they commute. Our primary objective is to study the structural properties of these new class of rings, explore their relationships with existing classes of rings and establish some key characterizations. In the commutative setting, we provide a complete characterization in terms of quasi-Boolean quotients. Moreover we discuss about quasi-cleanness of amalgamated algebra and group ring.

2026-06-02T11:48:36Z Saikat Das Sukhendu Kar http://arxiv.org/abs/2606.03501v1 2026-06-02T11:21:06Z

Recall that a module is called weakly uniserial if its submodules are comparable regarding embedding. Weakly uniserial modules are a nontrivial generalization of uniserial modules. In this paper we define and study a new dimension, which measure how far a module deviates from being weakly uniserial. We call this dimension, weakly uniserial dimension. Also, we define and study monoartinian (mononoetherian) modules. We say that an $R$-module $M$ is monoartinian (mononoetherian) if in every descending (ascending) chain of submodules of $M$, except probably a finite number, each module in chain embedded in the next (previous) one. We show that a module has weakly uniserial dimension if and only if it is monoartonian.

2026-06-02T11:21:06Z Nasrin Shirali Reza Beyranvand Saba Shirzadi http://arxiv.org/abs/2606.03454v1 2026-06-02T10:32:31Z

Let $\mathbb D$ be a division ring, and let $\mathcal{R}\subseteq M_n(\mathbb{D})$ be a structural matrix ring over $\mathbb{D}$, that is, the subring of $M_n(\mathbb{D})$ supported on the ordered pairs of a preorder on $\{1,\ldots,n\}$. We study injective Jordan semi-triple maps $φ:\mathcal{R}\to M_n(\mathbb{D})$, namely injective maps satisfying \[ φ(XYX)=φ(X)φ(Y)φ(X), \qquad \text{for all } X,Y\in\mathcal{R}. \] Assuming that the centre of $\mathbb{D}$ has more than two elements, we give a criterion for automatic additivity and show that there are exactly two obstructions. The first one is scalar: it occurs precisely when $\mathcal{R}$ has a direct ring summand isomorphic to $\mathbb{D}$ and $\mathbb{D}$ is isomorphic to neither $\mathbb{F}_3$ nor $\mathbb{F}_4$. The second one is order-theoretic: it occurs when a nonsymmetric comparable pair $i\preceq j$, $j\not\preceq i$, admits no third index $k\notin\{i,j\}$ comparable with both $i$ and $j$. If neither obstruction occurs, all injective Jordan semi-triple maps are additive. The centre-size hypothesis is sharp: for $n\ge3$, the upper-triangular ring $T_n(\mathbb{F}_2)$ has neither obstruction but nevertheless admits nonadditive injective Jordan semi-triple maps. Finally, in the additive case, we describe the maps componentwise, in terms of endomorphisms, anti-endomorphisms, and transitive multipliers.

2026-06-02T10:32:31Z 29 pages Ilja Gogić Mateo Tomašević