Complemented congruences on double Ockham algebras (Q868723)

A double \(K_{n,m}\)-algebra is a double Ockham algebra in which the unary operations are linked by the identities \(f^{2n+m}=f^m\), \(g^{2n+m}=g^m\), \(fg=g^{2zn}\), \(gf=f^{2zn}\), where \(z\) is the smallest natural number less than or equal to \(m/2n\). The author obtains here a description of the complemented principal congruences in such an algebra.