Definable principal subcongruences |
| |
Authors: | Kirby A Basker Ju Wang |
| |
Institution: | (1) University of California, Box 951555, Los Angeles, CA 900095-1555, USA, e-mail:baker@math.ucla.edu, US;(2) Institute of Software, Academia Sinica, Beijing, 100080, China, CN |
| |
Abstract: | For varieties of algebras, we present the property of having "definable principal subcongruences" (DPSC), generalizing the
concept of having definable principal congruences. It is shown that if a locally finite variety V of finite type has DPSC, then V has a finite equational basis if and only if its class of subdirectly irreducible members is finitely axiomatizable. As an
application, we prove that if A is a finite algebra of finite type whose variety V(A) is congruence distributive, then V(A) has DPSC. Thus we obtain a new proof of the finite basis theorem for such varieties. In contrast, it is shown that the group
variety V(S
3
) does not have DPSC.
Received May 9 2000; accepted in final form April 26, 2001. |
| |
Keywords: | and phrases: Finite basis congruence distributive congruence formula principal congruence |
本文献已被 SpringerLink 等数据库收录! |
|