https://arxiv.org/api/ygVgwBM1VfFdLEpYaL4Ihth4nWE 2026-06-14T21:37:38Z 20068 480 15 http://arxiv.org/abs/2604.02848v1 2026-04-03T08:08:47Z

We investigate the stable and retract rationality of multinorm one tori associated to finite {é}tale algebras. Our results are organized according to the greatest common divisor $d$ of the degrees of the factors. We show that these tori are stably rational for $d=1$, and obtain a criterion for retract rationality that can be attributed to our previous results. For $d>1$, we provide sufficient conditions for the failure of retract rationality. We further generalize results of Endo--Miyata (1975) and Endo (2011) by giving an equivalent condition for multinorm one tori to be stably rational under the assumption that they split over Galois extensions with Galois groups in which all Sylow subgroups are cyclic. A similar result also holds when they split over dihedral Galois extensions.

2026-04-03T08:08:47Z 26 pages Sumito Hasegawa Kazuki Kanai Yasuhiro Oki http://arxiv.org/abs/2210.05554v3 2026-04-03T06:10:46Z

In this article, we prove that if $R$ is an affine algebra of dimension $d\geq 4$ over $\overline{\mathbb{F}}_{p}$ and $1/(d-1)! \in R,$ then any unimodular row over $R$ of length $d$ can be mapped to a factorial row by elementary transformations.

2022-10-11T15:49:10Z Journal of algebra and its applications, 2022 Sampat Sharma http://arxiv.org/abs/2604.02626v1 2026-04-03T01:30:32Z

We propose the notion of Frobenius quotients between Frobenius exact categories. It turns out that any Frobenius quotient induces Frobenius quotients between the corresponding inflation categories. We obtain an explicit Frobenius quotient from the category of vector bundles on weighted projective lines with three weights to a certain category consisting of monomorphism grids.

2026-04-03T01:30:32Z 21 pages Xiao-Wu Chen Qiang Dong Shiquan Ruan http://arxiv.org/abs/2412.03500v3 2026-04-02T23:53:09Z

In this article, we study $(σ, τ)$-derivations of number rings by considering them as commutative unital $\mathbb{Z}$-algebras. We begin by characterizing all $(σ, τ)$-derivations and inner $(σ, τ)$-derivations of the ring of algebraic integers of a quadratic number field. Then we characterize all $(σ, τ)$-derivations of the ring of algebraic integers $\mathbb{Z}[ζ]$ of a $p^{\text{th}}$-cyclotomic number field $\mathbb{Q}(ζ)$ ($p$ odd rational prime and $ζ$ a primitive $p^{\text{th}}$-root of unity). We also conjecture (using SageMath and MATLAB) an \enquote{if and only if} condition for a $(σ, τ)$-derivation $D$ on $\mathbb{Z}[ζ]$ to be inner. We further characterize all $(σ, τ)$-derivations and inner $(σ, τ)$-derivations of the bi-quadratic number ring $\mathbb{Z}[\sqrt{m}, \sqrt{n}]$ ($m$, $n$ distinct square-free rational integers). In each of the above cases, we also determine the rank and an explicit basis of the derivation algebra consisting of all $(σ, τ)$-derivations of the number ring. As a consequence, we solve the twisted derivation problem in the ring of algebraic integers of a quadratic number field and in a bi-quadratic number ring, and we conjecture a solution of the twisted derivation problem in the ring of algebraic integers of a $p^{\text{th}}$-cyclotomic number field. Finally, we give the applications of our work in coding theory by constructing Hom-IDD codes.

2024-12-04T17:41:43Z Comments are welcome Praveen Manju Rajendra Kumar Sharma http://arxiv.org/abs/2604.02456v1 2026-04-02T18:41:05Z

We compute explicit homological invariants of a trimmed graded double Ore extension of the quantum plane. For a pilot family of type (14641), we determine the minimal graded free resolution and graded Betti numbers of the trivial right module and also compute linear resolutions for two natural cyclic right modules. This provides a concrete link between the PBW structure of the algebra and the homological behavior of its natural quotients.

