PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES

DOI10.1017/S144678870800061XMaRDI QIDQ3549353zbMATH OpenFDO

Authors Brian A. Davey, Marcel Jackson, M. Maróti, Ralph McKenzie

Publication date 22 December 2008

Published in Journal of the Australian Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

congruence-permutable varietycongruence-distributive varietyfinitely determined syntactic congruenceterm finite principal congruence

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10)

Recommendations

• Varieties with decidable finite algebras. II: Permutability
• A Mal'cev condition for congruence principal permutable varieties
• A characterization of congruence permutable locally finite varieties
• scientific article; zbMATH DE number 4043916
• Two weaker variants of congruence permutability for monoid varieties

Cites work

• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• Algebras Whose Congruence Lattices are Distributive.
• An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
• Approximate distributive laws and finite equational bases for finite algebras in congruence-distributive varieties
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• Standard topological algebras: syntactic and principal congruences and profiniteness
• THE RESIDUAL BOUND OF A FINITE ALGEBRA IS NOT COMPUTABLE
• The axiomatizability of topological prevarieties
• Zero-Dimensional Compact Associative Distributive Universal Algebras

Cited in

(11)

• Profiniteness in finitely generated varieties is undecidable
• Finitely generated equational classes
• OPTIMAL REES MATRIX CONSTRUCTIONS FOR ANALYSIS OF DATA
• Optimization of classifiers for data mining based on combinatorial semigroups
• The complexity of quasivariety lattices. II
• Profinite locally finite quasivarieties
• Operator properties of congruence permutable varieties with strongly definable principal congruences.
• Rees matrix constructions for clustering of data.
• Internet security applications of Gröbner-Shirshov bases
• The Division Relation: Congruence Conditions and Axiomatisability
• Bohr compactifications of algebras and structures

This page was built for publication: PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3549353)