Algebras defined by equations

DOI10.1016/J.JALGEBRA.2020.01.029zbMATH Open1471.20038arXiv1810.13012OpenAlexW3014636201MaRDI QIDQ2174535FDOQ2174535

Authors: Marcel Jackson, Peter M. Higgins 

Publication date: 21 April 2020

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

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.

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

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
• Publication:4492883
• A unified approach to biidentities for e-varieties

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model theory.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On regular semigroups
• On inverses of products of idempotents in regular semigroups
• Properties preserved under homomorphism
• Special classes of semigroups
• Some Aspects of Model Theory and Finite Structures
• Identities for existence varieties of regular semigroups
• Reduced Products and Horn Classes
• On Arithmetical Classes Not Closed Under Direct Union

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)