Identities and quasi-identities of pointed algebras

DOI10.1134/S003744662202001XMaRDI QIDQ2123076zbMATH OpenFDO

Authors A. O. Basheyeva, Mustafa Manat, A. M. Nurakunov

Publication date 8 April 2022

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/S003744662202001X

zbMATH Keywords

basis of identitiesbasis of quasi-identitiesconstant operationquasivarietyvariety

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Quasivarieties (08C15)

Review text

It is proved that if a finite algebra \(\mathbf A\) belongs to a certain variety (quasivariety) then the algebra obtained from \(\mathbf A\) by adding finitely many constant operations admits a finite basis of identities (quasi-identities). Applications of these results and examples are presented.

Recommendations

• An answer to a question of D. Pigozzi
• Bases of quasiidentities of finite distributive p-algebras
• Properties not retained by pointed enrichments of finite lattices
• On quasiidentities of the finite algebraic system
• scientific article; zbMATH DE number 3922735

Cites work

• A finite basis theorem for difference-term varieties with a finite residual bound
• A finite basis theorem for residually finite, congruence meet-semidistributive varieties
• Algebras Whose Congruence Lattices are Distributive.
• Characterization of relatively distributed quasivarieties of algebras
• Commutator Theory for Relatively Modular Quasivarieties
• Conditional identities in finite groups
• Definable principal congruences in varieties of groups and rings
• Finite equational bases for congruence modular varieties
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Finitely generated congruence distributive quasivarieties of algebras
• scientific article; zbMATH DE number 3809626 (Why is no real title available?)
• scientific article; zbMATH DE number 3726426 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1226187 (Why is no real title available?)
• scientific article; zbMATH DE number 1270491 (Why is no real title available?)
• Identical relations in finite groups
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• Properties not retained by pointed enrichments of finite lattices
• Quasiidentities of finite rings and lattices
• Quasivarieties of algebras with definable principal congruences
• Residually Small Varieties with Modular Congruence Lattices
• Subdirect unions in universal algebra
• The Laws of Finite Pointed Groups
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• Ultraproducts preserve finite subdirect reducibility

Cited in

(8)

• Strongly exposed points in quotients of Douglas algebras
• On finitely based groups and nonfinitely based quasivarieties
• On a theorem of Schauffler
• Quasi-identities and quasiverbal subalgebras
• Properties not retained by pointed enrichments of finite lattices
• On quasiidentities of the finite algebraic system
• Note on quasivarieties generated by finite pointed abelian groups
• An answer to a question of D. Pigozzi

This page was built for publication: Identities and quasi-identities of pointed algebras

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