2026-04-02T18:41:05Z 11 pages Andrés Rubiano http://arxiv.org/abs/2604.03324v1 2026-04-02T18:04:28Z

We study total binary operations on effect algebras obtained by truncating the Gudder-Greechie axiom package for a sequential product. The point is not to reprove the known nonexistence of non-Boolean full sequential products on finite chains, but to determine, axiom by axiom, where finite MV-effect algebras first fail. We prove two structural facts valid on every effect algebra. First, the operation σ_E(a,b) = 0 if a=0, and b if a \neq 0, satisfies (S1)-(S3), so (S3) is never fatal by itself. Second, any operation satisfying (S1)-(S4) already has the right-unit property a \circ 1 = a, even without (S5). From this we derive a local obstruction theorem: if an effect algebra contains an atom of finite isotropic index at least 2, then it admits no (S1)-(S4) operation. Consequently, a finite MV-effect algebra admits such an operation if and only if it is Boolean. In this precise sense, (S4) is the first fatal axiom on finite MV-effect algebras. On the constructive side, let E_u = [0,u] \subseteq Z^r be the simplicial interval representation of a finite MV-effect algebra. We show that additive maps E_u \to E_v are exactly the restrictions of positive group homomorphisms Z^r \to Z^s, equivalently maps x \mapsto Mx given by nonnegative integer matrices with Mu \le v. This yields a complete classification of (S1)+(S2) operations by row-wise subunital matrices. We then solve the first genuinely higher-rank (S1)-(S3) problem: on the rank-two Boolean algebra B_2 = E_{(1,1)} \cong C_1^2, all such operations are classified and there are exactly 34. Thus the finite-chain collapse at (S3) is a rank-one boundary phenomenon, whereas on finite MV-effect algebras the sharp threshold for nonexistence occurs exactly at (S4).

2026-04-02T18:04:28Z 12 pages Joaquim Reizi Higuchi http://arxiv.org/abs/2503.07271v3 2026-04-02T14:15:53Z

A module $M$ is {called} stable if it has no nonzero projective direct summand. For a ring $ R $, we study conditions under which $R$-modules from certain classes decompose as a direct sum of a projective submodule and a stable submodule. Over {an arbitrary} ring, modules of finite uniform dimension or finite hollow dimension can be decomposed as a direct sum of a projective submodule and a stable submodule. By using the Auslander-Bridger transpose of finitely presented modules, we prove that every finitely presented right $R$-module over a left semihereditary ring $R$ has such a decomposition. Our main focus in this article is to give examples where such a decomposition fails. We give some ring examples over which there exists an infinitely generated or finitely generated or finitely presented module where such a decomposition fails. Our main example is a cyclically presented module $M$ over a commutative ring such that~$M$ has no such decomposition and $M$ is not projectively equivalent to a stable module.

2025-03-10T12:50:49Z 15 pages Gulizar Gunay Engin Mermut http://arxiv.org/abs/2604.00109v2 2026-04-02T14:01:57Z

We construct two recollements of module categories for the Cohen--Macaulay Auslander algebra $A^{\mathrm{CMA}}$ of a gentle algebra $A$. In this paper, we establish three equivalent characterizations for the quotient algebra $A^{\mathrm{CMA}}/A^{\mathrm{CMA}}(1-ε_{\star}) A^{\mathrm{CMA}}$ of the CM--Auslander algebra of $A$ to be quasi-tilted, precisely, the following statements are equivalent: (1) $A^{\mathrm{CMA}}/A^{\mathrm{CMA}}(1-ε_{\star}) A^{\mathrm{CMA}}$ is quasi-tilted; (2) $\mathrm{findim} A\leqslant 2$, and for each forbidden $A$-module $M$, $\mathrm{proj.dim}M+\mathrm{inj.dim}M\leqslant 2$; (3) for any homotopy string/band $\mathsf{h}$ none of whose arrows lie on any forbidden cycle, the cohomological width of the indecomposable object in $\mathsf{D}^b(A)$ corresponding to $\mathsf{h}$ is $\leqslant 2$. Moreover, we prove that the Krull--Gabriel dimension of $A$ is bounded by 2 if and only if the Krull--Gabriel dimension of $A^{\mathrm{CMA}}$ is bounded by 2 in the case where $A$ is gentle one-cycle.

