Subgrupos livres e unidades centrais no grupo de unidades de alguns anéis de grupos
Autor(a) principal: | |
---|---|
Data de Publicação: | 2002 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da USP |
Texto Completo: | https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-130104/ |
Resumo: | Sejam G um grupo, Z o abel dos inteiros, e seja Z[G] o anel de grupo de G com coeficientes em Z. Em [HP] Hartley e Pickel mostraram que a menos que G seja abeliado ou 2-Hamiltoniano, o grupo de unidades de Z[G], U(Z[G]) contém um grupo livre. Denotaremos por U1(Z[G]) de aumento 1. Em [G1], [G2], [G3] e [G4] J. Z. Gonçalves estudou a existência de grupos livres no grupo de unidades de anéis de grupo. Em [MS] Marciniak e Sehgal construíram grupos livres de U(Z[G]) a partir de unidades bibíclicas e do anti-automorfismo. Até o momento, este é o único método explícito de se produzirem unidades que gerem um grupo livre. A partir de uma direção diferente Dokuchaev e Gonçalves [DG1] mostraram que U(Z[G]), com G de torção, não satisfaz uma identidade de semigrupo, a menos que G seja abeliano ou 2-Hamiltoniano. Nesta demonstração são construídas duas unidades u e v, com v bicíclica, e u unidade de Bass, que não satisfazem um tipo específico de identidade de semigrupo, chamado equação-R (R-equation). Este resultado nos leva às seguintes questões: (1) u e v geram um semigrupo livre em U(Z[G])? (2) u e v geram um grupo livre em U (Z[G])? No primeiro cap¦tuo mostraremos que o grupogerado pelas unidades u e v como construídas em [DG1], que chamaremos de Go é na verdade metabeliano. Além disso, provaremos o teorema o grupo Go={u, v} é isomorfo a A X C onde A é um grupo abeliano livre e C denota o grupo cíclico infinito. Com isto concluímos que u e v não geram um grupo livre de U(Z[G]). Mostraremos ainda que o semigrupo gerado por u e v não é o semigrupo livre. Contudo, no segundo capítulo modificaremos um pouco a unidade bibíclica v, em relação à unidade cíclica de Bass u e com isso teremos que no caso em que G é o grupo diedral de 2n elementos, que denotaremos por Dn, existirão no subgrupo {u, v} grupos livres não abelianos, ainda no segundo capítulo construiremos grupos livres de posto maior em Dn gerados a partir da ) unidade bicíclica e do gerador de ordem n de Dn que denotaremos por x. Muito se tem estudado em relação ao grupo de unidades de Z[Dn], onde Dn é o grupo diedral de ordem 2n. Em [HP2], Hughes e Pearson caracterizam U1(Z[D3]) como um subgrupo de matrizes de GL2(Z). Em [Polc], Polcino caracteriza U1(Z[D4]) também como subgrupo de GL2(Z). Na mesma direção temos os trabalhos de Passman e Smith [PasSmi] e Fernades [Fer]. Porém, há pouca coisa feita no intuito de caracterizar U1(Z[Dn]) em termos geradores e relações. Neste sentido temos em [PS], um descrição quando n=3. Afim de aprofundar nossos conhecimentos sobre as unidades de Z[Dn] caracterizamos no terceiro capítulo as unidades centrais de U1(Z[Dn]), e aproveitando as mesmas técnicas caracterizamos as unidades centrais de U1(Z[DCn]), onde DCn é o grupo dicíclico de ordem 4n. É um resultado bastante conhecido em Teoria de Grupos que se todo subgrupo H de um grupo G é normal então ou G é abeliano ou é hamiltoniano, isto é, G é da forma Ks x A x E, onde Ks é o grupo dos quatérnios de ordem 8, A é um grupo abeliano onde todo elemento tem ordem ímpar, e E é um 2-grupo abeliano elementar. Se A for trivial diremos G é 2-hamiltoniano. Devido a [HP] temos que U(Z[G]) não contém grupos livres se e somente se G é abeliano oi 2-hamiltoniano. Se G for hamiltoniano mas não 2-hamiltoniano, teremos que U(Z[G]) contém grupos livres. Contudo não poderemos usar as técnicas de [MS] para construir tais grupos, visto que se G não tem subgrupo não normais U(Z[G]) não terá unidades bicíclicas. No quarto capítulo construiremos grupos livres em U(Z[G]) quando G é um grupo hamiltoniano, não 2-hamiltoniano, usando apenas unidades cíclicas de Bass |
id |
USP_8afa82ca6b297e9a0587449cf7b4475b |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-20210729-130104 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
2721 |
spelling |
Subgrupos livres e unidades centrais no grupo de unidades de alguns anéis de gruposnot availableÁlgebraTeoria Dos AnéisSejam G um grupo, Z o abel dos inteiros, e seja Z[G] o anel de grupo de G com coeficientes em Z. Em [HP] Hartley e Pickel mostraram que a menos que G seja abeliado ou 2-Hamiltoniano, o grupo de unidades de Z[G], U(Z[G]) contém um grupo livre. Denotaremos por U1(Z[G]) de aumento 1. Em [G1], [G2], [G3] e [G4] J. Z. Gonçalves estudou a existência de grupos livres no grupo de unidades de anéis de grupo. Em [MS] Marciniak e Sehgal construíram grupos livres de U(Z[G]) a partir de unidades bibíclicas e do anti-automorfismo. Até o momento, este é o único método explícito de se produzirem unidades que gerem um grupo livre. A partir de uma direção diferente Dokuchaev e Gonçalves [DG1] mostraram que U(Z[G]), com G de torção, não satisfaz uma identidade de semigrupo, a menos que G seja abeliano ou 2-Hamiltoniano. Nesta demonstração são construídas duas unidades u e v, com v bicíclica, e u unidade de Bass, que não satisfazem um tipo específico de identidade de semigrupo, chamado equação-R (R-equation). Este resultado nos leva às seguintes questões: (1) u e v geram um semigrupo livre em U(Z[G])? (2) u e v geram um grupo livre em U (Z[G])? No primeiro cap¦tuo mostraremos que o grupogerado pelas unidades u e v como construídas em [DG1], que chamaremos de Go é na verdade metabeliano. Além disso, provaremos o teorema o grupo Go={u, v} é isomorfo a A X C onde A é um grupo abeliano livre e C denota o grupo cíclico infinito. Com isto concluímos que u e v não geram um grupo livre de U(Z[G]). Mostraremos ainda que o semigrupo gerado por u e v não é o semigrupo livre. Contudo, no segundo capítulo modificaremos um pouco a unidade bibíclica v, em relação à unidade cíclica de Bass u e com isso teremos que no caso em que G é o grupo diedral de 2n elementos, que denotaremos por Dn, existirão no subgrupo {u, v} grupos livres não abelianos, ainda no segundo capítulo construiremos grupos livres de posto maior em Dn gerados a partir da ) unidade bicíclica e do gerador de ordem n de Dn que denotaremos por x. Muito se tem estudado em relação ao grupo de unidades de Z[Dn], onde Dn é o grupo diedral de ordem 2n. Em [HP2], Hughes e Pearson caracterizam U1(Z[D3]) como um subgrupo de matrizes de GL2(Z). Em [Polc], Polcino caracteriza U1(Z[D4]) também como subgrupo de GL2(Z). Na mesma direção temos os trabalhos de Passman e Smith [PasSmi] e Fernades [Fer]. Porém, há pouca coisa feita no intuito de caracterizar U1(Z[Dn]) em termos geradores e relações. Neste sentido temos em [PS], um descrição quando n=3. Afim de aprofundar nossos conhecimentos sobre as unidades de Z[Dn] caracterizamos no terceiro capítulo as unidades centrais de U1(Z[Dn]), e aproveitando as mesmas técnicas caracterizamos as unidades centrais de U1(Z[DCn]), onde DCn é o grupo dicíclico de ordem 4n. É um resultado bastante conhecido em Teoria de Grupos que se todo subgrupo H de um grupo G é normal então ou G é abeliano ou é hamiltoniano, isto é, G é da forma Ks x A x E, onde Ks é o grupo dos quatérnios de ordem 8, A é um grupo abeliano onde todo elemento tem ordem ímpar, e E é um 2-grupo abeliano elementar. Se A for trivial diremos G é 2-hamiltoniano. Devido a [HP] temos que U(Z[G]) não contém grupos livres se e somente se G é abeliano oi 2-hamiltoniano. Se G for hamiltoniano mas não 2-hamiltoniano, teremos que U(Z[G]) contém grupos livres. Contudo não poderemos usar as técnicas de [MS] para construir tais grupos, visto que se G não tem subgrupo não normais U(Z[G]) não terá unidades bicíclicas. No quarto capítulo construiremos grupos livres em U(Z[G]) quando G é um grupo hamiltoniano, não 2-hamiltoniano, usando apenas unidades cíclicas de Bassnot availableBiblioteca Digitais de Teses e Dissertações da USPGonçalves, Jairo ZacariasFerraz, Raul Antonio2002-03-22info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-130104/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2021-07-31T19:06:57Zoai:teses.usp.br:tde-20210729-130104Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212021-07-31T19:06:57Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
Subgrupos livres e unidades centrais no grupo de unidades de alguns anéis de grupos not available |
title |
Subgrupos livres e unidades centrais no grupo de unidades de alguns anéis de grupos |
spellingShingle |
Subgrupos livres e unidades centrais no grupo de unidades de alguns anéis de grupos Ferraz, Raul Antonio Álgebra Teoria Dos Anéis |
title_short |
Subgrupos livres e unidades centrais no grupo de unidades de alguns anéis de grupos |
title_full |
Subgrupos livres e unidades centrais no grupo de unidades de alguns anéis de grupos |
title_fullStr |
Subgrupos livres e unidades centrais no grupo de unidades de alguns anéis de grupos |
title_full_unstemmed |
Subgrupos livres e unidades centrais no grupo de unidades de alguns anéis de grupos |
title_sort |
Subgrupos livres e unidades centrais no grupo de unidades de alguns anéis de grupos |
author |
Ferraz, Raul Antonio |
author_facet |
Ferraz, Raul Antonio |
author_role |
author |
dc.contributor.none.fl_str_mv |
Gonçalves, Jairo Zacarias |
dc.contributor.author.fl_str_mv |
Ferraz, Raul Antonio |
dc.subject.por.fl_str_mv |
Álgebra Teoria Dos Anéis |
topic |
Álgebra Teoria Dos Anéis |
description |
Sejam G um grupo, Z o abel dos inteiros, e seja Z[G] o anel de grupo de G com coeficientes em Z. Em [HP] Hartley e Pickel mostraram que a menos que G seja abeliado ou 2-Hamiltoniano, o grupo de unidades de Z[G], U(Z[G]) contém um grupo livre. Denotaremos por U1(Z[G]) de aumento 1. Em [G1], [G2], [G3] e [G4] J. Z. Gonçalves estudou a existência de grupos livres no grupo de unidades de anéis de grupo. Em [MS] Marciniak e Sehgal construíram grupos livres de U(Z[G]) a partir de unidades bibíclicas e do anti-automorfismo. Até o momento, este é o único método explícito de se produzirem unidades que gerem um grupo livre. A partir de uma direção diferente Dokuchaev e Gonçalves [DG1] mostraram que U(Z[G]), com G de torção, não satisfaz uma identidade de semigrupo, a menos que G seja abeliano ou 2-Hamiltoniano. Nesta demonstração são construídas duas unidades u e v, com v bicíclica, e u unidade de Bass, que não satisfazem um tipo específico de identidade de semigrupo, chamado equação-R (R-equation). Este resultado nos leva às seguintes questões: (1) u e v geram um semigrupo livre em U(Z[G])? (2) u e v geram um grupo livre em U (Z[G])? No primeiro cap¦tuo mostraremos que o grupogerado pelas unidades u e v como construídas em [DG1], que chamaremos de Go é na verdade metabeliano. Além disso, provaremos o teorema o grupo Go={u, v} é isomorfo a A X C onde A é um grupo abeliano livre e C denota o grupo cíclico infinito. Com isto concluímos que u e v não geram um grupo livre de U(Z[G]). Mostraremos ainda que o semigrupo gerado por u e v não é o semigrupo livre. Contudo, no segundo capítulo modificaremos um pouco a unidade bibíclica v, em relação à unidade cíclica de Bass u e com isso teremos que no caso em que G é o grupo diedral de 2n elementos, que denotaremos por Dn, existirão no subgrupo {u, v} grupos livres não abelianos, ainda no segundo capítulo construiremos grupos livres de posto maior em Dn gerados a partir da ) unidade bicíclica e do gerador de ordem n de Dn que denotaremos por x. Muito se tem estudado em relação ao grupo de unidades de Z[Dn], onde Dn é o grupo diedral de ordem 2n. Em [HP2], Hughes e Pearson caracterizam U1(Z[D3]) como um subgrupo de matrizes de GL2(Z). Em [Polc], Polcino caracteriza U1(Z[D4]) também como subgrupo de GL2(Z). Na mesma direção temos os trabalhos de Passman e Smith [PasSmi] e Fernades [Fer]. Porém, há pouca coisa feita no intuito de caracterizar U1(Z[Dn]) em termos geradores e relações. Neste sentido temos em [PS], um descrição quando n=3. Afim de aprofundar nossos conhecimentos sobre as unidades de Z[Dn] caracterizamos no terceiro capítulo as unidades centrais de U1(Z[Dn]), e aproveitando as mesmas técnicas caracterizamos as unidades centrais de U1(Z[DCn]), onde DCn é o grupo dicíclico de ordem 4n. É um resultado bastante conhecido em Teoria de Grupos que se todo subgrupo H de um grupo G é normal então ou G é abeliano ou é hamiltoniano, isto é, G é da forma Ks x A x E, onde Ks é o grupo dos quatérnios de ordem 8, A é um grupo abeliano onde todo elemento tem ordem ímpar, e E é um 2-grupo abeliano elementar. Se A for trivial diremos G é 2-hamiltoniano. Devido a [HP] temos que U(Z[G]) não contém grupos livres se e somente se G é abeliano oi 2-hamiltoniano. Se G for hamiltoniano mas não 2-hamiltoniano, teremos que U(Z[G]) contém grupos livres. Contudo não poderemos usar as técnicas de [MS] para construir tais grupos, visto que se G não tem subgrupo não normais U(Z[G]) não terá unidades bicíclicas. No quarto capítulo construiremos grupos livres em U(Z[G]) quando G é um grupo hamiltoniano, não 2-hamiltoniano, usando apenas unidades cíclicas de Bass |
publishDate |
2002 |
dc.date.none.fl_str_mv |
2002-03-22 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-130104/ |
url |
https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-130104/ |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
|
dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.none.fl_str_mv |
|
dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
instname_str |
Universidade de São Paulo (USP) |
instacron_str |
USP |
institution |
USP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
collection |
Biblioteca Digital de Teses e Dissertações da USP |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
_version_ |
1815257208776032256 |