Algorithmic problems for finite groups and finite 0-simple semigroups

T. E. Hall; S. I. Kublanovskii; S. Margolis; M. V. Sapir; P. G. Trotter

doi:10.1016/S0022-4049(96)00050-3

Algorithmic problems for finite groups and finite 0-simple semigroups

T. E. Hall, S. I. Kublanovskii, S. Margolis, M. V. Sapir, P. G. Trotter

Department of Mathematics

Research output: Contribution to journal › Article › peer-review

38 Scopus citations

Abstract

It is shown that the embeddability of a finite 4-nilpotent semigroup into a 0-simple finite semigroup with maximal groups from a pseudovariety Mathematical script capital V is decidable if and only if the universal theory of the class Mathematical script capital V is decidable. We show that it is impossible to replace 4 by 3 in this statement. We also show that if the membership in Mathematical script capital V is decidable then the membership in the pseudovariety generated by the class of all finite 0-simple semigroups with subgroups from Mathematical script capital V is decidable while the membership in the quasi-variety generated by this class of 0-simple semigroups may be undecidable.

Original language	English
Pages (from-to)	75-96
Number of pages	22
Journal	Journal of Pure and Applied Algebra
Volume	119
Issue number	1
DOIs	https://doi.org/10.1016/S0022-4049(96)00050-3
State	Published - 2 Jun 1997

Bibliographical note

Funding Information:
* Corresponding author. E-mail: [email protected]. ’ Supported in part by NSF grant DMS-9203981 and the Center for Communication University of Nebraska - Lincoln.

Funding

* Corresponding author. E-mail: [email protected]. ’ Supported in part by NSF grant DMS-9203981 and the Center for Communication University of Nebraska - Lincoln.

Funders	Funder number
Center for Communication University of Nebraska
National Science Foundation	DMS-9203981
Directorate for Mathematical and Physical Sciences	9203981

Access to Document

10.1016/S0022-4049(96)00050-3

Cite this

@article{2634887a2bf74e27a35acc579f4971db,

title = "Algorithmic problems for finite groups and finite 0-simple semigroups",

abstract = "It is shown that the embeddability of a finite 4-nilpotent semigroup into a 0-simple finite semigroup with maximal groups from a pseudovariety Mathematical script capital V is decidable if and only if the universal theory of the class Mathematical script capital V is decidable. We show that it is impossible to replace 4 by 3 in this statement. We also show that if the membership in Mathematical script capital V is decidable then the membership in the pseudovariety generated by the class of all finite 0-simple semigroups with subgroups from Mathematical script capital V is decidable while the membership in the quasi-variety generated by this class of 0-simple semigroups may be undecidable.",

author = "Hall, {T. E.} and Kublanovskii, {S. I.} and S. Margolis and Sapir, {M. V.} and Trotter, {P. G.}",

note = "Funding Information: * Corresponding author. E-mail: [email protected]. {\textquoteright} Supported in part by NSF grant DMS-9203981 and the Center for Communication University of Nebraska - Lincoln.",

year = "1997",

month = jun,

day = "2",

doi = "10.1016/S0022-4049(96)00050-3",

language = "אנגלית",

volume = "119",

pages = "75--96",

journal = "Journal of Pure and Applied Algebra",

issn = "0022-4049",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - Algorithmic problems for finite groups and finite 0-simple semigroups

AU - Hall, T. E.

AU - Kublanovskii, S. I.

AU - Margolis, S.

AU - Sapir, M. V.

AU - Trotter, P. G.

N1 - Funding Information: * Corresponding author. E-mail: [email protected]. ’ Supported in part by NSF grant DMS-9203981 and the Center for Communication University of Nebraska - Lincoln.

PY - 1997/6/2

Y1 - 1997/6/2

N2 - It is shown that the embeddability of a finite 4-nilpotent semigroup into a 0-simple finite semigroup with maximal groups from a pseudovariety Mathematical script capital V is decidable if and only if the universal theory of the class Mathematical script capital V is decidable. We show that it is impossible to replace 4 by 3 in this statement. We also show that if the membership in Mathematical script capital V is decidable then the membership in the pseudovariety generated by the class of all finite 0-simple semigroups with subgroups from Mathematical script capital V is decidable while the membership in the quasi-variety generated by this class of 0-simple semigroups may be undecidable.

AB - It is shown that the embeddability of a finite 4-nilpotent semigroup into a 0-simple finite semigroup with maximal groups from a pseudovariety Mathematical script capital V is decidable if and only if the universal theory of the class Mathematical script capital V is decidable. We show that it is impossible to replace 4 by 3 in this statement. We also show that if the membership in Mathematical script capital V is decidable then the membership in the pseudovariety generated by the class of all finite 0-simple semigroups with subgroups from Mathematical script capital V is decidable while the membership in the quasi-variety generated by this class of 0-simple semigroups may be undecidable.

UR - http://www.scopus.com/inward/record.url?scp=0031548110&partnerID=8YFLogxK

U2 - 10.1016/S0022-4049(96)00050-3

DO - 10.1016/S0022-4049(96)00050-3

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0031548110

SN - 0022-4049

VL - 119

SP - 75

EP - 96

JO - Journal of Pure and Applied Algebra

JF - Journal of Pure and Applied Algebra

IS - 1

ER -

Algorithmic problems for finite groups and finite 0-simple semigroups

Abstract

Bibliographical note

Funding

Access to Document

Other files and links

Fingerprint

Cite this