Previous |  Up |  Next


grupoid term; equation
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.
[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.
[4] O. Sapir: Finitely based words. Internat. J. Algebra Comput. 10, 457–480. DOI 10.1142/S0218196700000224 | MR 1776051 | Zbl 1010.20043
Partner of
EuDML logo