Subgrupos livres e unidades centrais no grupo de unidades de alguns anéis de grupos

Detalhes bibliográficos
Autor(a) principal: Ferraz, Raul Antonio
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_ 1809090927082340352