Sobre la factorización de ideales en dominios de dedekin
dc.contributor.advisor | Pinedo Tapia, Hector Edonis | |
dc.contributor.author | Archila Prada, Astrid Carolina | |
dc.date.accessioned | 2024-03-04T01:15:09Z | |
dc.date.available | 2021 | |
dc.date.available | 2024-03-04T01:15:09Z | |
dc.date.created | 2021 | |
dc.date.issued | 2021 | |
dc.description.abstract | Este trabajo se divide en dos capítulos, en el primero se dan definiciones, proposiciones y teoremasgenerales sobre estructuras algebraicas que resultan útiles para desarrollar las bases de númerosalgebraicos en una manera relativamente elemental. También se enuncian caracterizaciones para los anillos noetherianos. En el segundo capítulo, las dos primeras secciones establecen las propiedades de las extensiones decuerpos de los números racionales que se obtienen de adjuntar números algebraicos. En particular,se demuestra que cada una de estas extensiones son de la forma Q(9) con 4 un número algebraico(Teorema elemento primitivo (21-11). En la tercera sección se introduce el anillo de enteros de uncuerpo numérico K, denotado por D = Kn B siendo B el conjunto de números algebraicos; se pruebaque D es noetheriano, integralmente cerrado y que todo ideal primo de D es maximal (Teoremal2.3.4).A partir de estas propiedades se define la estructura de dominio de Dedekind y se demuestra en estecaso general que los ideales fraccionarios forman un grupo bajo la multiplicación (item 1. Teorema[2.3-7. De esto se deduce que todo ideal de D se escribe como producto finito de ideales primos yeste producto es único salvo por el orden de los factores (item 2. Teorema|2.3.7). En la sección finalse define la norma de un ideal y se demuestra que dado un entero positivo este es la norma de unnúmero finito de ideales de D (Teorema[2.4.10), lo cual es posible por la factorización prima única endominios de Dedekind. | |
dc.description.abstractenglish | This project is divided in two chapters. In the first one we give definitions, propositions and generaltheorems on algebraic structures which are useful for developing the fundations of the theory ofalgebraic numbers in a relatively elementary manner. Characterizations for noetherian rings are alsostated. In the second chapter, the first two sections establish properties of field extensions of rational numbers that are obtained from adjoining algebraic numbers. Particularly, it is shown that each of theseextensions are of the form Q(@) with 6 an algebraic number (primitive element Theorem 2.1.77). Thethird section introduces the ring of integers of a number field K, denoted by D = K/MB where B isthe set of algebraic integers; it is proved that D is noetherian, integrally closed domain and that everyprime ideal of D is maximal (Theorem (2.3.4). From these properties the Dedekind domain structureis defined and it is shown in this general case that fractional ideals form a group under multiplication(see item 1. Theorem 2.3.7). From this follows that every ideal of D is written as a finite product ofprime ideals and this product is unique except for the order of the factors (see item 2. Theorem|2.3.7).In the final section, the definition of the norm of an ideal is given and it is shown that any fixed positiveinteger is the norm of a finite number of ideals of D (Theorem|2.4.10), which is possible because the factorization in primes is unique in Dedekind domains. | |
dc.description.degreelevel | Pregrado | |
dc.description.degreename | Matemático | |
dc.format.mimetype | application/pdf | |
dc.identifier.instname | Universidad Industrial de Santander | |
dc.identifier.reponame | Universidad Industrial de Santander | |
dc.identifier.repourl | https://noesis.uis.edu.co | |
dc.identifier.uri | https://noesis.uis.edu.co/handle/20.500.14071/41318 | |
dc.language.iso | spa | |
dc.publisher | Universidad Industrial de Santander | |
dc.publisher.faculty | Facultad de Ciencias | |
dc.publisher.program | Matemáticas | |
dc.publisher.school | Escuela de Matemáticas | |
dc.rights | http://creativecommons.org/licenses/by/4.0/ | |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | |
dc.rights.creativecommons | Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0) | |
dc.rights.license | Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) | |
dc.rights.uri | http://creativecommons.org/licenses/by-nc/4.0 | |
dc.subject | Números Y Enteros Algebraicos | |
dc.subject | Extensión De Cuerpos | |
dc.subject | Cuerpo Numérico | |
dc.subject | Conjugada | |
dc.subject | Discriminante | |
dc.subject | Anillo De Enteros | |
dc.subject | Dominio De Dedekind | |
dc.subject | Norma De Un Ideal. | |
dc.subject.keyword | Algebraic Numbers And Integers | |
dc.subject.keyword | Field Extensions | |
dc.subject.keyword | Numerical Field | |
dc.subject.keyword | Conjugate | |
dc.subject.keyword | Discriminant | |
dc.subject.keyword | Rings Of Integers | |
dc.subject.keyword | Dedekind Domains | |
dc.subject.keyword | Norm Of An Ideal. | |
dc.title | Sobre la factorización de ideales en dominios de dedekin | |
dc.title.english | On factoring ideals in dedekind domains | |
dc.type.coar | http://purl.org/coar/version/c_b1a7d7d4d402bcce | |
dc.type.hasversion | http://purl.org/coar/resource_type/c_7a1f | |
dc.type.local | Tesis/Trabajo de grado - Monografía - Pregrado |
Files
Original bundle
1 - 3 of 3
No Thumbnail Available
- Name:
- Carta de autorización.pdf
- Size:
- 307.91 KB
- Format:
- Adobe Portable Document Format
No Thumbnail Available
- Name:
- Documento.pdf
- Size:
- 396.18 KB
- Format:
- Adobe Portable Document Format
No Thumbnail Available
- Name:
- Nota de proyecto.pdf
- Size:
- 15.95 KB
- Format:
- Adobe Portable Document Format