2026-03-31T18:22:39Z 29 pages, 6 figures. The following modifications have been made to the submitted manuscript: 1. Added some examples to the main results; 2. Updated the new funding informations; 3. Corrected some citation errors in the LaTeX source code Jiacheng Xu Yu-Zhe Liu Xin Ma Guiqi Shi http://arxiv.org/abs/2402.08058v6 2026-04-02T14:01:37Z

In this note we generalize the construction, due to Ghilardi, of the free Heyting algebra generated by a finite distributive lattice, to the case of arbitrary distributive lattices. Categorically, this provides an explicit construction of a left adjoint to the inclusion of Heyting algebras in the category of distributive lattices This is shown to have several applications, both old and new, in the study of Heyting algebras: (1) it allows a more concrete description of colimits of Heyting algebras, as well as, via duality theory, limits of Esakia spaces, by knowing their description over distributive lattices and Priestley spaces; (2) It allows a direct proof of the amalgamation property for Heyting algebras, and of related facts; (3) it allows a proof of the fact that the category of Heyting algebras is co-distributive. We also study some generalizations and variations of this construction to different settings. First, we analyse some subvarieties of Heyting algebras -- such as Boolean algebras, $\mathsf{KC}$ and $\mathsf{LC}$ algebras, and show how the construction can be adapted to this setting. Second, we study the relationship between the category of image-finite posets with p-morphisms and the category of posets with monotone maps, showing that a variation of the above ideas provides us with an appropriate general idea.

2024-02-12T20:48:51Z 36 pages Rodrigo Nicolau Almeida http://arxiv.org/abs/2402.08162v3 2026-04-02T06:11:55Z

In this paper we study a certain class of central extensions of preprojective algebras of quivers under the name quiver Heisenberg algebras (QHA). There are several classes of algebras introduced before by different researchers from different view points, which have the QHA as a special case. While these have mainly been studied in characteristic zero, we also study the case of positive characteristic. Our results show that the QHA is closely related to the representation theory of the corresponding path algebra in a similar way to the preprojective algebra. Among other things, one of our main results is that the QHA provides an exact sequence of bimodules over the path algebra of a quiver, which can be called the universal Auslander-Reiten sequence. Moreover, we show that the QHA provides minimal left and right approximations with respect to the powers of the radical functor. Consequently, we obtain a description of the QHA as a module over the path algebra, which in the Dynkin case, gives a categorification (as well as a generalization to the positive characteristic case) of the dimension formula by Etingof-Rains.

2024-02-13T01:41:38Z v3. In addition to minor revisions and adjustments to the layout in TeX, we have added discussions on the relationship with subsequent works. 118 pages. Comments are welcome Martin Herschend Hiroyuki Minamoto http://arxiv.org/abs/2604.01486v1 2026-04-01T23:42:33Z

Let \(A=(A,\star)\) be a finite binary algebra, not necessarily associative. For each \(n\geq 1\), every full binary bracketing on \(x_1,\dots,x_n\) determines an \(n\)-ary term operation on \(A\), and hence an evaluation word obtained by listing its values on \(A^n\) in lexicographic order. This produces an \(m^n\times C_{n-1}\) array, where \(m=|A|\) and \(C_{n-1}\) is the \((n-1)\)st Catalan number. We show that the recursive structure of these arrays is governed by the translation monoid \[ T(A)=\langle L_a,R_a:a\in A\rangle\leq A^A, \qquad L_a(x)=a\star x,\quad R_a(x)=x\star a. \] More precisely, context maps arising from subterms are exactly the elements of \(T(A)\), so every element of the translation monoid occurs as a recursive block map. We also prove that rank defines a natural chain of two-sided ideals in \(T(A)\), that the minimum-rank elements form a minimal nonempty two-sided ideal, and that Green's \(\mathcal J\)-classes are contained in rank layers. Finally, we show by example that equal rank does not determine the \(\mathcal J\)-class in general.

2026-04-01T23:42:33Z Volkan Yildiz http://arxiv.org/abs/2604.01111v1 2026-04-01T16:36:41Z

