Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/3997
Título: | Um estudo do operador supremo sobre pseudovariedades de semigrupos |
Autor(es): | Carvalho, Sílvia Filipa Gomes de |
Orientador(es): | Costa, José Carlos |
Data: | 2005 |
Resumo(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. |
Tipo: | Dissertação de mestrado |
Descrição: | Dissertação de mestrado em Matemática, especialização em Ensino. |
URI: | https://hdl.handle.net/1822/3997 |
Acesso: | Acesso aberto |
Aparece nas coleções: | BUM - Dissertações de Mestrado |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
capa.pdf | 69,76 kB | Adobe PDF | Ver/Abrir | |
resumo.pdf | 33,12 kB | Adobe PDF | Ver/Abrir | |
Supremo de Pseudovariedades de Semigrupos Finitos.pdf | 448,11 kB | Adobe PDF | Ver/Abrir |