The structure of finite algebras
From MaRDI portal
Publication:4040245
DOI10.1090/conm/076zbMath0721.08001OpenAlexW1524176804MaRDI QIDQ4040245
Publication date: 5 June 1993
Published in: Contemporary Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/conm/076
congruence latticelocally finite varietiesMal'tsev conditionsfinite simple algebrasfree spectratame congruencesMal'tsev classesstructure of finite algebras
Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30) Structure theory of algebraic structures (08A05) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items
Quantified Constraint Satisfaction Problem on Semicomplete Digraphs, Semigroups and their lattice of congruences. II, GROWTH OF GENERATING SETS FOR DIRECT POWERS OF CLASSICAL ALGEBRAIC STRUCTURES, Fregean subtractive varieties with definable congruence, An equational logic sampler, Complexity and polymorphisms for digraph constraint problems under some basic constructions, Unnamed Item, Necessary Conditions for Tractability of Valued CSPs, CSP for binary conservative relational structures, Nonnegative Weighted #CSP: An Effective Complexity Dichotomy, Constraint Satisfaction Problems Solvable by Local Consistency Methods, Monotone clones, residual smallness and congruence distributivity, Medial and semimedial left quasigroups, Satisfiability in MultiValued Circuits, On Solvable Congruences in Finitely Decidable Varieties, Bounding the free spectrum of nilpotent algebras of prime power order, Finite Simple Abelian Algebras are Strictly Simple, Local–global property for G-invariant terms, The Power of Sherali--Adams Relaxations for General-Valued CSPs, Unnamed Item, Unnamed Item, Unnamed Item, On the number of countable subdirect powers of unary algebras, The smallest hard trees, CLONES CLOSED UNDER CONJUGATION I: CLONES WITH CONSTANTS, On finite Taylor algebras, Universal algebraic methods for non-classical logics, Reconstructing the topology of clones, Relative Maltsev definability of some commutator properties, Atoms and coatoms in three-generated lattices, Congruence lattices forcing nilpotency, Efficient realizations of closure systems, Equivalential Algebras with Conjunction on Dense Elements, ASSERTIONALLY EQUIVALENT QUASIVARIETIES, A Characterization of Minimal Locally Finite Varieties, Tarski’s finite basis problem via 𝐀(𝒯), Congruence lattices of algebras— the signed labelling, Many Faces of Lattice Tolerances, Equations implying congruence \(n\)-permutability and semidistributivity., The possible values of critical points between strongly congruence-proper varieties of algebras, Critical algebras and the Frattini congruence, II, n-Permutability is not join-prime for n ≥ 5, Unnamed Item, SOLVABILITY OF SYSTEMS OF POLYNOMIAL EQUATIONS OVER FINITE ALGEBRAS, Algebra and the Complexity of Digraph CSPs: a Survey, 𝜔-categorical structures avoiding height 1 identities, Varieties with few subalgebras of powers, Unnamed Item, DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS, Finitely Decidable Congruence Modular Varieties, THE SUBPOWER MEMBERSHIP PROBLEM FOR MAL'CEV ALGEBRAS, On the CSP Dichotomy Conjecture, The structure of nilpotent steiner quadruple systems, Minimal sets and varieties, Two finitely generated varieties having no infinite simple members, Monoids with sub-log-exponential free spectra., POLYNOMIAL EQUIVALENCE OF FINITE RINGS, Polynomially rich algebras, Locally solvable factors of varieties, Embedding general algebras into modules, Residual smallness relativized to congruence types. I, Constantive Mal’cev clones on finite sets are finitely related, Commutator Theory for Relatively Modular Quasivarieties, A finite basis theorem for difference-term varieties with a finite residual bound, Every $m$-permutable variety satisfies the congruence identity $\alpha\beta_h= \alpha \gamma_h$, Algebras defined from ordered sets and the varieties they generate, Commutator Theory Without Join-Distributivity, Complexity of term representations of finitary functions, Uniform Mal'cev algebras with small congruence lattices., Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties., Robust Algorithms with Polynomial Loss for Near-Unanimity CSPs, Pseudo‐loop conditions, Loop conditions for strongly connected digraphs, ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS, Free abelian extensions of \(S_{p}\)-permutable algebras, The structure of locally finite varieties with polynomially many models, Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems), Unnamed Item, On algebras with many symmetric operations, ON FREE SPECTRA OF LOCALLY TESTABLE SEMIGROUP VARIETIES, The shape of congruence lattices, FREGEAN VARIETIES, Constant-Query Testability of Assignments to Constraint Satisfaction Problems, Polynomial-time tests for difference terms in idempotent varieties, ON FREE SPECTRA OF A CLASS OF FINITE INVERSE MONOIDS, Idempotent n -permutable varieties, On prevarieties of logic, Recent Results on the Algebraic Approach to the CSP, Dualities for Constraint Satisfaction Problems, Minimal Algebras of Unary Multioperations, COMPUTATIONAL COMPLEXITY OF VARIOUS MAL'CEV CONDITIONS, A Characterization of Finitely Decidable Congruence Modular Varieties, Solving CSPs Using Weak Local Consistency, THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE, MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS, Characterizations of several Maltsev conditions., Testing for edge terms is decidable, A quasi-Mal'cev condition with unexpected application., THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY, Submaximal clones over a three-element set up to minor-equivalence, Naturally dualizable algebras omitting types 1 and 5 have a cube term, Equivalential algebras with conjunction on the regular elements, Homogeneous structures: model theory meets universal algebra. Abstracts from the workshop held January 3--9, 2021 (online meeting), Loosely-abelian algebras, Every idempotent plain algebra generates a minimal variety, \(E\)-minimal semigroups, Finite generation of congruence preserving functions, Varieties whose finitely generated members are free, Representation of integral quantales by tolerances, Growth rates of algebras. III: Finite solvable algebras, Preserving near unanimity terms under products, Free spectra of nilpotent varieties, Finite equational bases for congruence modular varieties, Nilpotent and solvable radicals in locally finite congruence modular varieties, Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties, Quasiorder lattices of varieties, Finite algebras with Abelian properties, Wreath products of algebras: Generalizing the Krohn-Rhodes theorem to arbitrary algebras, Equivariant algorithms for constraint satisfaction problems over coset templates, Testing list \(H\)-homomorphisms, Finite algebras with large free spectra, Representation of finite nilpotent squags, Congruences, equational theories and lattice representations, On McKenzie's method, Polynomial clones on groups of order \(pq\), Towards a dichotomy theorem for the counting constraint satisfaction problem, Three notes on distributive lattices, Some applications of higher commutators in Mal'cev algebras, Cardinality bounds for subdirectly irreducible algebras, Further refinements of the primal algebra characterization theorem, Finiteness properties of direct products of algebraic structures, Semilattice sums of algebras and Mal'tsev products of varieties, A strong Mal'cev condition for locally finite varieties omitting the unary type, Cyclic terms for \(\text{SD}_{\vee}\) varieties revisited, A note on blocks of skeleton tolerances., Commutator theory for loops., On free spectra of finite monoids from the pseudovariety \(\mathsf{DA}\)., Simpler Maltsev conditions for (weak) difference terms in locally finite varieties, A new line of attack on the dichotomy conjecture, Polynomial clones of Mal'cev algebras with small congruence lattices, Some structural and residual properties of 2-semilattices, TC operations and Latin bricks, Infinite combinatorial issues raised by lifting problems in universal algebra, Irreducible subalgebra primal algebras, Generic expression hardness results for primitive positive formula comparison, Reflexive digraphs with near unanimity polymorphisms, An easy test for congruence modularity, Polynomial interpolation in expanded groups., Natural extensions and profinite completions of algebras, The lattice of compatible quasiorders of acyclic monounary algebras, On the number of finite algebraic structures, A characterization of congruence permutable locally finite varieties, Testing for a semilattice term, The structure of polynomial operations associated with smooth digraphs., A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots)., Bounding essential arities of term operations in finitely decidable varieties, Mal'tsev conditions, lack of absorption, and solvability., On the complexity of the Leibniz hierarchy, Algebras from congruences, Unary operations with long pre-periods, Maltsev families of varieties closed under join or Maltsev product, A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties, Commutator theory for racks and quandles, A field guide to equational logic, On the tolerance lattice of tolerance factors, On supernilpotent algebras, On the expression complexity of equivalence and isomorphism of primitive positive formulas, The complexity of the list homomorphism problem for graphs, Simple Abelian algebras, On solvability of systems of polynomial equations, A discrete homotopy theory for binary reflexive structures, The set of types of a finitely generated variety, Relation identities in 3-distributive varieties, Abelian and Hamiltonian groupoids., Fragments of R-mingle, Finite basis problems and results for quasivarieties, Polynomial functions on subdirect products, Constraint satisfaction problems over semilattice block Mal'tsev algebras, Taylor's modularity conjecture and related problems for idempotent varieties, Is supernilpotence super nilpotence?, Two weaker variants of congruence permutability for monoid varieties, Deciding active structural completeness, Definable principal congruences and solvability, Random models of idempotent linear Maltsev conditions. I. Idemprimality, Abelian algebras and the Hamiltonian property, The poset of all logics. III: Finitely presentable logics, Universal algebra and hardness results for constraint satisfaction problems, Affine systems of equations and counting infinitary logic, On finitely based groups and nonfinitely based quasivarieties, A sufficient condition for finite decidability, Algebra for trees, Reflexive relations on algebras with Boolean lattice reducts, Representing subalgebras as retracts of finite subdirect powers, Congruence modularity implies cyclic terms for finite algebras, On the functional completeness of simple tournaments, A geometric consequence of residual smallness, Congruence modularity implies the Arguesian law for single algebras with a difference term, The lattice of varieties of monoids, Join-semidistributive lattices and convex geometries., The near-ring of congruence-preserving functions on an expanded group.
