Semigroup presentations for test local groups.

DOI10.1007/S00233-014-9656-2MaRDI QIDQ744856zbMATH OpenOpenAlexFDO

Authors José Carlos Costa, Conceição Nogueira, Maria Lurdes Teixeira

Publication date 12 October 2015

Published in Semigroup Forum (Search for Journal in Brave)

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

zbMATH Keywords

canonical formsfinite semigroupsRees matrix semigroupssemigroup presentationspseudovarieties of semigroupslocal groupsfinite languages\(\kappa\)-terms

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35)

Abstract: In this paper we exhibit a type of semigroup presentations which determines a class of local groups. We show that the finite elements of this class generate the pseudovariety $$ of all finite local groups and use them as test-semigroups to prove that $$ and $$, the pseudovariety of all finite semigroups, verify the same $kappa$-identities involving $kappa$-terms of rank at most 1, where $kappa$ denotes the implicit signature consisting of the multiplication and the $(omega-1)$-power.

Recommendations

• On locally testable semigroups.
• Semigroup presentations for congruences on groups.
• Semigroups related to certain group presentations.
• Semi-Presentations for the Sporadic Simple Groups
• On semigroup presentations that define a group.
• PRESENTATIONS FOR SEMIGROUPS AND SEMIGROUPOIDS
• Semigroup and Group Presentations
• Identities of locally testable semigroups
• Semilocal group algebras.
• scientific article; zbMATH DE number 3977293

Cites work

• scientific article; zbMATH DE number 3654376 (Why is no real title available?)
• scientific article; zbMATH DE number 591142 (Why is no real title available?)
• scientific article; zbMATH DE number 1737190 (Why is no real title available?)
• COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1
• Canonical forms for free {\kappa}-semigroups
• Constructions and presentations for monoids
• Finite semigroup varieties of the form V*D
• Free profinite locally idempotent and locally commutative semigroups
• McCammond’s normal forms for free aperiodic semigroups revisited
• NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS
• TAMENESS OF THE PSEUDOVARIETY LS1
• The word problem for -terms over the pseudovariety of local groups

Cited in

(2)

• Identities of locally testable semigroups
• The word problem for -terms over the pseudovariety of local groups

This page was built for publication: Semigroup presentations for test local groups.

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