Gr\"obner-Shirshov bases for semirings

TL;DR

This paper develops Gr"obner-Shirshov bases for semirings and commutative semirings, providing normal forms for specific semiring quotients, advancing algebraic computational methods.

Contribution

It introduces Gr"obner-Shirshov bases for semirings, enabling systematic computation of normal forms for certain semiring quotients.

Findings

Established Gr"obner-Shirshov bases for semirings and commutative semirings.

Derived normal forms for specific semiring quotients.

Extended algebraic tools to semiring structures.

Abstract

In the paper, we establish Gr\"obner-Shirshov bases for semirings and commutative semirings. As applications, we obtain Gr\"obner-Shirshov bases and A. Blass's (1995) and M. Fiore -T. Leinster's (2004) normal forms of the semirings $\mathbb{N}[x]/(x=1+x+x^2)$ and $\mathbb{N}[x]/(x=1+x^2)$ with one generator $x$ and one defining relation, correspondingly.