环与代数
This book is a rigorous and conceptually oriented introduction to ring theory. The emphasis is on structural understanding rather than encyclopedic coverage: rings are studied through ideals, homomorphisms, quotients, and universal…
Here we contribute a fast symbolic eigenvalue solver for matrices whose eigenvalues are $\mathbb{Z}$-linear combinations of their entries, alongside efficient general and stochastic $M^{X}$ generators. Users can interact with a few degrees…
Axial algebras of Monster type are a class of non-associative algebras which generalise the Griess algebra, whose automorphism group is the largest sporadic simple group, the Monster. The $2$-generated algebras, which are the building…
This work characterizes the general form of a bijective linear map $\Psi:\mathscr{M}_n(\mathbb{C}) \to \mathscr{M}_n(\mathbb{C})$ such that $[\Psi(A_1),~\Psi(A_2)]=D_2$ whenever $[A_1,~A_2]=D_1$ where $D_1~\text{and}~D_2$ are fixed…
Formal verification of deep neural networks is increasingly required in safety-critical domains, yet exact reasoning over piecewise-linear (PWL) activations such as ReLU suffers from a combinatorial explosion of activation patterns. This…
In this work we study quadratic Lie algebras that contain the Heisenberg Lie algebra $\h_m$ as an ideal. We give a procedure for constructing these kind of quadratic Lie algebras and prove that any quadratic Lie algebra $\g$ that contains…
Recently, the weak Drazin inverse and its characterization have been crucial studies for matrices of index k. In this article, we have revisited W-weighted DMP and MPD inverses and constructed a general class of unique solutions to certain…
Let $RG$ be the group ring of an arbitrary group $G$ over an associative non-commutative ring $R$ with identity. In this paper, we have obtained the necessary and sufficient conditions under which $RG$ is Jordan nilpotent of index $4$.
The L'vov-Kaplansky conjecture states that the image of a multilinear noncommutative polynomial $f$ in the matrix algebra $M_n(K)$ is a vector space for every $n \in {\mathbb N}$. We prove this conjecture for the case where $f$ has degree…
In this paper, we introduce and study Reynolds--Nijenhuis operators on associative algebras a novel hybrid structure that simultaneously satisfies the defining identities of both Reynolds and Nijenhuis operators. We investigate their…
Let \(\T\) be a commutative ternary \(\Gm\)-semiring in the sense of the triadic, \(\Gm\)-parametrized multiplication \(\{a,b,c\}_{\gamma}\). Building on the affine \(\Gm\)-spectrum \(\SpecG(\T)\), the structure sheaf, and the equivalence…
As shown in a previous paper, whenever a rational vector field on $\mathbb C^n$, $n>2$, is Liouvillian integrable, then it admits a first integral obtained by two successive integrations from a one-form with coefficients in a finite…
Let $T_R(M)$ be a tensor ring and $\mathcal{X}$, $\mathcal{Y}$ be two classes of $R$-modules. Under certain conditions, we prove that a $T_R(M)$-module $(A, u)$ is $Ind(\mathcal{X})$-Gorenstein projective if and only if $u$ is monomorphic…
For a semiperfect ring with essential socles, the Double annihilator property encodes that the top and socle have anti-isomorphic lattices of submodules, whereas the Size condition encodes that they are isomorphic as modules. Interest in…
In this paper, we introduce the notion of post-Hopf algebroids, generalizing the pre-Hopf algebroids introduced in [Bronasco, Laurent, 2025] in the study of exotic aromatic S-series. We construct action post-Hopf algebroids through actions…
To answer the question about the growth rate of matrix products, the concepts of joint and generalized spectral radius were introduced in the 1960s. A common tool for finding the joint/generalized spectral radius is the so-called extremal…
We prove that the ozone group of any PI Artin-Schelter regular algebra is abelian, which answers a question of Chan-Gaddis-Won-Zhang. For any Calabi-Yau PI Artin-Schelter regular algebra, we prove that the homological determinant of its…
This paper develops the algebraic foundation required to build a Zariski-type geometry for \emph{commutative ternary $\Gamma$-semirings}, where multiplication is an inherently triadic, multi-parametric interaction…
We define and study induced duality pairs under Foxby equivalences. Given a semidualizing $(S,R)$-bimodule ${}_S C_R$, if $(\mathcal{A}_C(R),\mathcal{B}_C(R^{\rm op}))$ and $(\mathcal{A}_C(S^{\rm op}),\mathcal{B}_C(S))$ denote the duality…
Let $n \in \NN$ and let $q=p^r$ be an odd prime power. Let $R$ be a finite commutative local principal ring of cardinality $q^{n}$ with $R/J(R) \simeq GF(q)$. We study the conjugation action of the group of all unipotent elements in the…