Orientador: Antonio Jose Engler / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-26T19:22:54Z (GMT). No. of bitstreams: 1
Paula_RoseliCamargodaSilvade_M.pdf: 1683877 bytes, checksum: 41d0d5872831c66b93b6a6ec1f2840d6 (MD5)
Previous issue date: 2000 / Resumo: Para uma pré-ordem T de um corpo formalmente real F, desenvolvemos neste trabalho a teoria das T-formas quadrátricas. e suas relações com a aritmética do corpo associada a T. O estudo de T-formas tem origem em pelo menos dois aspectos. 0 primeiro, que não será abordado neste trabalho, é evitar a " torção '' no estudo do anel de Witt. Esse fato pode ser observado no item (2), da Proposição 3.16. Outra motivação para desenvolvermos essa teoria é o estudo de propriedades de validade restrita. Isto é, relações que ocorrem entre as ordens contendo a pré-ordem T, mas que não ocorrem entre todas as ordens de F. Por exemplo, veremos que as propriedades Pasch, SAP, HnT (para n = 4) e EDT são equivalentes, o que não ocorre se não considerarmos as propriedades sendo restritas a pré-ordem T. / Abstract: For a preordering T of a formally real field F. we develop in this work the quadratic T-forms theory, and its relations with the aritmethic of the field associated to T. The study of T-forms has motive in at Least two aspects. The first, that will not be boarded in this work is to avoid the " torsion'' in the Witt ring study. This fact can be observed in item (2) of the Proposition 3.16. Other motivation for develop this theory is the study of properties of restricted validity. So, relations that occurred between the orderings contained the preordering T, but that doesn't happen among all ordering of F. For example, we will see that the properties Pasch, HnT (for n = 4) and EDT are equivalents, what doesn't occur if we don't consider the properties being restricted to preordering T. / Mestrado / Mestre em Matemática
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/306408 |
| Date | 08 November 2000 |
| Creators | Paula, Roseli Camargo da Silva de |
| Contributors | UNIVERSIDADE ESTADUAL DE CAMPINAS, Engler, Antonio José, 1944-, Paques, Antonio, Santos, Clotilzio Moreira dos |
| Publisher | [s.n.], Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Computação Científica, Programa de Pós-Graduação em Matemática |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | 98f., application/pdf |
| Source | reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.002 seconds