Abstract | ||
---|---|---|
In this paper we answer a question posed by John Rhodes: "What are the aperiodic-idempotent-pointlike subsemigroups of S?" Answer: Precisely those aperiodic-pointlike subsemigroups that are idempotents, i.e. EPl(A)(S) = {X \ X less than or equal to E = E(2) is an element of Pl(A)(S)}. the proof we define, for a given variety V (closed under n-tuple expansion) and a given relation R : S - V is an element of V computing the V-pointlike subsets of S, an "improved" relation R((n)) : S - V((n)) that computes the V-idempotent-point like subsemigroups of S. Consequently, for any W with decidable membership problem W (m) A is decidable. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1142/S0218196704002006 | INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION |
Keywords | Field | DocType |
idempotent pointlike sets, expansions, relational morphisms, aperiodic semigroups, pseudo-varieties of finite semigroups | Discrete mathematics,Combinatorics,Algebra,Decidability,Idempotence,Membership problem,Mathematics | Journal |
Volume | Issue | ISSN |
14 | 5-6 | 0218-1967 |
Citations | PageRank | References |
1 | 0.40 | 2 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Karsten Henckell | 1 | 40 | 5.62 |