For $n ∈ mathbb{N}$ and $m ∈ mathbb{N}_0$, an algebra $L = (L, ∧, ∨, f, g, 0, 1)$ of type $(2, 2, 1, 1, 0, 0)$is said to be a double $K_{n,m}$-algebra, if L is a double Ockham algebra that satisfies theidentities $f^{2n+m} = f^m, g^{2n+m} = g^m, fg = g^{2zn} and gf = f^{2zn}, where z is the smallestnatural number greater than or equal to m/2n. In this papaer we describe the complement (when itexists) of a principal congruence and, using this description, we also determine when thecomplement exists.
展开▼
机译：对于$ n∈ mathbb {N} $和$ m∈ mathbb {N} _0 $，代数$ L =类型（（2，2）的（L，∧，∨，f，g，0，1）$ ，1，1，0，0）$如果L是满足身份$ f ^ {2n + m} = f ^ m的双Ockham代数，则称其为双$ K_ {n，m} $-代数， g ^ {2n + m} = g ^ m，fg = g ^ {2zn}，gf = f ^ {2zn}，其中z是大于或等于m / 2n的最小自然数。在本文中，我们描述了主要一致性的补码（当存在时），并且使用此描述，我们还确定了补码何时存在。
展开▼
