Monóides comutativos finitamente gerados
Autor(a) principal: | |
---|---|
Data de Publicação: | 2013 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/1822/25540 |
Resumo: | Dissertação de mestrado em Ciências – Formação Contínua de Professores (área de especialização em Matemática) |
id |
RCAP_a4bbdc5773d73fd214419bbe1b756a04 |
---|---|
oai_identifier_str |
oai:repositorium.sdum.uminho.pt:1822/25540 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
Monóides comutativos finitamente gerados512Dissertação de mestrado em Ciências – Formação Contínua de Professores (área de especialização em Matemática)Um monóide é um semigrupo com identidade e um monóide cancelativo é um monóide que satisfaz a lei do corte. O objetivo deste trabalho é estudar uma classe especial de monóides comutativos, cancelativos e finitamente gerados: a classe de tais monóides que são finitos. Depois de apresentarmos conceitos básicos e resultados preliminares, provamos que todo o monóide comutativo finitamente gerado é isomorfo a um quociente de ℕp, p є ℕ , por uma certa congruênncia em ℕp. Mostramos ainda que, se o monóide dado é também cancelativo então ele é isomorfo a um submonóide de um grupo comutativo finitamente gerado. Assim, estudamos de seguida os grupos abelianos finitamente gerados e provamos o teorema de estrutura para esta classe de grupos. Com base neste teorema, provamos que todo o monóide comutativo, cancelativo e finitamente gerado é, a menos de isomorfismo, um submonóide de Zd1 ×...×Zdr ×Zk, para certos d1,d2, ...,dr,k є ℕ {0}. Por fim, estudamos os monóides comutativos e cancelativos que são finitos: estes monóides são, naturalmente, finitamente gerados e, portanto, as conclusões do estudo anterior podem ser-lhes aplicadas. Demonstramos que a classe dos monóides comutativos cancelativos finitos coincide com a classe dos grupos finitos.A monoid is a semigroup with identity and a cancellative monoid is a monoid that satisfies the cancellation law. The purpose of this thesis is to study a special class of finitely generated commutative monoids that are cancellative: the class of such monoids that are finite. After presenting basic concepts and preliminary results, we prove that every finitely generated commutative monoid is isomorphic to a quocient of ℕp, p є ℕ , by a certain congruence on ℕp. We also show that if, in addition, the monoid is cancellative, then it is isomorphic to a submonoid of a finitely generated commutative group. The study of finitely generated commutative groups is, therefore, necessary for achieving our objectives. We prove the structure theorem for this class of groups. On the basis of this theorem we show that every finitely generated commutative monoid that is cancellative is, up to isomorphism, a submonoid of Zd1 ×...×Zdr ×Zk, for certain d1,d2, ...,dr,k є ℕ {0}. Finally, we study commutative and cancellative monoids that are finite: naturally, these monoids are finitely generated and so the conclusions of the previous study can be applied. We prove that the class of commutative, cancellative finite monoids coincide with the class of finite groups.Smith, M. Paula MarquesUniversidade do MinhoDomingues, António José Ribeiro Caldas2013-07-112013-07-11T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1822/25540porinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:39:23Zoai:repositorium.sdum.uminho.pt:1822/25540Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:35:59.386418Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
Monóides comutativos finitamente gerados |
title |
Monóides comutativos finitamente gerados |
spellingShingle |
Monóides comutativos finitamente gerados Domingues, António José Ribeiro Caldas 512 |
title_short |
Monóides comutativos finitamente gerados |
title_full |
Monóides comutativos finitamente gerados |
title_fullStr |
Monóides comutativos finitamente gerados |
title_full_unstemmed |
Monóides comutativos finitamente gerados |
title_sort |
Monóides comutativos finitamente gerados |
author |
Domingues, António José Ribeiro Caldas |
author_facet |
Domingues, António José Ribeiro Caldas |
author_role |
author |
dc.contributor.none.fl_str_mv |
Smith, M. Paula Marques Universidade do Minho |
dc.contributor.author.fl_str_mv |
Domingues, António José Ribeiro Caldas |
dc.subject.por.fl_str_mv |
512 |
topic |
512 |
description |
Dissertação de mestrado em Ciências – Formação Contínua de Professores (área de especialização em Matemática) |
publishDate |
2013 |
dc.date.none.fl_str_mv |
2013-07-11 2013-07-11T00:00:00Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/1822/25540 |
url |
http://hdl.handle.net/1822/25540 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799132887387209728 |