Article
Keywords:
grupoid term; equation
Summary:
We investigate the factor of the groupoid of terms through the largest congruence with a given set among its blocks. The set is supposed to be closed for overterms.
References:
[1] J. Ježek:
Varieties of algebras with equationally definable zeros. Czechoslovak Math. J. 27(102) (1977), 394–414.
MR 0453610
[2] R. McKenzie, G. McNulty and W. Taylor:
Algebras, Lattices, Varieties. Volume I. Wadsworth & Brooks/Cole, Monterey, CA, 1987.
MR 0883644
[3] O. Sapir: Identities of finitely based semigroups and related questions. Dissertation, University of Nebraska, Lincoln, Nebraska, 1997.