In this paper, we study modularity in the context of evolution algebras. Although this property has been previously considered, a complete description is still missing in several natural settings. In particular, we obtain a full characterisation of modular evolution algebras in the nilpotent case and in the class of supersolvable regular evolution algebras.

2026-04-01T16:36:41Z 11 pages Manuel Ladra Andrés Pérez-Rodríguez http://arxiv.org/abs/2509.05109v2 2026-04-01T13:50:23Z

The purpose of this work is to investigate various notions of regularity from the perspective of finiteness conditions, with the ultimate goal of identifying broad classes of rings that are $\mathsf{K}_0$-regular. In this direction, we revisit the classical concepts of coherence and von Neumann regularity, and establish new characterizations. We then focus on the study of \emph{$n$-coherent regular rings}, recently introduced in [31], and analyze their $\mathsf{K}$-theoretic behavior. Finally, we present applications illustrating how these approaches provide examples of $\mathsf{K}_0$-regular rings.

2025-09-05T13:47:41Z Rafael Parra http://arxiv.org/abs/2105.08637v2 2026-04-01T12:34:40Z

Let $Γ=(\mathcal{V},\mathcal{E})$ be a graph, whose vertices $v\in \mathcal{V}$ are colored black and white and labeled with invertible elements $λ_v$ from a commutative and associative ring $R$ containing $\pm 1$. Then we consider the associative algebra $\mathfrak{C}(Γ)$ with identity element $\mathbf{1}$ generated by the elements of $\mathcal{V}$ such that for all $v,w\in \mathcal{V}$ we have \[\begin{array}{lll}v^2 &=λ_v\mathbf{1}&\textrm{if } v \textrm{ is white}, v^2 &=-λ_v\mathbf{1}&\textrm{if } v \textrm{ is black}, vw+wv&=0&\textrm{if } \{v,w\}\in \mathcal{E}, vw-wv&=0&\textrm{if } \{v,w\}\not\in \mathcal{E}.\\ \end{array}\] If $Γ$ is the complete graph, $\mathfrak{C}(Γ)$ is a Clifford algebra, otherwise it is a so-called quasi-Clifford algebra. We describe this algebra as a twisted group algebra with the help of a quadratic space $(V,Q)$ over the field $\mathbb{F}_2$. Using this description, we determine the isomorphism type of $\mathfrak{C}(Γ)$ in several interesting examples. As the algebra $\mathfrak{C}(Γ)$ is associative, we can also consider the corresponding Lie algebra and some of its subalgebras. In case $λ_v=1$ for all $v\in \mathcal{V}$, and all vertices are black, we find that the elements $v,w\in \mathcal{V}$ satisfy the following relations $$\begin{array}{lll} [v,w]&=0&\textrm{if } \{v,w\}\not\in \mathcal{E}, {[v,[v,w]]}&=-w&\textrm{if } \{v,w\}\in \mathcal{E}.\\ \end{array}$$ In case $R$ is a field of characteristic $0$, we identify these algebras as quotients of the compact subalgebras of Kac-Moody Lie algebras and prove that they admit a so-called generalized spin representation.

2021-05-18T16:06:32Z Hans Cuypers http://arxiv.org/abs/2601.00835v4 2026-04-01T11:58:12Z

Myasnikov, Ushakov, and Won introduced power circuits in 2012 to construct a polynomial-time algorithm for the word problem in the Baumslag group, which has a non-elementary Dehn function. Power circuits are computational structures that support addition and the operation $(x,y) \mapsto x \cdot 2^y$ on integers. They also posed the question of decidability of the Diophantine problem over the structure $\langle \mathbb{N}_{>0}; +, x \cdot 2^y, \leq, 1 \rangle$, which is closely related to power circuits. In this paper, we prove that the Diophantine problem over this structure is undecidable.

2025-12-26T14:48:12Z Published in the journal of Groups, Complexity, Cryptology journal of Groups, complexity, cryptology, Volume 18, Issue 1, Special issue in honour of Alexei Miasnikov (April 2, 2026) gcc:17270 Alexander Rybalov 10.46298/jgcc.2026.18.1.17270