For every semigroup S, we define a congruence relation rho on the power semiring (P(S),boolean OR,o) of S. If S is a band, then P(S)/rho is an idempotent semiring. This enables us to find models for the free objects in the variety of idempotent semirings whose additive reduct is a semilattice.
机构:
Univ Novi Sad, Dept Math & Informat, YU-21000 Novi Sad, Serbia Monteneg, SerbiaUniv Novi Sad, Dept Math & Informat, YU-21000 Novi Sad, Serbia Monteneg, Serbia