Compactness of systems of equations on completely regular semigroups

DOI10.1007/3-540-63246-8_16MaRDI QIDQ4362735zbMATH OpenFDO

Authors Juhani Karhumäki, Mario Petrich, Tero Harju

Publication date 3 November 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63246-8_16

zbMATH Keywords

ascending chain condition for normal subgroupscompactness propertysystems of equationsvarieties of completely regular unary semigroups

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Regular semigroups (20M17)

Review text

A semigroup is said to have a compactness property if each system of equations over a finite set of variables has an equivalent finite subsystem. [In Proc. Edinb. Math. Soc., II. Ser. 29, 69-73 (1986; Zbl 0584.20027)], \textit{M. H. Albert} and \textit{J. E. Lawrence} proved that a variety of groups has the compactness property if and only if its finitely generated members have the ascending chain condition for normal subgroups. In the present paper the authors characterize, in an analogous way, those varieties of completely regular unary semigroups having the compactness property. A different characterization is provided in the case where the finitely generated members have finite matrices. For the entire collection see [Zbl 0868.00014].

Recommendations

• Compactness of Systems of Equations in Semigroups
• Compactness of systems of equations in semigroups
• scientific article; zbMATH DE number 1522669

Cited in

(6)

• Compactness of Systems of Equations in Semigroups
• Compactness of systems of equations in semigroups
• On algebraic geometry over completely simple semigroups
• Absolutely equationally compact monoids.
• Systems of Equations Satisfied in All Commutative Finite Semigroups
• Equationally Noetherian varieties of semigroups and B. Plotkin's problem

This page was built for publication: Compactness of systems of equations on completely regular semigroups

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