Elementos rigidos, valorizações e estrutura de aneis de Witt
Autor(a) principal: | |
---|---|
Data de Publicação: | 2007 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
Texto Completo: | https://hdl.handle.net/20.500.12733/1610496 |
Resumo: | Orientador: Antonio Jose Engler |
id |
UNICAMP-30_e7048d72f49b660c54edb375b184db91 |
---|---|
oai_identifier_str |
oai::469749 |
network_acronym_str |
UNICAMP-30 |
network_name_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository_id_str |
|
spelling |
Elementos rigidos, valorizações e estrutura de aneis de WittRigid elements, valuations and structure of Witt ringsFormas quadráticasCorpos formalmente reaisAnéis de WittQuadratic formsFormally real fieldsWitt ringsOrientador: Antonio Jose EnglerTese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação CientificaResumo: Um corpo ordenado é uma estrutura algébrica similar à do corpo dos números reais. No entanto, ao contrário dos reais, um corpo arbitrário F pode admitir mais de uma ordem, inclusive um número infinito e não enumerável de ordens. A cada elemento x do corpo F podemos associar uma forma quadrática binária [1, x], chamada 1-forma de Pfister. Os elementos de F = F 0} representados por [1, x], constituem um grupo que chamamos grupo de valores da forma e denotamos por D[1,x]. Um elemento d S F é chamado rígido se D[1, d] = F2 U dF2 , onde F2 é o subgrupo de F formado pelos quadrados. Um elemento d é dito birígido se d e -d são rígidos. O presente trabalho tem como objetivo principal obter um teorema de estrutura para o anel de Witt (das classes de equivalência de formas quadráticas) de um corpo ordenado F admitindo um elemento rígido que não é birígido e que é negativo em relação à pelo menos uma das ordens do corpo. Mais precisamente, obtemos uma decomposição do anel de Witt de F como produto de anéis de Witt de duas extensões H ¿ F e K ¿ F, ambas contidas no fecho quadrático de F. Os anéis de Witt de H e K têm estrutura mais simples que a do anel de Witt de F. Obtemos os corpos H e K construindo subgrupos Rd e Sd associados ao elemento rígido d e exigindo que valha uma propriedade de decomposição: F = Rd· Sd. O corpo H é uma henselização de F relativa a um anel de valorização (A;mA) de F tal que Rd = (1 + mA) F2 . O corpo K é pitagórico e tem espaço de ordens XK homeomorfo ao espaço X/Sd das ordens de F que contém Sd. Obtemos ainda uma condição necessária e suficiente para que ocorra a decomposição F = Rd · Sd, que depende do grupo de valores e do corpo de resíduos do anel de valorização A.Abstract: An ordered field is an algebraic structure like the field of real numbers. However, while the field of real numbers have only one ordering, an arbitrary ordered field F may have more than one ordering, and also a infinite and uncountble number of orderings is allowed. To each element x Î F one can associate an binary quadratic form [1, x], called Pfister 1-fold form. The set of elements in F = F 0} which are represented by [1, x] is a group D[1,x], called value group of [1,x]. An element d S F is called rigid if D[1, d] = F2 U dF2, where F 2 denotes the subgroup of squares in F . An element d is called birigid if d and -d are both rigid. The main purpose of this thesis is to prove an structure theorem for Witt ring (of equivalence classes of quadratic forms) of an ordered field F with a rigid element which is not birigid and is negative in at least one ordering of F, that is, we get a decomposition of the Witt ring of F as a product of Witt rings of extensions H ¿ F and K ¿ F, both inside the quadratic closure of F. The Witt rings of H and K have a simpler structure than Witt ring of F. We get fields H and K by builting subgroups Rd and Sd associated to the rigid element d and making the addicional assumption that F = Rd·Sd holds. The field H is a henselization of F relative to a valuation ring (A;mA) of F such that Rd = (1 + mA) F2. The pythagorean field K has space of orderings XK homeomorphic to X/Sd, the space of orderings of F which contain Sd. Moreover, we settle an necessary and suficient condiction to decomposition F = Rd·Sd holds, relative to value group and residue field of valuation ring A.DoutoradoÁlgebraDoutor em Matemática[s.n.]Engler, Antonio José, 1944-Kochloukova, Dessislava HristovaTorres Orihuela, Fernando EduardoDias, IresBrusamarello, RosaliUniversidade Estadual de Campinas. Instituto de Matemática, Estatística e Computação CientíficaPrograma de Pós-Graduação em MatemáticaUNIVERSIDADE ESTADUAL DE CAMPINASPapa Neto, Angelo20072007-12-09T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf141 p. : il.https://hdl.handle.net/20.500.12733/1610496PAPA NETO, Angelo. Elementos rigidos, valorizações e estrutura de aneis de Witt. 2007. 141 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1610496. Acesso em: 15 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/469749porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-10-13T13:05:51Zoai::469749Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-10-13T13:05:51Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false |
dc.title.none.fl_str_mv |
Elementos rigidos, valorizações e estrutura de aneis de Witt Rigid elements, valuations and structure of Witt rings |
title |
Elementos rigidos, valorizações e estrutura de aneis de Witt |
spellingShingle |
Elementos rigidos, valorizações e estrutura de aneis de Witt Papa Neto, Angelo Formas quadráticas Corpos formalmente reais Anéis de Witt Quadratic forms Formally real fields Witt rings |
title_short |
Elementos rigidos, valorizações e estrutura de aneis de Witt |
title_full |
Elementos rigidos, valorizações e estrutura de aneis de Witt |
title_fullStr |
Elementos rigidos, valorizações e estrutura de aneis de Witt |
title_full_unstemmed |
Elementos rigidos, valorizações e estrutura de aneis de Witt |
title_sort |
Elementos rigidos, valorizações e estrutura de aneis de Witt |
author |
Papa Neto, Angelo |
author_facet |
Papa Neto, Angelo |
author_role |
author |
dc.contributor.none.fl_str_mv |
Engler, Antonio José, 1944- Kochloukova, Dessislava Hristova Torres Orihuela, Fernando Eduardo Dias, Ires Brusamarello, Rosali Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Computação Científica Programa de Pós-Graduação em Matemática UNIVERSIDADE ESTADUAL DE CAMPINAS |
dc.contributor.author.fl_str_mv |
Papa Neto, Angelo |
dc.subject.por.fl_str_mv |
Formas quadráticas Corpos formalmente reais Anéis de Witt Quadratic forms Formally real fields Witt rings |
topic |
Formas quadráticas Corpos formalmente reais Anéis de Witt Quadratic forms Formally real fields Witt rings |
description |
Orientador: Antonio Jose Engler |
publishDate |
2007 |
dc.date.none.fl_str_mv |
2007 2007-12-09T00:00:00Z |
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://hdl.handle.net/20.500.12733/1610496 PAPA NETO, Angelo. Elementos rigidos, valorizações e estrutura de aneis de Witt. 2007. 141 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1610496. Acesso em: 15 mai. 2024. |
url |
https://hdl.handle.net/20.500.12733/1610496 |
identifier_str_mv |
PAPA NETO, Angelo. Elementos rigidos, valorizações e estrutura de aneis de Witt. 2007. 141 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1610496. Acesso em: 15 mai. 2024. |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://repositorio.unicamp.br/acervo/detalhe/469749 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf 141 p. : il. |
dc.publisher.none.fl_str_mv |
[s.n.] |
publisher.none.fl_str_mv |
[s.n.] |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) instname:Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
instname_str |
Universidade Estadual de Campinas (UNICAMP) |
instacron_str |
UNICAMP |
institution |
UNICAMP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
collection |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP) |
repository.mail.fl_str_mv |
sbubd@unicamp.br |
_version_ |
1799138460222619648 |