Article contents
Extension of a Semigroup Embedding Theorem to Semirings
Published online by Cambridge University Press: 20 November 2018
Extract
It is well known [1,3] that a commutative semigroup (S, +) can be embedded in a semigroup which is a union of groups if and only if S is separative (2a = a + b = 2b implies a = b). We extend this result to additively commutative semirings.
A semiring (S, +, ⋅) is a set S with associative addition (+) and multiplication (⋅), the latter distributing over addition from left and right. In what follows (S, +, ⋅) will denote a semiring in which the additive semigroup (S, +) is commutative. An element 0 can be adjoined, where s = s + 0, 0 = 0 ⋅ s = s ⋅ 0 for all s in S, to form S°.
- Type
- Research Article
- Information
- Copyright
- Copyright © Canadian Mathematical Society 1975
References
- 1
- Cited by