Cuerpo de fracciones

En álgebra abstracta, se denomina cuerpo de fracciones de un dominio de integridad $A$ al mínimo cuerpo que contiene a dicho dominio. Dicho cuerpo siempre existe y se denota por $Q(A)$, $\mathrm{Q}\mathrm{u}\mathrm{o}\mathrm{t}(A)$ (del inglés: quotient field) o $\mathrm{F}\mathrm{r}\mathrm{a}\mathrm{c}(A)$.

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

Sea un anillo conmutativo $A$, que a su vez sea un dominio de integridad, es decir, que carezca de divisores de cero. Denotaremos por $A^{*}$ al conjunto $A\setminus \{0\}$. El proceso de construcción del cuerpo de fracciones de $A$ es el siguiente:Plantilla:Harvnp

• Formamos el producto cartesiano $A\times A^{*}$, compuesto por todos los pares ordenados $(a,b)$, donde $a,b\in A$, y $b\ne 0$.
• Definimos la relación $ℛ$ definida por:

$(a,b)ℛ(c,d)⟺a\cdot d=b\cdot c$.

Esta $ℛ$ es una relación de equivalencia.

• Denotamos por $Q(A)$ al conjunto cociente $(A\times A^{*})/ℛ$, y por $\frac{a}{b}$ a la clase de equivalencia del par ordenado $(a,b)$.

Como se verá más adelante, a este conjunto $Q(A)$ se le puede dotar de estructura de cuerpo con las operaciones adecuadas. Además, el anillo $A$ es un subanillo de $Q(A)$,Plantilla:Harvnp ya que podemos identificar cada elemento $a\in A$ con el elemento $\frac{a}{1}\in Q(A)$. Otra propiedad interesante es que este cuerpo es, salvo isomorfismo, el menor cuerpo que contiene a $A$. Es decir, si existe un cuerpo $K$ tal que $A\subset K$, entonces $Q(A)\subseteq K$.Plantilla:Harvnp En particular, si $A$ es un cuerpo entonces es isomorfo a su cuerpo de fracciones.Plantilla:Harvnp

Operaciones del cuerpo

Suma

Definimos la suma en el cuerpo de fracciones como $+:Q(R)\times Q(R)⟶Q(R)$ de la siguiente manera:

$+(\frac{a}{b},\frac{c}{d}):=\frac{a}{b}+\frac{c}{d}=\frac{(a\cdot d)+(b\cdot c)}{b\cdot d},\mathrm{\forall }\frac{a}{b},\frac{c}{d}\in Q(R)$

Es sencillo comprobar que es una operación interna bien definida, asociativa, conmutativa, que tiene elemento neutro $\frac{0}{b}$ para cualquier $b$, y que todo elemento $\frac{a}{b}\in Q(R)$ tiene por elemento opuesto a $\frac{-a}{b}$. Así, $(Q(R),+)$ tiene estructura de un grupo abeliano.

Producto

Definimos la multiplicación en el cuerpo de fracciones como $\cdot :Q(R)\times Q(R)⟶Q(R)$ de la siguiente manera:

$\cdot (\frac{a}{b},\frac{c}{d}):=\frac{a}{b}\cdot \frac{c}{d}=\frac{a\cdot c}{b\cdot d},\mathrm{\forall }\frac{a}{b},\frac{c}{d}\in Q(R)$.

Es sencillo comprobar que es una operación interna bien definida, asociativa, conmutativa, que tiene elemento neutro $\frac{a}{a}$ para cualquier $a$, y que todo elemento $\frac{a}{b}\in (Q(R)\setminus \{0\}$ tiene por elemento simétrico (elemento inverso) a $\frac{b}{a}$. Así, $(Q(R)\setminus \{0\},\cdot )$ es un grupo abeliano.

Distributividad

Se demuestra sin dificultad que el producto (·) es distributivo respecto de la suma (+).Plantilla:Harvnp Esto hace que $(Q(R),+,\cdot )$ quede dotado de estructura de cuerpo.

Ejemplos

• El cuerpo de fracciones del anillo de los números enteros es el cuerpo de los números racionales, $𝐐=\mathrm{Q}\mathrm{u}\mathrm{o}\mathrm{t}(𝐙)$.
• Sea $R:=\{a+b\mathrm{i}|a,b\in \mathbb{Z}\}$ el anillo de enteros gaussianos. Entonces $\mathrm{Q}\mathrm{u}\mathrm{o}\mathrm{t}(R)=\{c+d\mathrm{i}|c,d\in 𝐐\}$, es el cuerpo de los racionales gaussianos $𝐐(i)$, 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 $A$, su anillo de polinomios en n indeterminadas $A[X_1,\dots ,X_n]$ es también un dominio de integridad, y por lo tanto se puede construir su cuerpo de fracciones.Plantilla:HarvnpPlantilla:Harvnp A dicho cuerpo se le denomina cuerpo de funciones racionales con coeficientes en $A$ en n indeterminadas, y se denota $K(X_1,\dots ,X_n)$.Plantilla:Harvnp

Véase también

• Anillo de fracciones.
• Fracción.
• Número racional.

Referencias

Bibliografía

• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro

Enlaces externos

• Plantilla:MathWorld