Basic questions for general algebras

DOI10.1007/BF01191487MaRDI QIDQ797614zbMATH OpenOpenAlexFDO

Authors 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) Equational logic, Mal'tsev conditions (08B05) Varieties and pseudovarieties of semigroups (20M07)

Recommendations

• scientific article; zbMATH DE number 3918443
• On finitely based groups and nonfinitely based quasivarieties
• scientific article; zbMATH DE number 515651
• Lyndon's groupoid is not inherently nonfinitely based
• Nonfinitely based pseudovarieties and inherently nonfinitely based varieties

Cites work

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

Cited in

(21)

• A NONFINITELY BASED FINITE SEMIRING
• Lyndon's groupoid is not inherently nonfinitely based
• scientific article; zbMATH DE number 4029651 (Why is no real title available?)
• An inherently nonfinitely based commutative directoid
• A field guide to equational logic
• scientific article; zbMATH DE number 515651 (Why is no real title available?)
• Finite axiomatizability of congruence rich varieties
• Inherently nonfinitely based lattices
• An equational logic sampler
• Algebraic properties of some quadratic dynamical systems
• Evolution of algebraic terms. III: Term continuity and beam algorithms
• Algebras from finite group actions and a question of Eilenberg and Schützenberger
• scientific article; zbMATH DE number 4108844 (Why is no real title available?)
• Finite axiomatizability for equational theories of computable groupoids
• A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots).
• Nonfinitely based three-element idempotent groupoids
• Nonfinitely based pseudovarieties and inherently nonfinitely based varieties
• Quasi-identities of finite semigroups and symbolic dynamics
• scientific article; zbMATH DE number 3918443 (Why is no real title available?)
• Inherently Nonfinitely Based Solvable Algebras
• Finitely based, finite sets of words

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

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