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.
Aquí trataremos de W-álgebras o álgebras universales. Se dice que A es una W-álgebra si es un conjunto no vacío dotado de operaciones; W designa el conjunto de todas las operaciones definidas sobre A. Denotamos por W(n) el subconjunto de W formado por todas las operaciones n-arias (con n argumentos) definidas sobre A. Todas las operaciones sobre A tienen un número finito de argumentos. Las únicas restricciones que imponemos en este trabajo son: W ≠ ø y W(0) = ø. ...
Page 1