Related papers: Semirings
In Section 1 of the paper, we prove McCoy's property for the zero-divisors of polynomials in semirings. We also investigate zero-divisors of semimodules and prove that under suitable conditions, the monoid semimodule $M[G]$ has very few…
Some basic properties of the ring of integers $\mathbb{Z}$ are extended to entire rings. In particular, arithmetic in entire principal rings is very similar than arithmetic in the ring of integers $\mathbb{Z}$. These arithmetic properties…
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…
We extend the notion of standard pairs to the context of monomial ideals in semigroup rings. Standard pairs can be used as a data structure to encode such monomial ideals, providing an alternative to generating sets that is well suited to…
This article introduces the $m, n)$-seminearring structure, which is a generalization of $(m, n)$-semiring. This research aims to develop theories of $(m, n)$-seminearring. In particular, the concepts of $(m, n)$-seminearring, $(m,…
Our aim in this paper is to explore semisubtractive ideals of semirings. We prove that they form a complete modular lattice. We introduce Golan closures and prove some of their basic properties. We explore the relations between $Q$-ideals…
A semiring is said to be centrally essential if for every non-zero element $x$, there exist two non-zero central elements $y, z$ with $xy = z$. We give some examples of non-commutative centrally essential semirings and describe some…
The aim of this paper is to study some distinguished classes of $k$-ideals of semirings, which include $k$-prime, $k$-semiprime, $k$-radical, $k$-irreducible, and $k$-strongly irreducible ideals. We discuss some of the properties of…
In this work we prove the undecidability (and $\Sigma^0_1$-completeness) of several theories of semirings with fixed points. The generality of our results stems from recursion theoretic methods, namely the technique of effective…
We develop a new technique for studying monomial ideals in the standard polynomial rings $A[X_1,\ldots,X_d]$ where $A$ is a commutative ring with identity. The main idea is to consider induced ideals in the semigroup ring…
In this paper, we prove prime avoidance for ringoids. We also generalize McCoy's and Davis' prime avoidance theorems in the context of semiring theory. Next, we proceed to define and characterize compactly packed semirings and show that a…
We develop basic notions and methods of algebraic geometry over the algebraic objects called hyperrings. Roughly speaking, hyperrings generalize rings in such a way that an addition is `multi-valued'. This paper largely consisits of two…
For commutative rings with identity, we introduce and study the concept of semi $r$-ideals which is a kind of generalization of both $r$-ideals and semiprime ideals. A proper ideal $I$ of a commutative ring $R$ is called semi $r$-ideal if…
Motivated by situations in which the removal of a zero (a.k.a., an absorbing element) from a semigroup yields a subsemigroup with another zero, sets of quasi-zeros (a.k.a., quasi-absorbing elements) are introduced as well as primitive…
For a nonempty subset $X$ of a ring $R$, the ring $R$ is called $X$-semiprime if, given $a\in R$, $aXa=0$ implies $a=0$. This provides a proper class of semiprime rings. First, we clarify the relationship between idempotent semiprime and…
We introduce and study an abstract class of semirings, which we call exact semirings, defined by a Hahn-Banach-type separation property on modules. Our motivation comes from the tropical semiring, and in particular a desire to understand…
We generalize the constructions of [17,19] to layered semirings, in order to enrich the structure and provide finite examples for applications in arithmetic (including finite examples). The layered category theory of [19] is extended…
Purpose: To develop the algebraic foundation of finite commutative ternary $\Gamma$-semirings by identifying their intrinsic invariants, lattice organization, and radical behavior that generalize classical semiring and $\Gamma$-ring…
In this paper, we introduce homological structure theory of semirings and CP-semirings---semirings all of whose cyclic semimodules are projective. We completely describe semisimple, Gelfand, subtractive, and anti-bounded, CP-semirings. We…
We study the theory of equations in one variable over polyhedral semirings. The article revolves around a notion of solution to a polynomial equation over a polyhedral semiring. Our main results are a characterisation of local solutions in…