Generalized absorption laws in bisemilattices (Q801093)

By a bisemilattice is meant a bisemilattice \((A,+,\cdot)\), in which the fundamental polynomials are distinct. Let \(\{f_ n\}\) be the sequence of binary polynomials defined by recursion as follows: \(f_ o(x,y)=x+y,\) \(f_{n+1}(x,y)=f_ n(x,y)(n)y,\) where (n) is \(\cdot\) if \(n=2k\) and \(+\) otherwise, and let \(\{\) \(\hat f_ n\}\) be the sequence of the dual polynomials. Now, the following two identities are called n-generalized absorption laws: \((a_ n):f_ n(x,y)=y,\) \((\hat a_ n):\hat f_ n(x,y)=y.\) It is proved that if \(L_ n\) is the variety of bisemilattices determined by these identities and if \(B_ n\) is the one determined by \((b_ n):f_ n(x,y)=\hat f_ n(x,y),\) then the sequences \(\{L_ n\}\) and \(\{B_ n\}\) are both strictly increasing. There are also several results concerning nonregular identities in bisemilattices.