Processing math: 100%

Idempotent semirings

Abbreviation: ISRng

Definition

An \emph{idempotent semiring} is a semiring S=S,, such that

is idempotent: xx=x

Morphisms

Let S and T be idempotent semirings. A morphism from S to T is a function h:ST that is a homomorphism:

h(xy)=h(x)h(y), h(xy)=h(x)h(y)

Examples

Example 1:

Basic results

Properties

Finite members

f(1)=1f(2)=6f(3)=61f(4)=866f(5)=f(6)=

Subclasses

Superclasses

References


QR Code
QR Code idempotent_semirings (generated for current page)