Related papers: Valuation Semirings
Using the closure operator that defines a subtractive ideal of a semiring $S$, in this note we introduce a topology on the set of all ideals of $S$ induced by that operator. We show that the corresponding subtractive space is $T_0$ and…
In this article, we define the concept of an $S$-$k$-irreducible ideal and $S$-$k$-maximal ideal in a commutative semiring. We also establish several results concerning $S$-$k$-primary ideals and prove the existence theorem and the…
In this paper, we introduce and study two new classes of commutative rings, namely semi transitional rings and transitional rings, which extend several classical ideas arising from rings of continuous functions and their variants. A general…
It is shown that every dp-minimal integral domain $R$ is a local ring and for every non-maximal prime ideal $\mathfrak p $ of $R$, the localization $R_{\mathfrak p }$ is a valuation ring and $\mathfrak{p}R_{\mathfrak{p}}=\mathfrak{p}$.…
In this paper, we investigate 2-absorbing ideals of commutative semirings and prove that if $\mathfrak{a}$ is a nonzero proper ideal of a subtractive valuation semiring $S$ then $\mathfrak{a}$ is a 2-absorbing ideal of $S$ if and only if…
The aim of this series of papers is to study $z$-ideals of semirings. In this article, we introduce some distinguished classes of $z$-ideals of semirings, which include $z$-prime, $z$-semiprime, $z$-irreducible, and $z$-strongly irreducible…
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…
We classify dp-minimal integral domains, building off the existing classification of dp-minimal fields and dp-minimal valuation rings. We show that if R is a dp-minimal integral domain, then R is a field or a valuation ring or arises from…
In this paper, we describe finite, additively commutative, congruence simple semirings. The main result is that the only such semirings are those of order 2, zero-multiplication rings of prime order, matrix rings over finite fields, those…
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…
This work is a review of results about centrally essential rings and semirings. A ring (resp., semiring) is said to be centrally essential if it is either commutative or satisfy the property that for any non-central element $a$, there exist…
The notion of maximal non valuative domain is introduced and characterized. An integral domain R is called a maximal non valuative domain if R is not a valuative domain but every proper overring of R is a valuative domain. Maximal non…
We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central…
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…
In this paper, we investigate the algebraic properties of the expectation semirings which are semiring version of the concept of trivial extension in ring theory. We discuss ideals, primes, maximals and primary ideals of these semirings. We…
We give a characterization, in terms of the residue field, of those henselian valuation rings and those henselian valuation ideals that are diophantine. This characterization gives a common generalization of all the positive and negative…
For several semirings S, two weighted finite automata with multiplicities in S are equivalent if and only if they can be connected by a chain of simulations. Such a semiring S is called "proper". It is known that the Boolean semiring, the…
A class of integer-valued functions defined on the set of ideals of an integral domain $R$ is investigated. We show that this class of functions, which we call ideal valuations, are in one-to-one correspondence with countable descending…
Positive semidefinite Hermitian matrices that are not fully specified can be completed provided their underlying graph is chordal. If the matrix is positive definite the completion can be uniquely characterized as the matrix that maximizes…
The existence of a maximal ideal in a general nontrivial commutative ring is tied together with the axiom of choice. Following Berardi, Valentini and thus Krivine but using the relative interpretation of negation (that is, as "implies 0 =…