Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/3997

TitleUm estudo do operador supremo sobre pseudovariedades de semigrupos
Author(s)Carvalho, Sílvia Filipa Gomes de
Advisor(s)Costa, José Carlos
Issue date2005
Abstract(s)Motivada pelas aplicações em Informática, nomeadamente na teoria dos autómatos e linguagens racionais, a teoria dos semigrupos finitos tem obtido, desde os anos 70, cada vez mais atenção por parte dos investigadores. O seu tema central de estudo são as pseudovariedades, classes de semigrupos finitos fechadas para subsemigrupos, produtos directos finitos e imagens homomorfas. Neste trabalho de síntese apresentamos um pequeno estudo do operador supremo, um dos operadores mais úteis no reticulado das pseudovariedades de semigrupos. O supremo V ∨ W de duas pseudovariedades V e W é a menor pseudovariedade que contém ambas as pseudovariedades V e W. Não se pretende com este trabalho calcular exaustivamente todos os supremos já conhecidos, mas antes apresentar algumas das estratégias de cálculo de supremos mais utilizadas. Este trabalho termina com uma tabela onde se sintetizam alguns dos resultados obtidos até ao momento, acerca de supremos das pseudovariedades mais conhecidas.
Motivated by several algorithmic problems related with computer sciences, researchers have devoted attention to the study of the theory of finite semigroups, particularly since late 70’s. Therefore, pseudovarieties (classes of finite semigroups closed under finite direct product, subsemigroup and homomorphic image) became objects of special consideration. The present dissertation is a small study of the join of two peudovarieties, one of the most important operators acting on pseudovarieties. The join of two pseudovarieties V ∨ W is the smallest pseudovariety containing both V and W. In this study, we will not, obviously, compute every join of pseudovariety known at the present. We will, instead, present some of the most usual thecniques for doing join computations. At the end of this dissertation we will present a table to sumarize some of the known results on joins of pseudovarieties.
TypeMaster thesis
DescriptionDissertação de mestrado em Matemática, especialização em Ensino.
URIhttp://hdl.handle.net/1822/3997
AccessOpen access
Appears in Collections:BUM - Dissertações de Mestrado

Files in This Item:
File Description SizeFormat 
capa.pdf69,76 kBAdobe PDFView/Open
resumo.pdf33,12 kBAdobe PDFView/Open
Supremo de Pseudovariedades de Semigrupos Finitos.pdf448,11 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID