Ir al contenido

Cuerpo de fracciones

De Wikipedia, la enciclopedia libre
(Redirigido desde «Cuerpo de cocientes»)

En álgebra abstracta, se denomina cuerpo de fracciones de un dominio de integridad al mínimo cuerpo que contiene a dicho dominio. Dicho cuerpo siempre existe y se denota por , (del inglés: quotient field) o .

El ejemplo más sencillo de un cuerpo de fracciones es el de los números racionales, que son el cuerpo de fracciones de los números enteros. El cuerpo de fracciones de cualquier otro dominio de integridad se construye de manera análoga a este.

Construcción

[editar]

Sea un anillo conmutativo , que a su vez sea un dominio de integridad, es decir, que carezca de divisores de cero. Denotaremos por al conjunto . El proceso de construcción del cuerpo de fracciones de es el siguiente:[1]

  • Formamos el producto cartesiano , compuesto por todos los pares ordenados , donde , y .
  • Definimos la relación definida por:
.
Esta es una relación de equivalencia.
Demostración
  • La relación es:
    • Reflexiva: por ser conmutativo
.
  • Simétrica: de nuevo por la conmutatividad en :
,
luego
  • Transitiva: Dados tales que y entonces: y , por lo cual
y por la propiedad cancelativa (dado que ):,
de donde
  • Denotamos por al conjunto cociente , y por a la clase de equivalencia del par ordenado .

Como se verá más adelante, a este conjunto se le puede dotar de estructura de cuerpo con las operaciones adecuadas. Además, el anillo es un subanillo de ,[2]​ ya que podemos identificar cada elemento con el elemento .[3]​ Otra propiedad interesante es que este cuerpo es, salvo isomorfismo, el menor cuerpo que contiene a . Es decir, si existe un cuerpo tal que , entonces .[4]​ En particular, si es un cuerpo entonces es isomorfo a su cuerpo de fracciones.[5]

Operaciones del cuerpo

[editar]

Suma

[editar]

Definimos la suma en el cuerpo de fracciones como de la siguiente manera:

Es sencillo comprobar que es una operación interna bien definida, asociativa, conmutativa, que tiene elemento neutro para cualquier , y que todo elemento tiene por elemento opuesto a . Así, tiene estructura de un grupo abeliano.

Producto

[editar]

Definimos la multiplicación en el cuerpo de fracciones como de la siguiente manera:

.

Es sencillo comprobar que es una operación interna bien definida, asociativa, conmutativa, que tiene elemento neutro para cualquier , y que todo elemento tiene por elemento simétrico (elemento inverso) a . Así, es un grupo abeliano.

Distributividad

[editar]

Se demuestra sin dificultad que el producto (·) es distributivo respecto de la suma (+).[6]​ Esto hace que quede dotado de estructura de cuerpo.

Ejemplos

[editar]
  • El cuerpo de fracciones del anillo de los números enteros es el cuerpo de los números racionales, .
  • Sea el anillo de enteros gaussianos. Entonces , es el cuerpo de los racionales gaussianos , ejemplo de cuerpo de números algebraicos y cuerpo cuadrático.
  • El cuerpo de fracciones de un cuerpo es canónicamente isomorfo a ese mismo cuerpo.
  • Dado un dominio de integridad , su anillo de polinomios en n indeterminadas es también un dominio de integridad, y por lo tanto se puede construir su cuerpo de fracciones.[7][8]​ A dicho cuerpo se le denomina cuerpo de funciones racionales con coeficientes en en n indeterminadas, y se denota .[9]

Véase también

[editar]

Referencias

[editar]

Notas

[editar]
  1. Clark, 2012, p. 175.
  2. Gamboa y Ruiz, 2002, p. 34.
  3. No es necesario que el anillo A tenga identidad multiplicativa (Hartley y Hawkes, 1970). En este caso se puede identificar cada elemento con para cualquier .
  4. Carstensen, Fine y Rosenberger, 2011, p. 14.
  5. Gamboa y Ruiz, 2002, p. 24.
  6. Vinberg, 2003, p. 130.
  7. Foldes, 1994, p. 128.
  8. Grillet, 2007, p. 124.
  9. Gamboa y Ruiz, 2002, p. 121.

Bibliografía

[editar]

Enlaces externos

[editar]