Structures algébriques généralisées des problèmes de cheminement dans les graphes
We introduce sturdy frames of type (2,2) algebras, which are a common generalization of sturdy semilattices of semigroups and of distributive lattices of rings in the theory of semirings. By using sturdy frames, we are able to characterize some semirings. In particular, some results on semirings recently obtained by Bandelt, Petrich and Ghosh can be extended and generalized.
The object of this paper is to prove the Green and Jordan-Hölder theorems in semirings. We follow Rees [11], Green [5], Clifford and Preston [2]. This work is similar to [7] and generalizes [8] and [9]. Although some proofs are parallel to those for semigroups, we explain them here to obtain a complete and self-contained exposition.