Corpos não-euclideanos com posto um
| Ano de defesa: | 2017 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| dARK ID: | ark:/64986/0013000007r70 |
| Idioma: | por |
| Instituição de defesa: |
Universidade Federal de Pernambuco
|
| Programa de Pós-Graduação: |
Programa de Pos Graduacao em Matematica
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Brasil
|
| Palavras-chave em Português: | |
| Link de acesso: | https://repositorio.ufpe.br/handle/123456789/25527 |
Resumo: | Dizemos que um corpo de números K é Euclidiano em relação à norma algébrica usual , se, para quaisquer inteiros algébricos e de K, com não nulo, existe um inteiro algébrico em K tal que | ( − )| < | ()|, o “algoritmo de Euclides” de . Se K é Euclidiano, então o seu anel de inteiros algébricos, , é um domínio de ideais principais e, portanto, um domínio de fatoração única, o que é um resultado muito útil na resolução de equações diofantinas. Em 1952, E.S. Barnes e H.P.F. Swinnerton-Dyer mostraram que, no caso em que K/Q é uma extensão quadrática, existem, exatamente, vinte e um corpos Euclidianos em relação à norma usual. Para corpos cúbicos e de grau quatro, H. Davenport e, mais tarde, J.W.S. Cassels, mostraram que existe apenas um número finito de corpos Euclidianos, se o grupo das unidades * tem posto um. Por exemplo, Cassels mostrou que corpos cúbicos complexos K não podem ser Euclidianos se −Δᴋ > 420², com Δᴋ sendo o discriminante de ᴋ; há, portanto, apenas um número finito deles. Cioffari usou a cota de Cassels para determinar todos os corpos Euclidianos da forma Q(³√), mostrando que os únicos tais corpos euclidianos são: Q(³√2), Q(³√3) e Q(³√10). Nesta dissertação, apresentamos um estudo detalhado das técnicas que ele usou para obter o resultado. |
| id |
UFPE_ae89a0899919ff4a55e8dd3f3343bc60 |
|---|---|
| oai_identifier_str |
oai:repositorio.ufpe.br:123456789/25527 |
| network_acronym_str |
UFPE |
| network_name_str |
Repositório Institucional da UFPE |
| repository_id_str |
|
| spelling |
REIS, Robson Carlos da Silvahttp://lattes.cnpq.br/9848549153106047http://lattes.cnpq.br/0559184209749319LEANDRO, Eduardo Shirlippe Goes2018-08-13T22:15:12Z2018-08-13T22:15:12Z2017-02-22https://repositorio.ufpe.br/handle/123456789/25527ark:/64986/0013000007r70Dizemos que um corpo de números K é Euclidiano em relação à norma algébrica usual , se, para quaisquer inteiros algébricos e de K, com não nulo, existe um inteiro algébrico em K tal que | ( − )| < | ()|, o “algoritmo de Euclides” de . Se K é Euclidiano, então o seu anel de inteiros algébricos, , é um domínio de ideais principais e, portanto, um domínio de fatoração única, o que é um resultado muito útil na resolução de equações diofantinas. Em 1952, E.S. Barnes e H.P.F. Swinnerton-Dyer mostraram que, no caso em que K/Q é uma extensão quadrática, existem, exatamente, vinte e um corpos Euclidianos em relação à norma usual. Para corpos cúbicos e de grau quatro, H. Davenport e, mais tarde, J.W.S. Cassels, mostraram que existe apenas um número finito de corpos Euclidianos, se o grupo das unidades * tem posto um. Por exemplo, Cassels mostrou que corpos cúbicos complexos K não podem ser Euclidianos se −Δᴋ > 420², com Δᴋ sendo o discriminante de ᴋ; há, portanto, apenas um número finito deles. Cioffari usou a cota de Cassels para determinar todos os corpos Euclidianos da forma Q(³√), mostrando que os únicos tais corpos euclidianos são: Q(³√2), Q(³√3) e Q(³√10). Nesta dissertação, apresentamos um estudo detalhado das técnicas que ele usou para obter o resultado.CAPESWe say that a number field K is Euclidean if, for any algebraic integers ∈ K and ∈ K, with ≠0, there is an algebraic integer ∈ K such that | ( − )| < | ()|, the "Euclidean algorithm", where is the algebraic norm in K/Q. If K is Euclidean, then its ring of algebraic integers, , is a principal ideal domain and, therefore, a unique factorization domain, which is a very useful fact in solving Diophantine equations. In 1952, E.S. Barnes and H.P.F. Swinnerton-Dyer showed that, in the case where K/Q is a quadratic extension, there are exactly twenty one Euclidean number fields, with being the usual norm. For cubic and quartic fields, H. Davenport, and later J.W.S. Cassels, have shown that there is only a finite number of Euclidean number fields, when the rank of the group of units of is one (that includes cubic fields with two complex embeddings and quartic fields with four complex embeddings). For example, Cassels has shown that a complex cubic number fields K cannot be Euclidean if −Δᴋ > 420², with Δᴋ being the discriminant of K, so there is only a finite number of them. Cioffari used Cassels’ bound to determine all Euclidean number fields of the form Q(︁³√)︁, the pure cubic fields, showing that the only Euclidean number fields in this case are Q(︁ ³√2 )︁, Q(︁³√3)︁ and Q(︁³√10)︁. We give a detailed account of the techniques they used to get this result.porUniversidade Federal de PernambucoPrograma de Pos Graduacao em MatematicaUFPEBrasilAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessMatemáticaRamificaçãoCorpos não-euclideanos com posto uminfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesismestradoreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPETHUMBNAILDISSERTAÇÃO Robson Carlos da Silva Reis.pdf.jpgDISSERTAÇÃO Robson Carlos da Silva Reis.pdf.jpgGenerated Thumbnailimage/jpeg1304https://repositorio.ufpe.br/bitstream/123456789/25527/8/DISSERTA%c3%87%c3%83O%20Robson%20Carlos%20da%20Silva%20Reis.pdf.jpg6aa1c7c99e41586e3eb4cc39e374b28fMD58ORIGINALDISSERTAÇÃO Robson Carlos da Silva Reis.pdfDISSERTAÇÃO Robson Carlos da Silva Reis.pdfapplication/pdf847753https://repositorio.ufpe.br/bitstream/123456789/25527/1/DISSERTA%c3%87%c3%83O%20Robson%20Carlos%20da%20Silva%20Reis.pdf76f279149cfb5597618e4b32e2796619MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-82311https://repositorio.ufpe.br/bitstream/123456789/25527/5/license.txt4b8a02c7f2818eaf00dcf2260dd5eb08MD55CC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8811https://repositorio.ufpe.br/bitstream/123456789/25527/6/license_rdfe39d27027a6cc9cb039ad269a5db8e34MD56TEXTDISSERTAÇÃO Robson Carlos da Silva Reis.pdf.txtDISSERTAÇÃO Robson Carlos da Silva Reis.pdf.txtExtracted texttext/plain146243https://repositorio.ufpe.br/bitstream/123456789/25527/7/DISSERTA%c3%87%c3%83O%20Robson%20Carlos%20da%20Silva%20Reis.pdf.txt7d2972181b4a2525eb7f35013ca47381MD57123456789/255272019-10-25 09:04:30.469oai:repositorio.ufpe.br:123456789/25527TGljZW7Dp2EgZGUgRGlzdHJpYnVpw6fDo28gTsOjbyBFeGNsdXNpdmEKClRvZG8gZGVwb3NpdGFudGUgZGUgbWF0ZXJpYWwgbm8gUmVwb3NpdMOzcmlvIEluc3RpdHVjaW9uYWwgKFJJKSBkZXZlIGNvbmNlZGVyLCDDoCBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkZSBQZXJuYW1idWNvIChVRlBFKSwgdW1hIExpY2Vuw6dhIGRlIERpc3RyaWJ1acOnw6NvIE7Do28gRXhjbHVzaXZhIHBhcmEgbWFudGVyIGUgdG9ybmFyIGFjZXNzw612ZWlzIG9zIHNldXMgZG9jdW1lbnRvcywgZW0gZm9ybWF0byBkaWdpdGFsLCBuZXN0ZSByZXBvc2l0w7NyaW8uCgpDb20gYSBjb25jZXNzw6NvIGRlc3RhIGxpY2Vuw6dhIG7Do28gZXhjbHVzaXZhLCBvIGRlcG9zaXRhbnRlIG1hbnTDqW0gdG9kb3Mgb3MgZGlyZWl0b3MgZGUgYXV0b3IuCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwoKTGljZW7Dp2EgZGUgRGlzdHJpYnVpw6fDo28gTsOjbyBFeGNsdXNpdmEKCkFvIGNvbmNvcmRhciBjb20gZXN0YSBsaWNlbsOnYSBlIGFjZWl0w6EtbGEsIHZvY8OqIChhdXRvciBvdSBkZXRlbnRvciBkb3MgZGlyZWl0b3MgYXV0b3JhaXMpOgoKYSkgRGVjbGFyYSBxdWUgY29uaGVjZSBhIHBvbMOtdGljYSBkZSBjb3B5cmlnaHQgZGEgZWRpdG9yYSBkbyBzZXUgZG9jdW1lbnRvOwpiKSBEZWNsYXJhIHF1ZSBjb25oZWNlIGUgYWNlaXRhIGFzIERpcmV0cml6ZXMgcGFyYSBvIFJlcG9zaXTDs3JpbyBJbnN0aXR1Y2lvbmFsIGRhIFVGUEU7CmMpIENvbmNlZGUgw6AgVUZQRSBvIGRpcmVpdG8gbsOjbyBleGNsdXNpdm8gZGUgYXJxdWl2YXIsIHJlcHJvZHV6aXIsIGNvbnZlcnRlciAoY29tbyBkZWZpbmlkbyBhIHNlZ3VpciksIGNvbXVuaWNhciBlL291IGRpc3RyaWJ1aXIsIG5vIFJJLCBvIGRvY3VtZW50byBlbnRyZWd1ZSAoaW5jbHVpbmRvIG8gcmVzdW1vL2Fic3RyYWN0KSBlbSBmb3JtYXRvIGRpZ2l0YWwgb3UgcG9yIG91dHJvIG1laW87CmQpIERlY2xhcmEgcXVlIGF1dG9yaXphIGEgVUZQRSBhIGFycXVpdmFyIG1haXMgZGUgdW1hIGPDs3BpYSBkZXN0ZSBkb2N1bWVudG8gZSBjb252ZXJ0w6otbG8sIHNlbSBhbHRlcmFyIG8gc2V1IGNvbnRlw7pkbywgcGFyYSBxdWFscXVlciBmb3JtYXRvIGRlIGZpY2hlaXJvLCBtZWlvIG91IHN1cG9ydGUsIHBhcmEgZWZlaXRvcyBkZSBzZWd1cmFuw6dhLCBwcmVzZXJ2YcOnw6NvIChiYWNrdXApIGUgYWNlc3NvOwplKSBEZWNsYXJhIHF1ZSBvIGRvY3VtZW50byBzdWJtZXRpZG8gw6kgbyBzZXUgdHJhYmFsaG8gb3JpZ2luYWwgZSBxdWUgZGV0w6ltIG8gZGlyZWl0byBkZSBjb25jZWRlciBhIHRlcmNlaXJvcyBvcyBkaXJlaXRvcyBjb250aWRvcyBuZXN0YSBsaWNlbsOnYS4gRGVjbGFyYSB0YW1iw6ltIHF1ZSBhIGVudHJlZ2EgZG8gZG9jdW1lbnRvIG7Do28gaW5mcmluZ2Ugb3MgZGlyZWl0b3MgZGUgb3V0cmEgcGVzc29hIG91IGVudGlkYWRlOwpmKSBEZWNsYXJhIHF1ZSwgbm8gY2FzbyBkbyBkb2N1bWVudG8gc3VibWV0aWRvIGNvbnRlciBtYXRlcmlhbCBkbyBxdWFsIG7Do28gZGV0w6ltIG9zIGRpcmVpdG9zIGRlCmF1dG9yLCBvYnRldmUgYSBhdXRvcml6YcOnw6NvIGlycmVzdHJpdGEgZG8gcmVzcGVjdGl2byBkZXRlbnRvciBkZXNzZXMgZGlyZWl0b3MgcGFyYSBjZWRlciDDoApVRlBFIG9zIGRpcmVpdG9zIHJlcXVlcmlkb3MgcG9yIGVzdGEgTGljZW7Dp2EgZSBhdXRvcml6YXIgYSB1bml2ZXJzaWRhZGUgYSB1dGlsaXrDoS1sb3MgbGVnYWxtZW50ZS4gRGVjbGFyYSB0YW1iw6ltIHF1ZSBlc3NlIG1hdGVyaWFsIGN1am9zIGRpcmVpdG9zIHPDo28gZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3UgY29udGXDumRvIGRvIGRvY3VtZW50byBlbnRyZWd1ZTsKZykgU2UgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgYmFzZWFkbyBlbSB0cmFiYWxobyBmaW5hbmNpYWRvIG91IGFwb2lhZG8gcG9yIG91dHJhIGluc3RpdHVpw6fDo28gcXVlIG7Do28gYSBVRlBFLMKgZGVjbGFyYSBxdWUgY3VtcHJpdSBxdWFpc3F1ZXIgb2JyaWdhw6fDtWVzIGV4aWdpZGFzIHBlbG8gcmVzcGVjdGl2byBjb250cmF0byBvdSBhY29yZG8uCgpBIFVGUEUgaWRlbnRpZmljYXLDoSBjbGFyYW1lbnRlIG8ocykgbm9tZShzKSBkbyhzKSBhdXRvciAoZXMpIGRvcyBkaXJlaXRvcyBkbyBkb2N1bWVudG8gZW50cmVndWUgZSBuw6NvIGZhcsOhIHF1YWxxdWVyIGFsdGVyYcOnw6NvLCBwYXJhIGFsw6ltIGRvIHByZXZpc3RvIG5hIGFsw61uZWEgYykuCg==Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-25T12:04:30Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false |
| dc.title.pt_BR.fl_str_mv |
Corpos não-euclideanos com posto um |
| title |
Corpos não-euclideanos com posto um |
| spellingShingle |
Corpos não-euclideanos com posto um REIS, Robson Carlos da Silva Matemática Ramificação |
| title_short |
Corpos não-euclideanos com posto um |
| title_full |
Corpos não-euclideanos com posto um |
| title_fullStr |
Corpos não-euclideanos com posto um |
| title_full_unstemmed |
Corpos não-euclideanos com posto um |
| title_sort |
Corpos não-euclideanos com posto um |
| author |
REIS, Robson Carlos da Silva |
| author_facet |
REIS, Robson Carlos da Silva |
| author_role |
author |
| dc.contributor.authorLattes.pt_BR.fl_str_mv |
http://lattes.cnpq.br/9848549153106047 |
| dc.contributor.advisorLattes.pt_BR.fl_str_mv |
http://lattes.cnpq.br/0559184209749319 |
| dc.contributor.author.fl_str_mv |
REIS, Robson Carlos da Silva |
| dc.contributor.advisor1.fl_str_mv |
LEANDRO, Eduardo Shirlippe Goes |
| contributor_str_mv |
LEANDRO, Eduardo Shirlippe Goes |
| dc.subject.por.fl_str_mv |
Matemática Ramificação |
| topic |
Matemática Ramificação |
| description |
Dizemos que um corpo de números K é Euclidiano em relação à norma algébrica usual , se, para quaisquer inteiros algébricos e de K, com não nulo, existe um inteiro algébrico em K tal que | ( − )| < | ()|, o “algoritmo de Euclides” de . Se K é Euclidiano, então o seu anel de inteiros algébricos, , é um domínio de ideais principais e, portanto, um domínio de fatoração única, o que é um resultado muito útil na resolução de equações diofantinas. Em 1952, E.S. Barnes e H.P.F. Swinnerton-Dyer mostraram que, no caso em que K/Q é uma extensão quadrática, existem, exatamente, vinte e um corpos Euclidianos em relação à norma usual. Para corpos cúbicos e de grau quatro, H. Davenport e, mais tarde, J.W.S. Cassels, mostraram que existe apenas um número finito de corpos Euclidianos, se o grupo das unidades * tem posto um. Por exemplo, Cassels mostrou que corpos cúbicos complexos K não podem ser Euclidianos se −Δᴋ > 420², com Δᴋ sendo o discriminante de ᴋ; há, portanto, apenas um número finito deles. Cioffari usou a cota de Cassels para determinar todos os corpos Euclidianos da forma Q(³√), mostrando que os únicos tais corpos euclidianos são: Q(³√2), Q(³√3) e Q(³√10). Nesta dissertação, apresentamos um estudo detalhado das técnicas que ele usou para obter o resultado. |
| publishDate |
2017 |
| dc.date.issued.fl_str_mv |
2017-02-22 |
| dc.date.accessioned.fl_str_mv |
2018-08-13T22:15:12Z |
| dc.date.available.fl_str_mv |
2018-08-13T22:15:12Z |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
| format |
masterThesis |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
https://repositorio.ufpe.br/handle/123456789/25527 |
| dc.identifier.dark.fl_str_mv |
ark:/64986/0013000007r70 |
| url |
https://repositorio.ufpe.br/handle/123456789/25527 |
| identifier_str_mv |
ark:/64986/0013000007r70 |
| dc.language.iso.fl_str_mv |
por |
| language |
por |
| dc.rights.driver.fl_str_mv |
Attribution-NonCommercial-NoDerivs 3.0 Brazil http://creativecommons.org/licenses/by-nc-nd/3.0/br/ info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
Attribution-NonCommercial-NoDerivs 3.0 Brazil http://creativecommons.org/licenses/by-nc-nd/3.0/br/ |
| eu_rights_str_mv |
openAccess |
| dc.publisher.none.fl_str_mv |
Universidade Federal de Pernambuco |
| dc.publisher.program.fl_str_mv |
Programa de Pos Graduacao em Matematica |
| dc.publisher.initials.fl_str_mv |
UFPE |
| dc.publisher.country.fl_str_mv |
Brasil |
| publisher.none.fl_str_mv |
Universidade Federal de Pernambuco |
| dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFPE instname:Universidade Federal de Pernambuco (UFPE) instacron:UFPE |
| instname_str |
Universidade Federal de Pernambuco (UFPE) |
| instacron_str |
UFPE |
| institution |
UFPE |
| reponame_str |
Repositório Institucional da UFPE |
| collection |
Repositório Institucional da UFPE |
| bitstream.url.fl_str_mv |
https://repositorio.ufpe.br/bitstream/123456789/25527/8/DISSERTA%c3%87%c3%83O%20Robson%20Carlos%20da%20Silva%20Reis.pdf.jpg https://repositorio.ufpe.br/bitstream/123456789/25527/1/DISSERTA%c3%87%c3%83O%20Robson%20Carlos%20da%20Silva%20Reis.pdf https://repositorio.ufpe.br/bitstream/123456789/25527/5/license.txt https://repositorio.ufpe.br/bitstream/123456789/25527/6/license_rdf https://repositorio.ufpe.br/bitstream/123456789/25527/7/DISSERTA%c3%87%c3%83O%20Robson%20Carlos%20da%20Silva%20Reis.pdf.txt |
| bitstream.checksum.fl_str_mv |
6aa1c7c99e41586e3eb4cc39e374b28f 76f279149cfb5597618e4b32e2796619 4b8a02c7f2818eaf00dcf2260dd5eb08 e39d27027a6cc9cb039ad269a5db8e34 7d2972181b4a2525eb7f35013ca47381 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE) |
| repository.mail.fl_str_mv |
attena@ufpe.br |
| _version_ |
1866186302004658176 |