The Division Relation: Congruence Conditions and Axiomatisability

REFERENCES

• Almeida , J. ( 1994 ). Finite Semigroups and Universal Algebra . Series in Algebra , Vol. 3 . Singapore : World Scientific .
   Google Scholar
• Bajusz , T. , McNulty , G. , Szendrei , A. ( 1990 ). Lyndon's algebra is not inherently nonfinitely based . Algebra Universalis 27 : 254 – 260 .
   Web of Science ®Google Scholar
• Baker , K. A. , McNulty , G. F. , Wang , J. ( 2004 ). An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth . Algebra Universalis 52 : 289 – 302 .
   Web of Science ®Google Scholar
• Belkin , V. P. ( 1978 ). Quasi-identities of finite rings and lattices . Algebra i Logika 17 : 247 – 259 [Russian] .
   Google Scholar
• Burmeister , P. ( 1982 ). Partial algebras—Survey of a unifying approach towards a two-valued model theory for partial algebras . Algebra Universalis 15 : 306 – 358 .
   Web of Science ®Google Scholar
• Burris , S. , Sankappanavar , H. P. ( 1981 ). A Course in Universal Algebra . Graduate Texts in Mathematics, 78 . Springer Verlag .
   Google Scholar
• Clark , D. M. , Davey , B. A. ( 1998 ). Natural Dualities for the Working Algebraist . Cambridge Studies in Advanced Mathematics, 37 . Cambridge , UK : Cambridge University Press .
   Google Scholar
• Clark , D. M. , Davey , B. A. , Freese , R. S. , Jackson , M. ( 2004 ). Standard topological algebras: Syntactic and principal congruences and profiniteness . Algebra Universalis 52 : 343 – 376 .
   Web of Science ®Google Scholar
• Davey , B. A. ( 2006 ). Natural dualities for structures . Acta Univ. M. Belii Ser. Math. 13 : 3 – 28 .
   Google Scholar
• Davey , B. A. , Jackson , M. , Maroti , M. , McKenzie , R. N. ( 2008 ). Principal and syntactic congruences in congruence-distributive and congruence-permutable varieties . J. Austral. Math. Soc. 85 : 59 – 74 .
   Web of Science ®Google Scholar
• Day , A. ( 1969 ). A characterization of modularity for congruence lattices of algebras . Canad. Math. Bull. 12 : 167 – 173 .
   Web of Science ®Google Scholar
• Delić , D. (2001). Finite bases for graph algebras. J. Algebra 246:453–469.
   Web of Science ®Google Scholar
• Demlová , M. , Koubek , V. ( 1979 ). Subdirectly irreducible semigroups with minimal left and right ideals . In: Coll. Math. Soc. János Bolyai 20. Algebraic theory of Semigroups . Amsterdam : North Holland , pp. 73 – 111 .
   Google Scholar
• Demlová , M. , Koubek , V. ( 1997 ). Subdirectly dominated semigroup varieties . Algebra Universalis 38 : 15 – 35 .
   Web of Science ®Google Scholar
• Grillet , P. A. ( 1977 ). On subdirectly irreducible commutative semigroups . Pacific J. Math. 69 : 55 – 71 .
   Web of Science ®Google Scholar
• Howie , J. M. ( 1995 ). Fundamentals of Semigroup Theory. , 2nd ed. New York : Oxford University Press .
   Google Scholar
• Jackson , M. ( 2005a ). Finite semigroups with infinite irredundant identity bases . Internat. J. Algebra Comput. 15 : 405 – 422 .
   Web of Science ®Google Scholar
• Jackson , M. ( 2005b ). Finiteness properties of varieties and the restriction to finite algebras . Semigroup Forum 70 : 159 – 187 .
   Web of Science ®Google Scholar
• Jackson , M. ( 2008a ). Flat algebras and the translation of universal Horn logic into equational logic . J. Symbolic Logic 73 : 90 – 128 .
   Web of Science ®Google Scholar
• Jackson , M. ( 2008b ). Residual bounds for compact totally disconnected algebras . Houston, J. Math. 34 : 33 – 67 .
   Web of Science ®Google Scholar
• Jackson , M. , Sapir , O. ( 2000 ). The finite basis problem for sets of words . Internat. J. Algebra Comput. 10 : 683 – 708 .
   Web of Science ®Google Scholar
• Kiss , E. W. ( 1985 ). Definable principal congruences in congruence distributive varieties . Algebra Universalis 21 : 213 – 224 .
   Web of Science ®Google Scholar
• Lyndon , R. ( 1954 ). Identities in finite algebras , Proc. Amer. Math. Soc. 5 : 8 – 9 .
   Web of Science ®Google Scholar
• McKenzie , R. N. ( 1996 ). The residual bounds of finite algebras . Internat. J. Algebra Comput. 6 : 1 – 28 .
   Google Scholar
• McNulty , G. F. , Wang , J. ( 2006 ). The class of subdirectly irreducible groups generated by a finite group is finitely axiomatisable . Manuscript, 2006 .
   Google Scholar
• Mashevitsky , G. I. ( 1984 ). On bases of completely simple semigroup identities . Semigroup Forum 30 : 67 – 76 .
   Web of Science ®Google Scholar
• Oates , S. , Powell , M. B. ( 1964 ). Identical relations in finite groups . J. Algebra 1 : 11 – 39 .
   Google Scholar
• Ol'shanskii , A. Yu. ( 1974 ). Conditional identities of finite groups . Sibirsk. Mat. Zh. 15 : 1409 – 1413 [Russian; English version in (1975) Siberian Math. J. 15:1000–1003] .
   Google Scholar
• Perkins , P. ( 1969 ). Bases for equational theories of semigroups . J. Algebra 11 : 298 – 314 .
   Web of Science ®Google Scholar
• Pin , J. E. ( 1986 ). Varieties of Formal Languages . Foundations of Computer Science . New York : Plenum .
   Google Scholar
• Sapir , M. ( 1988 ). Inherently nonfinitely based finite semigroups . Math. USSR Sbornik 61 : 155 – 166 .
   Google Scholar
• Schein , B. M. ( 1966 ). Homomorphisms and subdirect decompositions of semigroups . Pacific J. Math. 17 : 529 – 547 .
   Web of Science ®Google Scholar
• Wang , J. ( 1990 ). A proof of the Baker conjecture . Acta Math. Sinica 33 : 626 – 633 .
   Google Scholar
• Willard , R. ( 1996 ). On McKenzie's method . Period. Math. Hungar. 32 : 149 – 165 .
   Google Scholar
• Willard , R. ( 1997 ). Tarski's finite basis problem via A(𝒯) . Trans. Amer. Math. Soc. 349 : 2755 – 2774 .
   Web of Science ®Google Scholar
• Communicated by V. Gould.
   Google Scholar