Boolean semigroups

Abbreviation: BSgrp

Definition

A Boolean semigroup is a structure A = (A,∨,0, ∧,1,¬,·) such that

(A,∨,0, ∧,1,¬) is a Boolean algebra,
(A,·) is a semigroup,
· is join-preserving in each argument:   (x∨y)·z = (x·z)∨(y·z) and x·(y∨z) = (x·y)∨(x·z)
· is normal in each argument:   0·x = 0 and x·0 = 0.

Remark:

Morphisms

Let A and B be Boolean monoids. A morphism from A to B is a function h : A→B that is a Boolean homomorphism and preserves ·: h(x·y) = h(x)·h(y).

Some results

Examples

Properties

Finite members

Subclasses

Superclasses