Abrir menú principal

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.

Índice

ConstrucciónEditar

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 cuerpoEditar

SumaEditar

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.

ProductoEditar

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.

DistributividadEditar

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

EjemplosEditar

  • 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énEditar

ReferenciasEditar

NotasEditar

  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íaEditar

  • 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. 

Enlaces externosEditar