A number of syntactical properties of identities, such as regularity, nor- mality, k-normality, externality and P-compatibility of identities have been extensively studied. We develop here a technique for producing from a basis for a variety V with certain idempotent terms a basis for the variety P(V), the smallest P-compatible variety to contain V. When V is finitely based, so is P(V).
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.