Zum Inhalt springen

Kommutativer Halbring/Ausführlich direkt mit Monoid/Definition

Aus Wikiversity
Kommutativer Halbring

Ein kommutativer Halbring ist eine Menge mit zwei Verknüpfungen und (genannt Addition und Multiplikation) und mit zwei ausgezeichneten Elementen und derart, dass folgende Bedingungen erfüllt sind:

  1. ist ein kommutatives Monoid.
  2. ist ein kommutatives Monoid.
  3. Es gilt das Distributivgesetz, also

    für alle

    .