Peter F. Faul,Amartya Goswami,Gideo Joubert,Graham Manuell
Abstract:A semiring generalises the notion of a ring, replacing the additive abelian group structure with that of a commutative monoid. In this paper, we study a notion positioned between a ring and a semiring -- a semiring whose additive monoid is a commutative inverse semigroup. These inverse semirings include some important classes of semirings, as well as some new motivating examples. We devote particular attention to the inverse semiring of bounded polynomials and argue for their computational significance. We then prove a number of fundamental results about inverse semirings, their modules and their ideals. Parts of the theory show strong similarities with rings, while other parts are akin to the theory of idempotent semirings or distributive lattices. We note in particular that downward-closed submodules are precisely kernels. We end by exploring a connection to the theory of E-unitary inverse semigroups.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the theoretical basis of inverse semirings and their importance in computing. Specifically, the paper aims to study a structure between rings and semirings - a semiring whose additive monoid is a commutative inverse semigroup. By introducing and studying this special semiring structure, the authors hope to fill the gaps in the basic theory and motivation of inverse semirings in the existing literature, and explore their similarities and differences with rings, idempotent semirings, and distributive lattice theory.
### Main problems:
1. **Definitions and properties**: The paper first defines the concept of inverse semirings and explores their basic properties. An inverse semiring further strengthens the additive structure on the basis of a semiring, so that each element has a unique "inverse element".
2. **Important examples**: The paper provides several important examples of inverse semirings, including the inverse semiring of bounded polynomials. These examples demonstrate the practical significance of inverse semirings in computing.
3. **Ideals and modules**: The authors study the ideals and modules of inverse semirings, especially subtractive ideals, and prove some basic theorems about these structures. They point out that downward - closed sub - modules are exactly kernels.
4. **Relationships with other structures**: The paper also explores the connection between inverse semirings and E - unitary inverse semigroups, and shows that inverse semirings can be embedded in the product of rings and idempotent semirings in some cases.
### Key formulas and concepts:
- **Definition of inverse monoids**:
\[
\text{For each } x\in M, \text{ there exists a unique inverse element } -x \text{ such that } x+(-x)+x = x \text{ and } (-x)+x+(-x)=-x.
\]
- **Definition of inverse semirings**:
\[
\text{An inverse semiring }(R, +, 0, \cdot, 1)\text{ is a semiring, where the additive monoid }(R, +, 0)\text{ is an inverse monoid}.
\]
- **Inverse semiring of bounded polynomials**:
\[
R[x]_B=\{(p, n)\mid p\in R[x], n\in\mathbb{N}\cup\{-\infty\}, \deg(p)\leq n\}
\]
where
\[
(p, n)+(q, m)=(p + q, \max(n, m)), \quad 0=(0, -\infty), \quad (p, n)(q, m)=(pq, n + m), \quad 1=(1, 0), \quad -(p, n)=(-p, n).
\]
### Summary:
The main purpose of this paper is to establish the basic theoretical framework of inverse semirings and show their importance in algebraic structures and computing. By introducing new examples and proving key theorems, the authors provide a solid foundation for the study of inverse semirings and point out the directions for future research.