Related papers: The logical complexity of finitely generated commu…
In this paper, we develop some foundations for a theory of algebraic varieties of congruences on commutative semirings. By studying the structure of congruences, firstly, we show that the spectrum $ \text{Spec}^{c}(A) $ consisting of prime…
We prove that there are examples of finitely generated groups G together with group ring elements Q \in \bbQ G for which the von Neumann dimension \dim_{LG}\ker Q is irrational, so (in conjunction with other known results) answering a…
A partly (anti-)commutative quiver algebra is a quiver algebra bound by an (anti-)commutativity ideal, that is, a quadratic ideal generated by monomials and (anti-)commutativity relations. We give a combinatorial description of the ideals…
For finite-dimensional algebras over a field, Koenig and Yang established a bijection between silting complexes and simple-minded collections in the bounded derived category, with further contributions by many authors in various settings.…
This article investigates the properties of Dedekind superrings, invertible supermodules and projective supermodules within the $\mathbb{Z}_2$-graded framework. Rather than treating these entities as specialized instances of general…
We study some interesting properties of Furstenberg's topology of the integers. We show that it is metrizable, totally disconnected, and (Z,+,.) is a topological ring with respect to this topology. As an application, we show that any two…
Tilting modules over commutative rings were recently classified in [12]: they correspond bijectively to faithful Gabriel topologies of finite type. In this note we extend this classification by dropping faithfulness. The counterpart of an…
We study some properties of graded idealizer rings with an emphasis on applications to the theory of noncommutative projective geometry. In particular we give examples of rings for which the $\chi$-conditions of Artin and Zhang and the…
Given a two-sided noetherian ring $A$ with a dualizing complex, we show that the big finitistic dimension of $A$ is finite if and only if every bounded below Gorenstein-projective-acyclic cochain complex of Gorenstein-projective $A$-modules…
We give an improved polynomial bound on the complexity of the equation solvability problem, or more generally, of finding the value sets of polynomials over finite nilpotent rings. Our proof depends on a result in additive combinatorics,…
Let $F$ be a field, and let Zar$(F)$ be the space of valuation rings of $F$ with respect to the Zariski topology. We prove that if $X$ is a quasicompact set of rank one valuation rings in Zar$(F)$ whose maximal ideals do not intersect to…
The multiplicative group of a finite field is well known to be cyclic; in this note, we determine the finite fields whose multiplicative groups are direct sum indecomposable. We obtain our classification using a direct argument and also as…
This note gives a unifying characterization and exposition of strongly irreducible elements and their duals in lattices. The interest in the study of strong irreducibility stems from commutative ring theory, while the dual concept of strong…
We use fast-growing finite and infinite sequences of natural numbers and more complicated constructs to define models of hypercomputation and interpret non-arithmetic predicates, with the strongest extensions reaching full second order…
We revisit the concept of special algebras, also known as \textit{purely inseparable ring extensions}. This concept extends the notion of purely inseparable field extensions to the more general context of extensions of commutative rings. We…
Let $R$ be a finite commutative chain ring with unique maximal ideal $\langle \gamma\rangle$, and let $n$ be a positive integer coprime with the characteristic of $R/\langle \gamma\rangle$. In this paper, the algebraic structure of cyclic…
We describe a method for solving linear systems over the localization of a commutative ring $R$ at a multiplicatively closed subset $S$ that works under the following hypotheses: the ring $R$ is coherent, i.e., we can compute finite…
We consider first-order definability and decidability questions over rings of integers of algebraic extensions of $\Q$, paying attention to the uniformity of definitions. The uniformity follows from the simplicity of our first-order…
We prove that if A is a finite algebra with a parallelogram term that satisfies the split centralizer condition, then A is dualizable. This yields yet another proof of the dualizability of any finite algebra with a near unanimity term, but…
Given a finite connected bipartite graph, finite-dimensional indecomposable semisimple Leibniz algebras are constructed. Furthermore, any finite-dimensional indecomposable semisimple Leibniz algebra admits a similar construction.