Publicação
Tameness of pseudovariety joins involving R
| Resumo: | In this paper, we establish several decidability results for pseudovariety joins of the form VvW, where V is a subpseudovariety of J or the pseudovariety R. Here, J (resp. R) denotes the pseudovariety of all J-trivial (resp. R-trivial) semigroups. In particular, we show that the pseudovariety VvW is (completely) kappa-tame when V is a subpseudovariety of J with decidable kappa-word problem and W is (completely) kappa-tame. Moreover, if W is a kappa-tame pseudovariety which satisfies the pseudoidentity x_1...x_ry^{\omega+1}zt^\omega = x_1... x_ryzt^\omega, then we prove that RvW is also kappa-tame. In particular the joins RvAb, RvG, RvOCR, and RvCR are decidable. |
|---|---|
| Autores principais: | Almeida, Jorge |
| Outros Autores: | Costa, José Carlos; Zeitoun, Marc |
| Assunto: | Semigroup Tame pseudovariety Join of pseudovarieties Systems of equations Rational constraints Implicit operation |
| Ano: | 2005 |
| País: | Portugal |
| Tipo de documento: | artigo |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| _version_ | 1866876839214972928 |
|---|---|
| author | Almeida, Jorge |
| author2 | Costa, José Carlos Zeitoun, Marc |
| author2_role | author author |
| author_facet | Almeida, Jorge Costa, José Carlos Zeitoun, Marc |
| author_role | author |
| contributor_name_str_mv | Universidade do Minho |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Almeida, Jorge\"},{\"Person.name\":\"Costa, José Carlos\"},{\"Person.name\":\"Zeitoun, Marc\"}] |
| datacite.contributors.contributor.contributorName.fl_str_mv | Universidade do Minho |
| datacite.creators.creator.creatorName.fl_str_mv | Almeida, Jorge Costa, José Carlos Zeitoun, Marc |
| datacite.date.Accepted.fl_str_mv | 2005-10-01T00:00:00Z |
| datacite.date.available.fl_str_mv | 2005-10-27T14:23:51Z |
| datacite.date.embargoed.fl_str_mv | 2005-10-27T14:23:51Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| datacite.subjects.subject.fl_str_mv | Semigroup Tame pseudovariety Join of pseudovarieties Systems of equations Rational constraints Implicit operation |
| datacite.titles.title.fl_str_mv | Tameness of pseudovariety joins involving R |
| dc.contributor.none.fl_str_mv | Universidade do Minho |
| dc.creator.none.fl_str_mv | Almeida, Jorge Costa, José Carlos Zeitoun, Marc |
| dc.date.Accepted.fl_str_mv | 2005-10-01T00:00:00Z |
| dc.date.available.fl_str_mv | 2005-10-27T14:23:51Z |
| dc.date.embargoed.fl_str_mv | 2005-10-27T14:23:51Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://hdl.handle.net/1822/3351 |
| dc.language.none.fl_str_mv | eng |
| dc.publisher.none.fl_str_mv | Springer Verlag |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| dc.subject.none.fl_str_mv | Semigroup Tame pseudovariety Join of pseudovarieties Systems of equations Rational constraints Implicit operation |
| dc.title.fl_str_mv | Tameness of pseudovariety joins involving R |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_6501 |
| description | In this paper, we establish several decidability results for pseudovariety joins of the form VvW, where V is a subpseudovariety of J or the pseudovariety R. Here, J (resp. R) denotes the pseudovariety of all J-trivial (resp. R-trivial) semigroups. In particular, we show that the pseudovariety VvW is (completely) kappa-tame when V is a subpseudovariety of J with decidable kappa-word problem and W is (completely) kappa-tame. Moreover, if W is a kappa-tame pseudovariety which satisfies the pseudoidentity x_1...x_ry^{\omega+1}zt^\omega = x_1... x_ryzt^\omega, then we prove that RvW is also kappa-tame. In particular the joins RvAb, RvG, RvOCR, and RvCR are decidable. |
| dirty | 0 |
| eu_rights_str_mv | openAccess |
| format | article |
| fulltext.url.fl_str_mv | https://prod-dspace.uminho.pt/bitstreams/05735445-afd2-4a31-b485-e93ee017569d/download |
| id | rum_e5cb94eaff4e587cea7cb3ee4057a78d |
| identifier.url.fl_str_mv | https://hdl.handle.net/1822/3351 |
| instacron_str | repositorium |
| institution | Universidade do Minho |
| instname_str | Universidade do Minho |
| language | eng |
| network_acronym_str | rum |
| network_name_str | RepositóriUM - Universidade do Minho |
| oai_identifier_str | oai:repositorium.uminho.pt:1822/3351 |
| organization_str_mv | urn:organizationAcronym:repositorium |
| person_str_mv | Almeida, Jorge Costa, José Carlos Zeitoun, Marc |
| publishDate | 2005 |
| publisher.none.fl_str_mv | Springer Verlag |
| reponame_str | RepositóriUM - Universidade do Minho |
| repository_id_str | urn:repositoryAcronym:rum |
| service_str_mv | urn:repositoryAcronym:rum |
| spelling | engSpringer VerlagengIn this paper, we establish several decidability results for pseudovariety joins of the form VvW, where V is a subpseudovariety of J or the pseudovariety R. Here, J (resp. R) denotes the pseudovariety of all J-trivial (resp. R-trivial) semigroups. In particular, we show that the pseudovariety VvW is (completely) kappa-tame when V is a subpseudovariety of J with decidable kappa-word problem and W is (completely) kappa-tame. Moreover, if W is a kappa-tame pseudovariety which satisfies the pseudoidentity x_1...x_ry^{\omega+1}zt^\omega = x_1... x_ryzt^\omega, then we prove that RvW is also kappa-tame. In particular the joins RvAb, RvG, RvOCR, and RvCR are decidable.application/pdfengTameness of pseudovariety joins involving RAlmeida, JorgeCosta, José CarlosZeitoun, MarcHostingInstitutionOrganizationalUniversidade do Minhoe-mailmailto:repositorium@usdb.uminho.ptrepositorium@usdb.uminho.ptISSNIsPartOf0026-9255ISSNIsPartOf1436-5081DOIIsPartOf10.1007/s00605-005-0324-12005-10-27T14:23:51Z2005-102005-10-01T00:00:00ZHandlehttps://hdl.handle.net/1822/3351http://purl.org/coar/access_right/c_abf2open accessSemigroupTame pseudovarietyJoin of pseudovarietiesSystems of equationsRational constraintsImplicit operation302195 bytesliteraturehttp://purl.org/coar/resource_type/c_6501journal articlehttp://purl.org/coar/access_right/c_abf2application/pdffulltexthttps://prod-dspace.uminho.pt/bitstreams/05735445-afd2-4a31-b485-e93ee017569d/download |
| spellingShingle | Tameness of pseudovariety joins involving R Almeida, Jorge Semigroup Tame pseudovariety Join of pseudovarieties Systems of equations Rational constraints Implicit operation |
| status | SINGLETON |
| subject.fl_str_mv | Semigroup Tame pseudovariety Join of pseudovarieties Systems of equations Rational constraints Implicit operation |
| title | Tameness of pseudovariety joins involving R |
| title_full | Tameness of pseudovariety joins involving R |
| title_fullStr | Tameness of pseudovariety joins involving R |
| title_full_unstemmed | Tameness of pseudovariety joins involving R |
| title_short | Tameness of pseudovariety joins involving R |
| title_sort | Tameness of pseudovariety joins involving R |
| topic | Semigroup Tame pseudovariety Join of pseudovarieties Systems of equations Rational constraints Implicit operation |
| topic_facet | Semigroup Tame pseudovariety Join of pseudovarieties Systems of equations Rational constraints Implicit operation |
| url | https://hdl.handle.net/1822/3351 |
| visible | 1 |