scientific article

zbMath0611.08001MaRDI QIDQ3751631

George F. McNulty, Walter Taylor, Ralph McKenzie

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

congruencescongruence latticeslatticescommutatorfinite algebrasprojective geometriesclonesrefinement propertyindecomposable algebrassubdirect representationsmonadic algebrasdirect join decompositionmodular lattices of finite heightunique factorization of algebras

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Modular lattices, Desarguesian lattices (06C05) Complemented modular lattices, continuous geometries (06C20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01) Algebraic structures (08Axx) Varieties (08Bxx)

Related Items

Characterization of discriminator varieties ⋮ GROWTH OF GENERATING SETS FOR DIRECT POWERS OF CLASSICAL ALGEBRAIC STRUCTURES ⋮ Unnamed Item ⋮ ON THE MAXIMAL IDEALS OF NON-ZERO-SYMMETRIC NEAR-RINGS AND OF COMPOSITION ALGEBRAS OF POLYNOMIAL FUNCTIONS ON Ω-GROUPS ⋮ A Parametrization of the Irreducible Representations of a Compact Inverse Semigroup ⋮ Unnamed Item ⋮ On a cancellation rule for subdirect products of lattice ordered groups and of GMV-algebras ⋮ Termal Groupoids ⋮ Three-Variable Equations of Posets ⋮ Necessary Conditions for Tractability of Valued CSPs ⋮ Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? ⋮ Unnamed Item ⋮ Varieties with definable factor congruences ⋮ On some non-obvious connections between graphs and unary partial algebras ⋮ A Note on Idempotent Modifications of Groups ⋮ One-Element Extensions in the Variety Generated by Tournaments ⋮ Wigner's theorem for an infinite set ⋮ Unnamed Item ⋮ Free idempotent generated semigroups: subsemigroups, retracts and maximal subgroups ⋮ Satisfiability in MultiValued Circuits ⋮ Strong endomorphism kernel property for monounary algebras ⋮ Unnamed Item ⋮ THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY ⋮ The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras ⋮ Boolean product representations of algebras via binary polynomials ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Strongly minimal Steiner systems. II: Coordinatization and quasigroups ⋮ A survey on varieties generated by small semigroups and a companion website ⋮ On the number of countable subdirect powers of unary algebras ⋮ An algebraic characterization of tractable constraints ⋮ Universal algebraic methods for non-classical logics ⋮ A MINIMAL CONGRUENCE LATTICE REPRESENTATION FOR ⋮ On filters in eBE-algebras ⋮ Identities and bases in the Sylvester and Baxter monoids ⋮ Congruence lattices forcing nilpotency ⋮ Product decompositions of semigroups induced by action pairs ⋮ Equivalential Algebras with Conjunction on Dense Elements ⋮ A Characterization of Minimal Locally Finite Varieties ⋮ Finiteness of the nearring of congruence preserving and 0-preserving functions of an expanded group ⋮ On congruence permutable $G$-sets ⋮ Unnamed Item ⋮ Categories with negation ⋮ Varieties with few subalgebras of powers ⋮ Unnamed Item ⋮ DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS ⋮ Unnamed Item ⋮ Finitely Decidable Congruence Modular Varieties ⋮ Birkhoff-Frink representations as functors ⋮ Algebra and automated deduction ⋮ SUPERNILPOTENCE PREVENTS DUALIZABILITY ⋮ CONGRUENCE FD-MAXIMAL VARIETIES OF ALGEBRAS ⋮ Two finitely generated varieties having no infinite simple members ⋮ Centralizers and isomorphism preservation of minimal factors of nearring modules ⋮ On the Direct Decomposition of Nilpotent Expanded Groups ⋮ Decompositions for Relatively Normal Lattices ⋮ Towards Lambda Calculus Order-Incompleteness ⋮ Polynomially rich algebras ⋮ Embedding general algebras into modules ⋮ Linear Heyting algebras with a quantifier ⋮ Functorial representation theorems for MV\(_\Delta\) algebras with additional operators ⋮ The ordering of commutative terms ⋮ On some constructions of algebraic objects ⋮ Unnamed Item ⋮ Commutator Theory Without Join-Distributivity ⋮ Complexity of term representations of finitary functions ⋮ Computational complexity of some problems involving congruences on algebras ⋮ On the partially ordered monoid generated by the operators \(H, S, P, P_s\) on classes of algebras ⋮ Subdirectly irreducible medial quandles ⋮ Free \(\mu\)-lattices ⋮ Unnamed Item ⋮ A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES ⋮ A finitely axiomatizable undecidable equational theory with recursively solvable word problems ⋮ Quasiequational Theories of Flat Algebras ⋮ Homomorphic images of finite subdirectly irreducible unary algebras ⋮ Slim groupoids ⋮ Varieties of idempotent slim groupoids ⋮ On noncommutative generalisations of Boolean algebras ⋮ Decidable Discriminator Varieties from Unary Classes ⋮ Generating subdirect products ⋮ Unnamed Item ⋮ The shape of congruence lattices ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Unnamed Item ⋮ On the Relationship of AP, RS and CEP in Congruence Modular Varieties. II ⋮ CONGRUENCE LIFTING OF SEMILATTICE DIAGRAMS ⋮ Basics of Galois Connections ⋮ Recent Results on the Algebraic Approach to the CSP ⋮ Finitely Presented Lattices: Canonical Forms and the Covering Relation ⋮ On the Relationship Between AP, RS and CEP ⋮ Cancellable Elements in the Lattice of Overcommutative Semigroup Varieties ⋮ Finite representation of commutator sequences ⋮ Inherently nonfinitely based lattices ⋮ The strong endomorphism kernel property for modular p-algebras and for distributive lattices ⋮ Non-local configuration of component interfaces by constraint satisfaction ⋮ A new approach for classification of filters in residuated lattices ⋮ Clones with nullary operations. ⋮ Dualizing clones as models of Lawvere theories. ⋮ A short introduction to clones. ⋮ Mal'tsev products of varieties. I ⋮ \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic ⋮ Finite generation of congruence preserving functions ⋮ Two equational theories of partial words ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ TC semigroups and inflations ⋮ Binary resolution over Boolean lattices ⋮ Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties ⋮ The Jónsson distributivity spectrum ⋮ Quasiorder lattices of varieties ⋮ Many-sorted algebras in congruence modular varieties ⋮ On the existence of congruence-uniform structures on universal algebras ⋮ An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field ⋮ Finite modular effect algebras ⋮ Boolean-like algebras ⋮ Normal subalgebras. I ⋮ T-norm-based logics with an independent involutive negation ⋮ Varieties of Boolean inverse semigroups ⋮ Fully invariant and verbal congruence relations ⋮ Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green ⋮ Compatible extensions of nearrings. ⋮ Cancellation among finite unary algebras ⋮ Affine completeness of some modules ⋮ Some applications of higher commutators in Mal'cev algebras ⋮ Unification in commutative semigroups ⋮ 2-supernilpotent Mal'cev algebras ⋮ On independent varieties and some related notions ⋮ Sequences of commutator operations ⋮ Finiteness properties of direct products of algebraic structures ⋮ Bounded lattice structured discriminator varieties ⋮ Dual spaces of some congruence lattices. ⋮ Retracted article: Varieties of bands with a semilattice transversal. ⋮ Entropicity and generalized entropic property in idempotent \(n\)-semigroups. ⋮ On some congruences of power algebras ⋮ Special elements in the lattice of overcommutative semigroup varieties revisited. ⋮ Factor varieties ⋮ Semilattice transversals of regular bands. II ⋮ Growth problems for avoidable words ⋮ Bounded and well-placed theories in the lattice of equational theories ⋮ Reflexive digraphs with near unanimity polymorphisms ⋮ Polynomial interpolation in expanded groups. ⋮ Axiomatizability by \({\forall \exists!}\)-sentences ⋮ Interval MV-algebras and generalizations. ⋮ Learnability of quantified formulas. ⋮ On finite alphabets and infinite bases ⋮ On the number of finite algebraic structures ⋮ Defining relations for idempotent generators in finite partial transformation semigroups. ⋮ Isotopic algebras with nonisomorphic congruence lattices. ⋮ Dualizing clones into categories of topological spaces. ⋮ Nonassociative Boolean ring varieties ⋮ Non-representable distributive semilattices ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Discriminator varieties and symbolic computation ⋮ Ł\(\Pi\) logic with fixed points ⋮ Dynamics in the decompositions approach to quantum mechanics ⋮ A finite set of functions with an EXPTIME-complete composition problem ⋮ A field guide to equational logic ⋮ Finite-valued algebraic lattices ⋮ The complexity of the list homomorphism problem for graphs ⋮ Mal'cev algebras with supernilpotent centralizers ⋮ Quantified constraint satisfaction and the polynomially generated powers property ⋮ The partially ordered monoid generated by the operators \(H, S, P_{u}, P_{f}\) on classes of algebras ⋮ The category of varieties and interpretations is alg-universal ⋮ Lattices of semigroup varieties ⋮ Some near-rings in which all ideals are intersections of Noetherian quotients. ⋮ Minimal varieties and quasivarieties of semilattices with one automorphism ⋮ The endomorphism semiring of a semilattice. ⋮ On finitely based groups and nonfinitely based quasivarieties ⋮ The one-block property in varieties of semigroups ⋮ A projection property ⋮ On free spectra of finite completely regular semigroups and monoids. ⋮ On the algebraic structure of combinatorial problems ⋮ Resolution of algebraic systems of equations in the variety of cyclic Post algebras ⋮ On apolarity and generic canonical forms ⋮ A finite equational axiomatization of the functional algebras for the lambda calculus ⋮ Quasivarieties with definable relative principal subcongruences ⋮ Definability in substructure orderings. I: Finite semilattices ⋮ All clones are centralizer clones ⋮ Simple equations on real intervals ⋮ Algebraically expandable classes ⋮ The lattice generated by some subvarieties of completely regular semigroups. ⋮ Definability in substructure orderings. IV: Finite lattices ⋮ Definability in substructure orderings. III: Finite distributive lattices ⋮ Congruence modularity implies cyclic terms for finite algebras ⋮ On the algebraic models of lambda calculus ⋮ Maps of finite powers of metric spaces (recursive conditions for spaces at work) ⋮ Congruence modularity implies the Arguesian law for single algebras with a difference term ⋮ Algebras, polynomials and programs ⋮ On congruences of \({\mathcal G}_ X\)-normal semigroups ⋮ Interpretations of module varieties ⋮ The near-ring of congruence-preserving functions on an expanded group. ⋮ Finitely generated equational classes ⋮ An algebraic theory of clones ⋮ On the expressiveness of choice quantification ⋮ Meet infinite distributivity for congruence lattices of direct sums of algebras ⋮ Lattices of two-sided ideals of locally matricial algebras and the \(\Gamma\)-invariant problem ⋮ Equivalential algebras with conjunction on the regular elements ⋮ Easiness in graph models ⋮ Braids and partial permutations. ⋮ Unnamed Item ⋮ Varieties with existentially definable factor congruences ⋮ The semigroup generated by the idempotents of a partition monoid. ⋮ Expansions of finite algebras and their congruence lattices ⋮ Absolute retracts and essential extensions in congruence modular varieties ⋮ A dense family of well-behaved finite monogenerated left-distributive groupoids ⋮ On arithmetical varieties of near-rings ⋮ Operator properties of congruence permutable varieties with strongly definable principal congruences. ⋮ Varieties of operator semigroups representing partitions ⋮ Idempotent subreducts of semimodules over commutative semirings. ⋮ Wreath products of algebras: Generalizing the Krohn-Rhodes theorem to arbitrary algebras ⋮ Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. I ⋮ A theorem of Mumford and Ramanujam for universal algebras ⋮ Varieties with equationally definable factor congruences. II ⋮ Real spectra and \(\ell\)-spectra of algebras and vector lattices over countable fields ⋮ \(\mathcal{M}\)-coextensive objects and the strict refinement property ⋮ On elementary equivalence and isomorphism of clone segments ⋮ Cardinality bounds for subdirectly irreducible algebras ⋮ Semilattice sums of algebras and Mal'tsev products of varieties ⋮ Bounding the free spectrum of nilpotent algebras of prime power order ⋮ On the primeness of locally finite idempotent 3-permutability ⋮ A general Galois theory for operations and relations in arbitrary categories ⋮ Varieties generated by modes of submodes ⋮ A categorical equivalence for Stonean residuated lattices ⋮ Lattices of subclasses ⋮ Identities and quasiidentities in the lattice of overcommutative semigroup varieties. ⋮ General affine adjunctions, Nullstellensätze, and dualities ⋮ The Gumm level equals the Alvin level in congruence distributive varieties ⋮ Higher commutators in semigroups with zero ⋮ Complemented MacNeille completions and algebras of fractions ⋮ Series and 1-affine completeness ⋮ Lifting defects for nonstable \(K_{0}\)-theory of exchange rings and \(C^*\)-algebras ⋮ Chevalley-Warning type results on abelian groups ⋮ The lattice of idempotent distributive semiring varieties ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ On the atoms of algebraic lattices arising in 𝔮-theory ⋮ Two properties of fuzzy subquasigroups of a quasigroup ⋮ The Tschantz and the Alvin higher conditions are equivalent in congruence distributive varieties ⋮ An extended Ockham algebra with endomorphism kernel property ⋮ On the complexity of the Leibniz hierarchy ⋮ Comparability graphs of lattices ⋮ Metrizability and coconnectedness ⋮ A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties ⋮ Tribute to Bjarni Jónsson ⋮ On lattices with a smallest set of aggregation functions ⋮ On the clone of aggregation functions on bounded lattices ⋮ The largest subsemilattices of the endomorphism monoid of an independence algebra. ⋮ Amalgamation and interpolation in ordered algebras. ⋮ On certain cross varieties of aperiodic monoids with commuting idempotents. ⋮ Varieties of regular pseudocomplemented De Morgan algebras ⋮ Structural matrix algebras and their lattices of invariant subspaces ⋮ Projectivity and linkage for completely join irreducible ideals of an expanded group ⋮ Unnamed Item ⋮ Varieties generated by ordered bands. I. ⋮ Polynomial functions on subdirect products ⋮ A new tractable class of constraint satisfaction problems ⋮ Equivalence between varieties of square root rings and Boolean algebras with a distinguished automorphism ⋮ Constantive Mal’cev clones on finite sets are finitely related ⋮ Hypergraphs induced by algebras of fixed type ⋮ Algebras defined from ordered sets and the varieties they generate ⋮ Invariance groups of functions and related Galois connections ⋮ Loop conditions ⋮ Maximal n-generated subdirect products ⋮ Unification and projectivity in De Morgan and Kleene algebras. ⋮ Uniform Mal'cev algebras with small congruence lattices. ⋮ Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties. ⋮ Deciding active structural completeness ⋮ The semiring of 1-preserving endomorphisms of a semilattice ⋮ Canonical extensions and ultraproducts of polarities ⋮ Abelian algebras and the Hamiltonian property ⋮ Another problem of Jónsson and McKenzie from 1982: refinement properties for connected powers of posets ⋮ Strictly join irreducible varieties of BL-algebras: the missing pieces ⋮ Equational definability of (complementary) central elements ⋮ Varieties having Boolean factor congruences ⋮ A note on guarded theories ⋮ Upper bounds on the sizes of finitely generated algebras ⋮ Term operations in \(\mathcal{V}(N_5)\) ⋮ Supernilpotence need not imply nilpotence ⋮ Non-axiomatizability of the amalgamation class of modular lattice varieties ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ On some graph problem in the theory of partial algebras. I. ⋮ Mitschke's theorem is sharp ⋮ Definability of directly indecomposable congruence modular algebras ⋮ Splittings in subreducts of hoops ⋮ Quasi-Nelson algebras ⋮ Finite degree clones are undecidable ⋮ The lattice of varieties of monoids ⋮ On the number of universal algebraic geometries ⋮ Characterizations of several Maltsev conditions. ⋮ The connection of skew Boolean algebras and discriminator varieties to Church algebras ⋮ A temporal semantics for nilpotent minimum logic ⋮ Irreducible varieties of commutative semigroups ⋮ On coconnected algebras