subsemiring
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]Noun
[edit]subsemiring (plural subsemirings)
- (mathematics) A subset of a semiring that is also a semiring under the same operations as the original semiring.
- 2016, Moses Ganardi, Danny Hucke, Daniel König, Markus Lohrey, “Circuit Evaluation for Finite Semirings”, in arXiv[1]:
- The following dichotomy is shown: If a finite semiring is such that (i) the multiplicative semigroup is solvable and (ii) it does not contain a subsemiring with an additive identity and a multiplicative identity , then the circuit evaluation problem for the semiring is in .