Sets with \(B\)-action and linear algebra (Q1966134)

Let \(B\) be a Boolean ring. Any unital \(B\)-module \(M\) has a \(B\)-action given by \(\alpha [a,b]=\alpha a + (1+\alpha)b\) for all \(\alpha \in B\), \(a,b \in M\). It is shown that any set with \(B\)-action may be represented as a subset with \(B\)-action of a unital \(B\)-module. The result is extended to algebras with \(B\)-action and it is applied to if-then-else algebras over Boolean algebras.