Cuerpo de fracciones

En álgebra abstracta, se denomina cuerpo de fracciones de un dominio de integridad ${\displaystyle A}$ al mínimo cuerpo que contiene a dicho dominio. Dicho cuerpo siempre existe y se denota por ${\displaystyle Q(A)}$, ${\displaystyle \mathrm {Quot} (A)}$ (del inglés: quotient field) o ${\displaystyle \mathrm {Frac} (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.

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

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

${\displaystyle (a,b){\mathcal {R}}(c,d)\iff a\cdot d=b\cdot c}$.

Esta ${\displaystyle {\mathcal {R}}}$ es una relación de equivalencia.

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

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

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

${\displaystyle +\left({\tfrac {a}{b}},{\tfrac {c}{d}}\right):={\tfrac {a}{b}}+{\tfrac {c}{d}}={\tfrac {(a\cdot d)+(b\cdot c)}{b\cdot d}},\ \forall {\tfrac {a}{b}},{\tfrac {c}{d}}\in Q(R)}$

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

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

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

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

Se demuestra sin dificultad que el producto (·) es distributivo respecto de la suma (+).^[6]​ Esto hace que ${\displaystyle (Q(R),+,\cdot )}$ quede dotado de estructura de cuerpo.

• El cuerpo de fracciones del anillo de los números enteros es el cuerpo de los números racionales, ${\displaystyle \mathbf {Q} =\mathrm {Quot} (\mathbf {Z} )}$.
• Sea ${\displaystyle R:=\{a+b\mathrm {i} |a,b\in \mathbb {Z} \}}$ el anillo de enteros gaussianos. Entonces ${\displaystyle \mathrm {Quot} (R)=\{c+d\mathrm {i} |c,d\in \mathbf {Q} \}}$, es el cuerpo de los racionales gaussianos ${\displaystyle \mathbf {Q} (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 ${\displaystyle A}$, su anillo de polinomios en n indeterminadas ${\displaystyle A[X_{1},\dots ,X_{n}]}$ 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 ${\displaystyle A}$ en n indeterminadas, y se denota ${\displaystyle K(X_{1},\dots ,X_{n})}$.^[9]​

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

• Carstensen, Celinen; Fine, Benjamin; Rosenberger, Gerhard (2011). Abstract Algebra: Applications to Galois Theory, Algebraic Geometry, and Cryptography. 
• Clark, Allan (2012). Elements of Abstract Algebra. 
• Foldes, Stephan (1994). Fundamental structures of algebra and discrete mathematics. 
• Gamboa, José Manuel; Ruiz, Jesús (2002). Anillos y cuerpos conmutativos (3ª edición). UNED. 
• Grillet, Pierre Antoine (2007). Abstract algebra. 
• Hartley, B.; Hawkes, T.O. (1970). Rings, Modules, and Linear Algebra. 
• Vinberg, Ėrnest Borisovich (2003). A course in algebra. American Mathematical Society. ISBN 0821834134. 

• Weisstein, Eric W. «Field of fractions». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.