Basic questions for general algebras

DOI10.1007/BF01191487zbMath0545.08008OpenAlexW1990386459MaRDI QIDQ797614

Peter Perkins

Publication date: 1984

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01191487

zbMATH Keywords

groupoidslocally finite varietybinary tree with labelled leavesnon-finitely based finite algebrasset of linear basic terms

Mathematics Subject Classification ID

Trees (05C05) Varieties and pseudovarieties of semigroups (20M07) Equational logic, Mal'tsev conditions (08B05)

Related Items (15)

Inherently nonfinitely based lattices ⋮ An equational logic sampler ⋮ Unnamed Item ⋮ Finite axiomatizability of congruence rich varieties ⋮ Quasi-identities of finite semigroups and symbolic dynamics ⋮ Finite axiomatizability for equational theories of computable groupoids ⋮ A NONFINITELY BASED FINITE SEMIRING ⋮ Algebras from finite group actions and a question of Eilenberg and Schützenberger ⋮ Lyndon's groupoid is not inherently nonfinitely based ⋮ FINITELY BASED, FINITE SETS OF WORDS ⋮ A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). ⋮ A field guide to equational logic ⋮ Algebraic properties of some quadratic dynamical systems ⋮ An inherently nonfinitely based commutative directoid ⋮ Nonfinitely based three-element idempotent groupoids

Cites Work

• A new product of algebras and a type reduction theorem
• Finite groupoids without finite bases for their identities
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Baker's finite basis theorem
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties
• Bases for equational theories of semi-groups
• Unsolvable problems for equational theories
• Equational Bases for Lattice Theories.
• A CLOSED SET OF LAWS WHICH IS NOT GENERATED BY A FINITE SET OF LAWS
• Equational Bases and Nonmodular Lattice Varieties
• Identities in Finite Algebras

This page was built for publication: Basic questions for general algebras