scientific article
From MaRDI portal
zbMath0636.08001MaRDI QIDQ3775604
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items
Connected quandles of size \(pq\) and \(4p\), Bjarni Jónsson's contributions in algebra, Categorical quasivarieties revisited, 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), Finitely based modular congruence varietes are distributive, On the relationship of AP, RS and CEP in congruence modular varieties, Characterizing the commutator in varieties with a difference term, Loosely-abelian algebras, Every idempotent plain algebra generates a minimal variety, Equational density of clones of polynomial functions, Finite generation of congruence preserving functions, Varieties whose finitely generated members are free, Free spectra of nilpotent varieties, Alan Day's early work: Congruence identities, Alan Day's work on modular and arguesian lattices, 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, A relational description of higher commutators in Mal'cev varieties, Critical algebras and the Frattini congruence, Many-sorted algebras in congruence modular varieties, Construction of nilpotent sloops of class \(n\), Internal categories and groupoids in congruence modular varieties, Properties of algebras of primary order with one ternary Mal'tsev operation, Essential arities of term operations in finite algebras, Normal subalgebras. I, Enveloping ringoids, Fully invariant and verbal congruence relations, Representation of finite nilpotent squags, Distributive congruence lattices of congruence-permutable algebras, Polynomial clones on groups of order \(pq\), Arithmetical categories and commutator theory, Some applications of higher commutators in Mal'cev algebras, 2-supernilpotent Mal'cev algebras, A review of some of Bjarni Jónsson's results on representation of Arguesian lattices, On independent varieties and some related notions, Cardinality bounds for subdirectly irreducible algebras, Sequences of commutator operations, Finiteness properties of direct products of algebraic structures, Dualisability versus residual character: a theorem and a counterexample, Commutator theory for loops., Weighted commutators in semi-abelian categories, Polynomial clones of Mal'cev algebras with small congruence lattices, Characterization of polynomially complete quasigroups based on Latin squares for cryptographic transformations., The commutator in equivalential algebras and Fregean varieties, Joins and subdirect products of varieties, Finitely related clones and algebras with cube terms., Generic expression hardness results for primitive positive formula comparison, Lyndon's groupoid is not inherently nonfinitely based, Polynomial interpolation in expanded groups., Free algebras of a unary variety with Mal'tsev's operation that satisfies the Pixley conditions, The finite 1-affine complete Frobenius groups., Residual bounds for varieties of modules, A single quasi-identity for a quasivariety with the Fraser-Horn property, General algebra and its applications 2013: problem session., Mal'tsev conditions, lack of absorption, and solvability., The structure of medial quandles, Principal and doubly homogeneous quandles, 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, Central reflections and nilpotency in exact Mal'tsev categories, Semiboolean SQS-skeins, Commutator theory for racks and quandles, A field guide to equational logic, On supernilpotent algebras, On the Loewy rank of infinite algebras, Finitary decidability implies congruence permutability for congruence modular varieties, Mal'cev algebras with supernilpotent centralizers, Three remarks on the modular commutator, Simple Abelian algebras, Relation identities in 3-distributive varieties, Higher commutator theory for congruence modular varieties, Subquandles of affine quandles, The partially ordered monoid generated by the operators \(H, S, P_{u}, P_{f}\) on classes of algebras, Topological loops having solvable indecomposable Lie groups as their multiplication groups, On connected quandles of prime power order, Abelian algebras and the Hamiltonian property, How are diamond identities implied in congruence varieties?, Varieties having Boolean factor congruences, The Magnus representation in congruence modular varieties, On subtractive varieties II: General properties, On quasi-identities of finite nilpotent algebras, A sufficient condition for finite decidability, Subquasivarieties of regularized varieties, Galois groups, abstract commutators, and Hopf formula, Abstractly constructed prime spectra, Representing subalgebras as retracts of finite subdirect powers, Congruence modularity implies cyclic terms for finite algebras, \(n\)-permutable varieties satisfy non trivial congruence identities, A geometric consequence of residual smallness, Congruence modularity implies the Arguesian law for single algebras with a difference term, Commutators and central extensions in universal algebra, Prime spectra in modular varieties, Quasi-affine algebras, Semigroups obeying the term condition, On subtractive varieties. I, Conic decompositions of a class of lattices and universal algebras, The near-ring of congruence-preserving functions on an expanded group., Decision problems for classes of diagonalizable algebras, Unnamed Item, Central nilpotency of skew braces, Universal algebraic methods for non-classical logics, On abelian-by-cyclic Moufang loops, Congruence preserving operations on the ring $\mathbb{Z}_{p^3}$, Finitely based congruence varieties, Relative Maltsev definability of some commutator properties, Algebraic structures from the point of view of complete multiplicative lattices, Vaughan-Lee's nilpotent loop of size 12 is finitely based, Equivalential Algebras with Conjunction on Dense Elements, Knot quandle decomposition along a torus, Unnamed Item, Unnamed Item, Polynomially rich algebras, Residual smallness relativized to congruence types. I, Semi-abelian categories, Finite representation of commutator sequences, Unnamed Item, ON THE MAXIMAL IDEALS OF NON-ZERO-SYMMETRIC NEAR-RINGS AND OF COMPOSITION ALGEBRAS OF POLYNOMIAL FUNCTIONS ON Ω-GROUPS, Congruence Boolean Lifting Property, Beck-Chevalley condition and Goursat categories, Absolute retracts and essential extensions in congruence modular varieties, A dense family of well-behaved finite monogenerated left-distributive groupoids, An equational logic sampler, Nonnegative Weighted #CSP: An Effective Complexity Dichotomy, GROWTH RATES OF ALGEBRAS, I: POINTED CUBE TERMS, Idempotent subreducts of semimodules over commutative semirings., Independence of algebras with edge term, Monotone clones, residual smallness and congruence distributivity, The structure of completely meet irreducible congruences in strongly Fregean algebras, Medial and semimedial left quasigroups, The annihilation graphs of commutator posets and lattices with respect to an ideal, Finite affine algebras are fully dualizable, Satisfiability in MultiValued Circuits, Superconnected left quasigroups and involutory quandles, Higher coverings of racks and quandles. II, Bounding the free spectrum of nilpotent algebras of prime power order, Finite Simple Abelian Algebras are Strictly Simple, The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras, Higher Kiss terms, Tolerances and Commutators on lattices, Unnamed Item, Unnamed Item, Lacunary series, algebraic normal forms, convolutions, Annihilators in universal algebras: a new approach, The Gumm level equals the Alvin level in congruence distributive varieties, Higher commutators in semigroups with zero, Congruence lattices forcing nilpotency, Unnamed Item, Involutive Latin solutions of the Yang-Baxter equation, A Characterization of Minimal Locally Finite Varieties, Abelian congruences and solvability in Moufang loops, On the utility of Robinson-Amitsur ultrafilters, Three concepts of nilpotence in loops, Finiteness of the nearring of congruence preserving and 0-preserving functions of an expanded group, Quandles with orbit series conditions, Equations implying congruence \(n\)-permutability and semidistributivity., Chevalley-Warning type results on abelian groups, The possible values of critical points between strongly congruence-proper varieties of algebras, Triangular irreducibility of congruences in quasivarieties, Unnamed Item, AXIOMATISABILITY OF THE CLASS OF MONOLITHIC GROUPS IN A VARIETY OF NILPOTENT GROUPS, Neutrabelian algebras, Supernilpotent Taylor algebras are nilpotent, PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES, Categories with negation, Varieties with few subalgebras of powers, Unnamed Item, Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras., Finitely Decidable Congruence Modular Varieties, THE SUBPOWER MEMBERSHIP PROBLEM FOR MAL'CEV ALGEBRAS, Algebras from congruences, The structure of nilpotent steiner quadruple systems, Semi-lattice of varieties of quasigroups with linearity, SUPERNILPOTENCE PREVENTS DUALIZABILITY, Minimal sets and varieties, On the Direct Decomposition of Nilpotent Expanded Groups, Locally solvable factors of varieties, The annihilation graphs of commutator posets and lattices with respect to an element, Embedding general algebras into modules, Abelian extensions and solvable loops., Peri-abelian categories and the universal central extension condition, RESIDUAL SMALLNESS AND WEAK CENTRALITY, Polynomial functions on subdirect products, Unnamed Item, Commutator Theory for Relatively Modular Quasivarieties, Nilpotent block designs I: Basic concepts for Steiner triple and quadruple systems, A finite basis theorem for difference-term varieties with a finite residual bound, Unnamed Item, Unnamed Item, Commutator Theory Without Join-Distributivity, The equation solvability problem over supernilpotent algebras with Mal’cev term, Complexity of term representations of finitary functions, Residually Finite Varieties of Nonassociative Algebras, Commutator relations and the clones of finite groups., Uniform Mal'cev algebras with small congruence lattices., Free abelian extensions of \(S_{p}\)-permutable algebras, Dualizable algebras with parallelogram terms, Congruence preserving expansions of nilpotent algebras, The descending central series of higher commutators for simple algebras, Generating subdirect products, Unnamed Item, Even Faster Algorithms for CSAT Over supernilpotent Algebras., The shape of congruence lattices, Supernilpotence need not imply nilpotence, Polynomial-time tests for difference terms in idempotent varieties, АЛГЕБРЫ РИСА И КОНГРУЭНЦ-АЛГЕБРЫ РИСА В ОДНОМ КЛАССЕ АЛГЕБР С ОПЕРАТОРОМ И ОСНОВНОЙ ОПЕРАЦИЕЙ ПОЧТИ ЕДИНОГЛАСИЯ, АЛГЕБРЫ РИСА И КОНГРУЭНЦ-АЛГЕБРЫ РИСА В ОДНОМ КЛАССЕ АЛГЕБР С ОПЕРАТОРОМ И ОСНОВНОЙ ОПЕРАЦИЕЙ ПОЧТИ ЕДИНОГЛАСИЯ, On the Relationship of AP, RS and CEP in Congruence Modular Varieties. II, Formations, bihomorphisms and natural transformations, Unnamed Item, A Characterization of Finitely Decidable Congruence Modular Varieties, On the Relationship Between AP, RS and CEP, Categorical Commutator Theory, Application of Urquhart’s Representation of Lattices to Some Non–classical Logics, Unnamed Item, Unnamed Item