Grupos de divisibilidad
Fecha
2021Autor
Castaños Calle, Eugenio
Tutor
Lafuente Rodriguez, Ramiro H.
Metadatos
Mostrar el registro completo del ítemResumen
Sea la Estructura Algebraica en el que se considera un dominio de integridad D, con U grupo de unidades y el campo cociente K. Si K∗ denota el grupo multi plicativo de K y U subgrupo de K∗ , es posible definir el cociente K∗/U como el Grupo de Divisibilidad G(D), afirmando que es un grupo parcialmente ordenado. Una aplicaci´on importante de `-grupos abelianos es la teor´ıa de dominios de in tegridad; a trav´es de Grupos de Divisibilidad, facilitado por el hecho de que cada l-grupo abeliano, se puede obtener como un Grupo de Divisibilidad de un dominio apropiado. Alternativamente se podr´ıa considerar el conjunto {Dx : x ∈ K∗} de todos los D- submodulos c´ıclicos no triviales de K, este conjunto es un grupo parcialmente ordenado isomorfo a G. Ahora
centramos nuestra atenci´on en aquellos dominios para los que el orden parcial sobre los Grupos de Divisibilidad es un ret´ıculo ordenado. Los conceptos de dominios de Bezout y Pseudo Bezout, dan lugar a la propiedad: Un dominio es un dominio de Bezout si y solo si el Grupo de Divisibilidad es un retículo ordenado. Comenzamos con un dominio y se obtuvo su Grupo de Divisibilidad del campo cociente. Alternativamente podemos comenzar con el campo equipado con una funci´on en un `-grupo. Estableciendo la propiedad de que cada l-grupo abeliano es el Grupo de Divisibilidad de un dominio de Bezout.3 Este es un hecho crucial que permite el traslado de problemas de anillos-te´oricos en el lenguaje de `-grupos abelianos, es decir que cada `-grupo surge como Grupo de Divisibilidad de alg´un dominio (dominio de Bezout). Dando lugar a la corres pondencia entre supra-anillos de un dominio de Bezout y los `-grupos convexos de un Grupo de Divisibilidad. Por tanto, el objetivo general de este trabajo es investigar la forma de convertir un anillo conmutativo en un `-grupo bajo el concepto de divisibilidad, facilitado por el hecho de que cada`-grupo abeliano se puede obtener como un grupo de divisibilidad de un dominio apropiado.