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

DOI10.1017/S144678870800061XzbMATH Open1160.08005MaRDI QIDQ3549353FDOQ3549353

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)

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

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)

Cites Work

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

Cited In (11)

• Profiniteness in finitely generated varieties is undecidable
• Finitely generated equational classes
• OPTIMAL REES MATRIX CONSTRUCTIONS FOR ANALYSIS OF DATA
• The complexity of quasivariety lattices. II
• Optimization of classifiers for data mining based on combinatorial semigroups
• 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)