Valuation Semirings (1509.03354v3)

Abstract: The main scope of this paper is to introduce valuation semirings in general and discrete valuation semirings in particular. In order to do that, first we define valuation maps and investigate them. Then we define valuation semirings with the help of valuation maps and prove that a multiplicatively cancellative semiring is a valuation semiring if and only if its ideals are totally ordered by inclusion. We also prove that if the unique maximal ideal of a valuation semiring is subtractive, then it is integrally closed. We end this paper by introducing discrete valuation semirings and show that a semiring is a discrete valuation semiring if and only if it is a multiplicatively cancellative principal ideal semiring possessing a nonzero unique maximal ideal. We also prove that a discrete valuation semiring is a Gaussian semiring if and only if its unique maximal ideal is subtractive.