Ivan Chajda, Department of Algebra and Geometry, Palacky University Olomouc, Tomkova 40, 779 00 Olomouc, Czech Republic, e-mail: chajda@risc.upol.cz
Abstract: An algebra $\A= (A,F)$ is subregular alias regular with respect to a unary term function $g$ if for each $\Theta, \Phi\in\CA$ we have $\Theta= \Phi$ whenever $[g(a)]_{\Theta} = [g(a)]_{\Phi}$ for each $a\in A$. We borrow the concept of a deductive system from logic to modify it for subregular algebras. Using it we show that a subset $C\subseteq A$ is a class of some congruence on $\Theta$ containing $g(a)$ if and only if $C$ is this generalized deductive system. This method is efficient (needs a finite number of steps).
Keywords: regular variety, subregular variety, deductive system, congruence class, difference system
Classification (MSC 2000): 08A30, 08B05, 03B22
Full text available as PDF (smallest), as compressed PostScript (.ps.gz) or as raw PostScript (.ps).
Access to the full text of journal articles on this site is restricted to the subscribers of Myris Trade. To activate your access, please contact Myris Trade at myris@myris.cz.