Teoría de multiplicidad aplicado a la fórmula límite de Samuel

La matemática actual se caracteriza por el predominio del álgebra, y se habla a menudo de la algebrización de todas las ramas de la tradicional matemática. Esta tendencia se origina en los trabajos geniales de Galois para dar solución definitiva al problema de hallar las raíces de las ecuaciones algebraicas, de donde surgió la noción de grupo. Más tarde apareció la teoría abstracta de grupos y otras teorías, como las de cuaternios y de matrices. Además tanto los cuaternios como las matrices contradicen la ley conmutativa de la multiplicación de números, según la cual el orden de los factores no altera el producto, como en el caso de las geometrías no euclidianas, se llegó por esta vía a un grado de abstracción mayor de las operaciones aritméticas y algebraicas, que se definen hoy únicamente por los axiomas que se desee que cumplan. En la actualidad el Álgebra Abstracta juega un papel muy importante en el estudio de la Matemática ya que en ella se involucran diversidad de contenidos lo que se centra en el estudio de conjuntos, estructura de grupo, categorías, anillos, módulos en donde estos se dividen en las importantes ramas de Campos y Teoría de Galois, Álgebra lineal, Anillos conmutativos y módulos y estructura de anillos entre otros. Toda esta teoría contribuye al estudio del álgebra homológica dentro de la cual se prende desarrollar la Teoría de multiplicidad y en base a esta poder demostrar la fórmula límite de Samuel.

On the existence of right adjoints for surjective mappings between fuzzy structures0

En este trabajo los autores continúan su estudio de la caracterización de la existencia de adjunciones (conexiones de Galois isótonas) cuyo codominio no está dotado de estructura en principio. En este artículo se considera el caso difuso en el que se tiene un orden difuso R definido en un conjunto A y una aplicación sobreyectiva f:A-> B compatible respecto de dos relaciones de similaridad definidas en el dominio A y en el condominio B, respectivamente. Concretamente, el problema es encontrar un orden difuso S en B y una aplicación g:B-> A compatible también con las correspondientes similaridades definidas en A y en B, de tal forma que el par (f,g) constituya un adjunción.