Related papers: A note on idempotent semirings

Many important quantum algebras such as quantum symplectic space, quantum Euclidean space, quantum matrices, $q$-analogs of the Heisenberg algebra and the quantum Weyl algebra are semi-commutative. In addition, enveloping algebras $U(L_+)$…

Let $A\subset B$ be an extension of commutative reduced rings and $M\subset N$ an extension of positive commutative cancellative torsion-free monoids. We prove that $A$ is subintegrally closed in $B$ and $M$ is subintegrally closed in $N$…

Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra, and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented…

We establish two sufficient conditions for an additively idempotent semiring to be nonfinitely based. As applications, we prove that two specific $4$-element additively idempotent semirings, $S_{(4,545)}$ and $S_{(4,634)}$, whose additive…

We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological…

We aim to characterize the category of injective *-homomorphisms between commutative C*-subalgebras of a given C*-algebra A. We reduce this problem to finding a weakly terminal commutative subalgebra of A, and solve the latter for various…

For a commutative ring $R$ with identity, a Specker $R$-algebra is a commutative unital $R$-algebra generated by a Boolean algebra of idempotents, each nonzero element of which is faithful. Such algebras have arisen in the study of…

Let R be a commutative ring. A not necessarily commutative R-algebra A is called futile if it has only finitely many R-subalgebras. In this article we relate the notion of futility to familiar properties of rings and modules. We do this by…

Let $X$ be a projective integral scheme with endomorphism $\sigma$, where $\sigma$ is finite, but not an automorphism. We examine noncommutative ampleness of bimodules defined by $\sigma$. In contrast to the automorphism case, one-sided…

We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…

Let $S$ be a semigroup and $\mathbb F$ be a field. For an ideal $J$ of the semigroup algebra ${\mathbb F}[S]$ of $S$ over $\mathbb F$, let $\varrho _J$ denote the restriction (to $S$) of the congruence on ${\mathbb F}[S]$ defined by the…

We study the finite basis problem for additively idempotent semirings satisfying the identity $xy \approx xz$. Let $\mathbf{R}$ denote the variety of all such semirings. Yue et al. (2025, Algebra Universalis, DOI:10.1007/s00012-025-00908-5)…

Category of pro-nilpotently extended differential graded commutative algebras is introduced. Chevalley-Eilenberg construction provides an equivalence between its certain full subcategory and the opposite to the full subcategory of strong…

Let $S$ be a $3$-dimensional quantum polynomial algebra, and $f \in S_2$ a central regular element. The quotient algebra $A = S/(f)$ is called a noncommutative conic. For a noncommutative conic $A$, there is a finite dimensional algebra…

A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…

The symmetric coinvariant algebra $C[x_1, dots, x_n]_{S_n}$ is the quotient algebra of the polynomial ring by the ideal generated by symmetric polynomials vanishing at the origin. It is known that the algebra is isomorphic to the regular…

We describe the set of maximal orders in a 2-by-2 matrix algebra over a non-commutative local division algebra B containing a given suborder, for certain important families of such suborders, including rings of integers of division…

It is shown that every $2$-shifted Poisson structure on a finitely generated semi-free commutative differential graded algebra $A$ defines a very explicit infinitesimal $2$-braiding on the homotopy $2$-category of the symmetric monoidal…

A topological commutative ring is said to be rigid when for every set $X$, the topological dual of the $X$-fold topological product of the ring is isomorphic to the free module over $X$. Examples are fields with a ring topology, discrete…

In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings - such an approach naturally imposing the introduction and study of a suitable corresponding class…