Related papers: Partial Conway and iteration semirings

We study integrality over rings (all commutative in this paper) and over ideal semifiltrations (a generalization of integrality over ideals). We begin by reproving classical results, such as a version of the "faithful module" criterion for…

Semi-free ideal rings, or semifirs, were introduced by Paul M. Cohn to study universal localizations in the non-commutative setting. We provide new examples of semifirs consisting of analytic functions in several non-commuting variables.…

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field $K$, and let $A$ be a finitely generated standard graded $S$-algebra. We show that if the defining ideal of $A$ has a quadratic initial ideal, then all the graded components of…

We provide a generalization of pseudo-Frobenius numbers of numerical semigroups to the context of the simplicial affine semigroups. In this way, we characterize the Cohen-Macaulay type of the simplicial affine semigroup ring…

After Gentili and Struppa introduced in 2006 the theory of quaternionic slice regular function, the theory has focused on functions on the so-called slice domains. The present work defines the class of speared domains, which is a rather…

In a previous article by two of the present authors and S. Bonzio, \L ukasiewicz near semirings were introduced and it was proven that basic algebras can be represented (precisely, are term equivalent to) as near semirings. In the same work…

The theory of ternary $\Gamma$-semirings extends classical ring and semiring frameworks by introducing a ternary product controlled by a parameter set $\Gamma$. Building on the foundational axioms recently established by Rao, Rani, and…

A semiring $S$ which is a union of rings is called completely regular, if moreover, it is orthodox then $S$ is called an orthoring. Here we study the orthorings $S$ such that $E^+(S)$ is a band semiring. Every band semiring is a spined…

We consider a semi-classical completely integrable system defined by a $\hbar$-pseudodifferential operator $\hat{H}$ on the torus $\mathbb{T}^{d}$. In order to study perturbed operators of the form $\hat{H}+\hbar^{\kappa}\hat{K}$, where…

We survey theory developed over the past 10 years of semirings which need not be additively cancellative. The main feature is a specified ``null ideal'' $\mcA_0$ of a semiring $\mcA,$ taking the place of a zero element, which permits…

We develop a (co)algebraic framework to study a family of process calculi with monadic branching structures and recursion operators. Our framework features a uniform semantics of process terms and a complete axiomatisation of semantic…

For any ring $R$, we introduce an invariant in the form of a partially ordered abelian semigroup $\mathrm{S}(R)$ built from an equivalence relation on the class of countably generated projective modules. We call $\mathrm{S}(R)$ the Cuntz…

For a free partial action of a group in a set we realize the associated partial skew group ring as an algebra of functions with finite support over an equivalence relation and we use this result to characterize the ideals in the partial…

Flat iteration is a variation on the original binary version of the Kleene star operation P*Q, obtained by restricting the first argument to be a sum of atomic actions. It generalizes prefix iteration, in which the first argument is a…

Let $S$ be a $*$-semigroup and let $a,w,v\in S$. The initial goal of this work is to introduce two new classes of generalized inverses, called the $w$-core inverse and the dual $v$-core inverse in $S$. An element $a\in S$ is $w$-core…

Let $R$ be a commutative ring with identity and $M$ a unitary $R$-module. The purpose of this paper is to introduce the concept of semi-$n$-submodules as an extension of semi $n$-ideals and $n$-submodules. A proper submodule $N$ of $M$ is…

We propose a new class of mathematical structures called (m,n)-semirings} (which generalize the usual semirings), and describe their basic properties. We also define partial ordering, and generalize the concepts of congruence, homomorphism,…

We study the left-right action of $\operatorname{SL}_n \times \operatorname{SL}_n$ on $m$-tuples of $n \times n$ matrices with entries in an infinite field $K$. We show that invariants of degree $n^2- n$ define the null cone. Consequently,…

Given an action $\varphi$ of of inverse semigroup $S$ on a ring $A$ (with domain of $\varphi(s)$ denoted by $D_{s^*}$) we show that if the ideals $D_e$, with $e$ an idempotent, are unital, then the skew inverse semigroup ring $A\rtimes S$…

In traditional justification logic, evidence terms have the syntactic form of polynomials, but they are not equipped with the corresponding algebraic structure. We present a novel semantic approach to justification logic that models…