Algebras defined by equations

DOI10.1016/J.JALGEBRA.2020.01.029MaRDI QIDQ2174535zbMATH OpenOpenAlexFDO

Authors Marcel Jackson, Peter M. Higgins

Publication date 21 April 2020

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1810.13012

zbMATH Keywords

simultaneous equationselementary classregular semigroupe-variety

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Varieties and pseudovarieties of semigroups (20M07) Regular semigroups (20M17)

Abstract: We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular semigroups in particular this allows an interpretation of a universal algebraic nature that is formulated entirely in terms of the associative binary operation of the semigroup, which serves as an alternative to the approach via so called e-varieties. In particular we prove that classes of Inverse semigroups, Orthodox semigroups, and $E$-solid semigroups are equational in our sense.

Recommendations

• Dichotomies in the complexity of solving systems of equations over finite semigroups
• Identities for existence varieties of regular semigroups
• Equations over completely simple semigroups.
• scientific article; zbMATH DE number 1868880
• Rewrite systems for varieties of semigroups
• Varieties of regular semigroups with uniquely defined inversion
• Identities of the Natural Representation of the Infinitely Based Semigroup
• scientific article; zbMATH DE number 1746555
• scientific article; zbMATH DE number 1482215
• A unified approach to biidentities for e-varieties

Cites work

• scientific article; zbMATH DE number 3654376 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 52907 (Why is no real title available?)
• scientific article; zbMATH DE number 2012819 (Why is no real title available?)
• scientific article; zbMATH DE number 789816 (Why is no real title available?)
• scientific article; zbMATH DE number 3284302 (Why is no real title available?)
• Identities for existence varieties of regular semigroups
• Model theory.
• On Arithmetical Classes Not Closed Under Direct Union
• On inverses of products of idempotents in regular semigroups
• On regular semigroups
• Properties preserved under homomorphism
• Reduced Products and Horn Classes
• Some Aspects of Model Theory and Finite Structures
• Special classes of semigroups

Cited in

(8)

• Equationally defined classes of semigroups
• Even equations and Agassiz sums
• The number of equations needed to define an algebraic set
• Some equivalents of AC in algebra
• Varieties of regular semigroups with uniquely defined inversion
• Almost equational classes of algebras
• Regular semigroups weakly generated by set
• Equations over direct powers of algebraic structures in relational languages

This page was built for publication: Algebras defined by equations

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