Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas. Programa de Pós-graduação em Matemática e Computação Científica / Made available in DSpace on 2013-07-16T03:17:28Z (GMT). No. of bitstreams: 1
249345.pdf: 549746 bytes, checksum: 80707003881d2f9985fa1dcb815b3918 (MD5) / Seja K um corpo algebricamente fechado. Dizemos que um subconjunto de Kn, onde n é um número natural positivo, é construtível se for uma combinação booleana de conjuntos Zariski fechados.
Na teoria dos modelos, um subconjunto de Kn é dito ser definível se todos os elementos desse conjunto, e somente estes, satisfizerem uma determinada propriedade definida por uma fórmula da linguagem de primeira ordem dos anéis.
Um dos nossos principais objetivos será mostrar, na teoria dos corpos algebricamente fechados, a equivalência entre os conjuntos construtíveis e os conjuntos definíveis. Como conseqüência disso vamos demonstrar alguns resultados algébricos, como o Nullstellensatz de Hilbert, utilizando técnicas da teoria dos modelos.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/103174 |
| Date | January 2007 |
| Creators | Rocha, Jucavo Savie |
| Contributors | Universidade Federal de Santa Catarina, Costa, Newton C. A. da |
| Publisher | Florianópolis, SC |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0016 seconds