Concepto de álgebra abstracta
En álgebra abstracta , el cuerpo de fracciones de un dominio integral es el cuerpo más pequeño en el que puede estar incluido . La construcción del cuerpo de fracciones se basa en la relación entre el dominio integral de los números enteros y el cuerpo de los números racionales . Intuitivamente, consiste en proporciones entre elementos del dominio integral.
El campo de fracciones de un dominio integral se denota a veces por o , y la construcción a veces también se llama campo de fracciones , campo de cocientes o campo de cocientes de . Los cuatro son de uso común, pero no deben confundirse con el cociente de un anillo por un ideal , que es un concepto bastante diferente. Para un anillo conmutativo que no es un dominio integral, la construcción análoga se llama localización o anillo de cocientes.
Definición
Dado un dominio integral y siendo , definimos una relación de equivalencia en siendo siempre que . Denotamos la clase de equivalencia de por . Esta noción de equivalencia está motivada por los números racionales , que tienen la misma propiedad con respecto al anillo subyacente de números enteros.
Entonces el campo de fracciones es el conjunto con adición dada por
y la multiplicación dada por
Se puede comprobar que estas operaciones están bien definidas y que, para cualquier dominio integral , es efectivamente un cuerpo. En particular, para , el inverso multiplicativo de es como se esperaba: .
La incrustación de in asigna cada in a la fracción para cualquier valor distinto de cero (la clase de equivalencia es independiente de la elección ). Esto se basa en la identidad .
El campo de fracciones de se caracteriza por la siguiente propiedad universal :
- si es un homomorfismo de anillo inyectivo de en un cuerpo , entonces existe un homomorfismo de anillo único que extiende .
Hay una interpretación categórica de esta construcción. Sea la categoría de dominios integrales y mapas de anillos inyectivos. El funtor de a la categoría de cuerpos que lleva cada dominio integral a su cuerpo fraccionario y cada homomorfismo al mapa inducido en cuerpos (que existe por la propiedad universal) es el adjunto izquierdo del funtor de inclusión de la categoría de cuerpos a . Por lo tanto, la categoría de cuerpos (que es una subcategoría completa) es una subcategoría reflexiva de .
No se requiere una identidad multiplicativa para el rol del dominio integral; esta construcción se puede aplicar a cualquier generador aleatorio conmutativo distinto de cero sin divisores de cero distintos de cero . La incrustación está dada por para cualquier distinto de cero . [1]
Ejemplos
- El campo de las fracciones del anillo de los números enteros es el campo de los racionales : .
- Sea el anillo de números enteros gaussianos . Luego , el campo de números racionales gaussianos .
- El campo de fracciones de un campo es canónicamente isomorfo al campo mismo.
- Dado un campo , el campo de fracciones del anillo de polinomios en un indeterminado (que es un dominio integral), se llamacampo de funciones racionales ,campo de fracciones racionalesocampo de expresiones racionales[2][3][4][5]y se denota.
- El campo de fracciones del anillo de convolución de funciones de semirrecta produce un espacio de operadores , que incluye la función delta de Dirac , el operador diferencial y el operador integral . Esta construcción proporciona una representación alternativa de la transformada de Laplace que no depende explícitamente de una transformada integral. [6]
Generalizaciones
Localización
Para cualquier anillo conmutativo y cualquier conjunto multiplicativo en , la localización es el anillo conmutativo que consiste en fracciones
con y , donde ahora es equivalente a si y sólo si existe tal que .
Cabe destacar dos casos especiales de esto:
Tenga en cuenta que se permite que contenga 0, pero en ese caso será el anillo trivial .
Semicampo de fracciones
El semicuerpo de fracciones de un semianillo conmutativo sin divisores de cero es el semicuerpo más pequeño en el que puede estar incluido .
Los elementos del semicuerpo de fracciones del semianillo conmutativo son clases de equivalencia escritas como
con y en .
Véase también
Referencias
- ^ Hungerford, Thomas W. (1980). Álgebra (3.ª edición revisada). Nueva York: Springer. Págs. 142-144. ISBN. 3540905189.
- ^ Vinberg, Ėrnest Borisovich (2003). Un curso de álgebra. American Mathematical Society. pág. 131. ISBN 978-0-8218-8394-5.
- ^ Foldes, Stephan (1994). Estructuras fundamentales del álgebra y las matemáticas discretas . Wiley. pág. 128. ISBN 0-471-57180-6.
- ^ Grillet, Pierre Antoine (2007). "3.5 Anillos: polinomios en una variable". Álgebra abstracta . Springer. pág. 124. ISBN 978-0-387-71568-1.
- ^ Marecek, Lynn; Mathis, Andrea Honeycutt (6 de mayo de 2020). Álgebra intermedia 2.ª ed. OpenStax . §7.1.
- ^ Mikusiński, Jan (14 de julio de 2014). Cálculo operacional. Elsevier. ISBN 9781483278933.