stringtranslate.com

Campo de fracciones

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

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

  1. ^ Hungerford, Thomas W. (1980). Álgebra (3.ª edición revisada). Nueva York: Springer. Págs. 142-144. ISBN. 3540905189.
  2. ^ Vinberg, Ėrnest Borisovich (2003). Un curso de álgebra. American Mathematical Society. pág. 131. ISBN 978-0-8218-8394-5.
  3. ^ Foldes, Stephan (1994). Estructuras fundamentales del álgebra y las matemáticas discretas . Wiley. pág. 128. ISBN 0-471-57180-6.
  4. ^ Grillet, Pierre Antoine (2007). "3.5 Anillos: polinomios en una variable". Álgebra abstracta . Springer. pág. 124. ISBN 978-0-387-71568-1.
  5. ^ Marecek, Lynn; Mathis, Andrea Honeycutt (6 de mayo de 2020). Álgebra intermedia 2.ª ed. OpenStax . §7.1.
  6. ^ Mikusiński, Jan (14 de julio de 2014). Cálculo operacional. Elsevier. ISBN 9781483278933.