Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/3351
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Almeida, Jorge | - |
dc.contributor.author | Costa, José Carlos | - |
dc.contributor.author | Zeitoun, Marc | - |
dc.date.accessioned | 2005-10-27T14:23:51Z | - |
dc.date.available | 2005-10-27T14:23:51Z | - |
dc.date.issued | 2005-10 | - |
dc.identifier.citation | "Monatshefte für Mathematik". ISSN 0026-9255. 146:2 (2005) 89-111. | eng |
dc.identifier.issn | 0026-9255 | eng |
dc.identifier.issn | 1436-5081 | eng |
dc.identifier.uri | https://hdl.handle.net/1822/3351 | - |
dc.description | 2000 Mathematics Subject Classification: 20M07 (primary); 20M05, 20M35, 68Q70 (secondary). | eng |
dc.description.abstract | 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. | eng |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT). | por |
dc.description.sponsorship | International Association for the Promotion of Co-operation with Scientists from the New Independent States (NIS) of the Former Soviet Union (INTAS) - project 99-1224. | por |
dc.description.sponsorship | União Europeia (UE). Fundo Europeu de Desenvolvimento Regional (FEDER) - POCTI/32817/MAT/2000. | por |
dc.language.iso | eng | eng |
dc.publisher | Springer Verlag | eng |
dc.relation | info:eu-repo/grantAgreement/FCT/POCI/32817/PT | - |
dc.rights | openAccess | eng |
dc.subject | Semigroup | eng |
dc.subject | Tame pseudovariety | eng |
dc.subject | Join of pseudovarieties | eng |
dc.subject | Systems of equations | eng |
dc.subject | Rational constraints | eng |
dc.subject | Implicit operation | eng |
dc.title | Tameness of pseudovariety joins involving R | eng |
dc.type | article | eng |
dc.peerreviewed | yes | eng |
dc.relation.publisherversion | www.springerlink.com | eng |
sdum.number | 2 | eng |
sdum.pagination | 89-111 | eng |
sdum.publicationstatus | published | eng |
sdum.volume | 146 | eng |
oaire.citationStartPage | 89 | por |
oaire.citationEndPage | 111 | por |
oaire.citationIssue | 2 | por |
oaire.citationVolume | 146 | por |
dc.identifier.doi | 10.1007/s00605-005-0324-1 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Monatshefte für Mathematik | por |
Aparece nas coleções: | CMAT - Artigos em revistas com arbitragem / Papers in peer review journals |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
AlmeidaCostaZeitoun_Rjoins_MfM2005.pdf | 295,11 kB | Adobe PDF | Ver/Abrir |