Cuerpo de fracciones

En lgebra abstracta, se denomina cuerpo de fracciones 2.1 Suma

de un dominio de integridad A al mnimo cuerpo que con-
tiene a dicho dominio. Dicho cuerpo siempre existe y se Denimos la suma en el cuerpo de fracciones como + :
denota por Q(A) , Quot(A) (del ingls: quotient eld) o Q(R) Q(R) Q(R) de la siguiente manera:
Frac(A) .
El ejemplo ms sencillo de un cuerpo de fracciones es (a c) (ad)+(bc)
a
el de los nmeros racionales, que son el cuerpo de frac- + b , d := b + d =
c
bd , ab , dc Q(R)
ciones de los nmeros enteros. El cuerpo de fracciones
de cualquier otro dominio de integridad se construye de Es sencillo comprobar que es una operacin interna bien
manera anloga a ste. denida, asociativa, conmutativa, que tiene elemento neu-
tro 0b para cualquier b , y que todo elemento ab Q(R)
tiene por elemento opuesto a a b . As, (Q(R), +) tiene
estructura de un grupo abeliano.
1 Construccin
Sea un anillo conmutativo A , que a su vez sea un dominio 2.2 Producto
de integridad, es decir, que carezca de divisores de ce-
ro. Denotaremos por A al conjunto A \ {0} . El pro- Denimos la multiplicacin en el cuerpo de fracciones co-
ceso de construccin del cuerpo de fracciones de A es el mo : Q(R) Q(R) Q(R) de la siguiente manera:
siguiente:[1]

Formamos el producto cartesiano A A , com- ( ab , dc ) := ab dc = ac

bd , b , d Q(R)
a c

puesto por todos los pares ordenados (a, b) , donde

a, b A , y b = 0 .
Denimos la relacin R denida por:
(a, b)R(c, d) a d = b c
Es sencillo comprobar que es una operacin interna
bien denida, asociativa, conmutativa, que tiene elemen-
to neutro aa para cualquier a , y que todo elemento ab
(Q(R) \ {0} tiene por elemento simtrico (elemento in-
verso) a ab . As, (Q(R) \ {0}, ) es un grupo abeliano.

Esta R es una relacin de equivalencia. 2.3 Distributividad

Denotamos por Q(A) al conjunto cociente (A Se demuestra sin dicultad que el producto [6]
() es dis-
a
A )/R , y por b a la clase de equivalencia del par tributivo respecto de la suma (+). Esto hace que
ordenado (a, b) . (Q(R), +, ) quede dotado de estructura de cuerpo.

Como se ver ms adelante, a este conjunto Q(A) se le

puede dotar de estructura de cuerpo con las operaciones
adecuadas. Adems, el anillo A es un subanillo de Q(A)
,[2] ya que podemos identicar cada elemento a A con
el elemento a1 Q(A) .[3] Otra propiedad interesante es
que este cuerpo es, salvo isomorsmo, el menor cuerpo
que contiene a A . Es decir, si existe un cuerpo K tal
que A K , entonces Q(A) K .[4] En particular,
si A es un cuerpo entonces es isomorfo a su cuerpo de
fracciones.[5]
2 Operaciones del cuerpo
3 Ejemplos
El cuerpo de fracciones del anillo de los nmeros
enteros es el cuerpo de los nmeros racionales, Q =
Quot(Z) .
Sea R := {a + bi|a, b Z} el anillo de enteros
gaussianos. Entonces Quot(R) = {c + di|c, d
Q} , es el cuerpo de los racionales gaussianos Q(i) ,
ejemplo de cuerpo de nmeros algebraicos y cuerpo
cuadrtico.
El cuerpo de fracciones de un cuerpo es cannica-
mente isomorfo a ese mismo cuerpo.

1
2 6 ENLACES EXTERNOS

Dado un dominio de integridad A , su anillo de poli- 6 Enlaces externos

nomios en n indeterminadas A[X1 , . . . , Xn ] es tam-
bin un dominio de integridad, y por lo tanto se pue- Weisstein, Eric W. Field of fractions. En Weiss-
de construir su cuerpo de fracciones. [7][8] A dicho tein, Eric W. MathWorld (en ingls). Wolfram Re-
cuerpo se le denomina cuerpo de funciones raciona- search.
les con coecientes en A en n indeterminadas, y se
denota K(X1 , . . . , Xn ) .[9]

4 Vase tambin
Anillo de fracciones.
Fraccin.
Nmero racional.

5 Referencias

5.1 Notas
[1] Clark, 2012, p. 175.
[2] Gamboa y Ruiz, 2002, p. 34.
[3] No es necesario que el anillo A tenga identidad multipli-
cativa (Hartley y Hawkes, 1970). En este caso se puede
identicar cada elemento a A con ab b
Q(A) para
cualquier b = 0 .
[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.

5.2 Bibliografa
Carstensen, Celinen; Fine, Benjamin; Rosenberger,
Gerhard (2011). Abstract Algebra: Applications to
Galois Theory, Algebraic Geometry, and Crypto-
graphy.
Clark, Allan (2012). Elements of Abstract Algebra.
Foldes, Stephan (1994). Fundamental structures of
algebra and discrete mathematics.
Gamboa, Jos Manuel; Ruiz, Jess (2002). Anillos y
cuerpos conmutativos (3 edicin). 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.
 3

7 Origen del texto y las imgenes, colaboradores y licencias

7.1 Texto
Cuerpo de fracciones Fuente: https://es.wikipedia.org/wiki/Cuerpo_de_fracciones?oldid=93233502 Colaboradores: Tano4595, Robot-
Quistnix, Echani, Wewe, Lasneyx, Davius, Thijs!bot, Egaida, HiTe, Brobdingnag, SieBot, Manw, Raulshc, SpBot, MelancholieBot, Kyle
the bot, Luckas-bot, Xqbot, WikitanvirBot, Acratta, Legobot y Annimos: 1

7.2 Imgenes

7.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0