The structure of finite algebras

DOI10.1090/CONM/076zbMATH Open0721.08001OpenAlexW1524176804MaRDI QIDQ4040245FDOQ4040245

Authors: David Hobby, Ralph McKenzie 

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

Recommendations

• scientific article; zbMATH DE number 3914390
• scientific article; zbMATH DE number 52297
• scientific article; zbMATH DE number 194020
• scientific article; zbMATH DE number 1229875
• scientific article; zbMATH DE number 48939

zbMATH Keywords

congruence latticeMal'tsev conditionslocally finite varietiesfinite simple algebrasfree spectratame congruencesMal'tsev classesstructure of finite algebras

Mathematics Subject Classification ID

Structure theory of algebraic structures (08A05) Subalgebras, congruence relations (08A30) Equational logic, Mal'tsev conditions (08B05) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Cited In (only showing first 100 items - show all)

• Monotone clones, residual smallness and congruence distributivity
• A note on blocks of skeleton tolerances.
• Congruences, equational theories and lattice representations
• The shape of congruence lattices
• Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
• On the number of finite algebraic structures
• Recent Results on the Algebraic Approach to the CSP
• Naturally dualizable algebras omitting types 1 and 5 have a cube term
• Monoids with sub-log-exponential free spectra.
• Polynomial functions on subdirect products
• Cyclic terms for \(\text{SD}_{\vee}\) varieties revisited
• Idempotent \(n\)-permutable varieties.
• Reconstructing the topology of clones
• On supernilpotent algebras
• Dualities for Constraint Satisfaction Problems
• Towards a dichotomy theorem for the counting constraint satisfaction problem
• The lattice of compatible quasiorders of acyclic monounary algebras
• A finite basis theorem for difference-term varieties with a finite residual bound
• A field guide to equational logic
• Loosely-abelian algebras
• Infinite combinatorial issues raised by lifting problems in universal algebra
• Irreducible subalgebra primal algebras
• Commutator theory for loops.
• A Characterization of Finitely Decidable Congruence Modular Varieties
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Fragments of R-mingle
• Minimal sets and varieties
• Embedding general algebras into modules
• Nonnegative weighted \#CSP: an effective complexity dichotomy
• Every $m$-permutable variety satisfies the congruence identity $\alpha\beta_h= \alpha \gamma_h$
• An easy test for congruence modularity
• Finite generation of congruence preserving functions
• Three notes on distributive lattices
• Join-semidistributive lattices and convex geometries.
• Some applications of higher commutators in Mal'cev algebras
• On Solvable Congruences in Finitely Decidable Varieties
• ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS
• The near-ring of congruence-preserving functions on an expanded group.
• Growth rates of algebras. III: Finite solvable algebras
• Preserving near unanimity terms under products
• Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• Polynomial clones of Mal'cev algebras with small congruence lattices
• Reflexive digraphs with near unanimity polymorphisms
• Characterizations of several Maltsev conditions.
• Title not available (Why is that?)
• Maltsev families of varieties closed under join or Maltsev product
• A Characterization of Minimal Locally Finite Varieties
• A strong Mal'cev condition for locally finite varieties omitting the unary type
• Natural extensions and profinite completions of algebras
• Equivariant algorithms for constraint satisfaction problems over coset templates
• Title not available (Why is that?)
• CSP for binary conservative relational structures
• The structure of polynomial operations associated with smooth digraphs.
• Polynomial interpolation in expanded groups.
• Constantive Mal’cev clones on finite sets are finitely related
• Testing list \(H\)-homomorphisms
• Taylor's modularity conjecture and related problems for idempotent varieties
• On finitely based groups and nonfinitely based quasivarieties
• The complexity of the list homomorphism problem for graphs
• 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.
• The possible values of critical points between strongly congruence-proper varieties of algebras
• Varieties with few subalgebras of powers
• Constraint Satisfaction Problems Solvable by Local Consistency Methods
• A geometric consequence of residual smallness
• Affine systems of equations and counting infinitary logic
• Universal algebra and hardness results for constraint satisfaction problems
• Algebras defined from ordered sets and the varieties they generate
• Fregean subtractive varieties with definable congruence
• Equations implying congruence \(n\)-permutability and semidistributivity.
• On solvability of systems of polynomial equations
• Growth of generating sets for direct powers of classical algebraic structures
• Finite equational bases for congruence modular varieties
• Abelian algebras and the Hamiltonian property
• Computing the structure of finite algebras
• Maltsev conditions for general congruence meet-semidistributive algebras
• A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• Complexity and polymorphisms for digraph constraint problems under some basic constructions
• Every idempotent plain algebra generates a minimal variety
• An overview of modern universal algebra
• Commutator Theory Without Join-Distributivity
• Cardinality bounds for subdirectly irreducible algebras
• Is supernilpotence super nilpotence?
• SOLVABILITY OF SYSTEMS OF POLYNOMIAL EQUATIONS OVER FINITE ALGEBRAS
• Polynomially rich algebras
• A discrete homotopy theory for binary reflexive structures
• On the expression complexity of equivalence and isomorphism of primitive positive formulas
• On prevarieties of logic
• Wreath products of algebras: Generalizing the Krohn-Rhodes theorem to arbitrary algebras
• Semilattice sums of algebras and Mal'tsev products of varieties
• Nilpotent and solvable radicals in locally finite congruence modular varieties
• Finite algebras with Abelian properties
• \(E\)-minimal semigroups
• Varieties whose finitely generated members are free
• Semigroups and their lattice of congruences. II
• Quasiorder lattices of varieties
• Finite Simple Abelian Algebras are Strictly Simple
• Finiteness properties of direct products of algebraic structures
• A sufficient condition for finite decidability

This page was built for publication: The structure of finite algebras

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