AATA Cuerpos de Fracciones

Seção 18.1 Cuerpos de Fracciones

Todo cuerpo es un dominio integral; pero existen muchos dominios integrales que no son cuerpos. Por ejemplo, los enteros

Z

forman un dominio integral pero no un cuerpo. Una pregunta que surge naturalmente es como asociar un dominio integral con un cuerpo. Existe una forma natural de construir los racionales

Q

a partir de los enteros: los racionales pueden ser representados como cocientes de dos enteros. Los números racionales por cierto forman un cuerpo. De hecho, se puede demostrar que los racionales forman el cuerpo más pequeño que contiene a los enteros. Dado un dominio integral

D,

nuestra pregunta ahora es cómo construir un menor cuerpo

F

que contenga a

D .

Haremos esto de la misma forma en que construimos los racionales a partir de los enteros.

🔗

Un elemento

p / q \in Q

es el cociente de dos enteros

p

q;

sin embargo, diferentes pares de enteros pueden representar el mismo número racional. Por ejemplo,

1 / 2 = 2 / 4 = 3 / 6 .

Sabemos que

\frac{a}{b} = \frac{c}{d}

🔗

si y solo si

a d = b c .

Una manera más formal de considerar este problema es examinando las fracciones en términos de relaciones de equivalencia. Podemos pensar los elementos en

Q

como pares ordenados en

Z \times Z .

Un cociente

p / q

puede ser escrito como

(p, q) .

Por ejemplo,

(3, 7)

representaría la fracción

3 / 7 .

Pero, surgen problemas si consideramos todos los pares posibles en

Z \times Z .

No existe la fracción

5 / 0

que corresponda al par

(5, 0) .

Además, los pares

(3, 6)

(2, 4)

ambos representan la fracción

1 / 2 .

El primer problema lo resolvemos de forma sencilla si exigimos que la segunda coordenada sea dstinta de cero. El segundo problema se resuelve considerando dos pares

(a, b)

(c, d)

como equivalentes si y solo si

a d = b c .

🔗

Si usamos la idea de pares ordenados en lugar de fracciones, entonces podemos estudiar dominios integrales en general. Sea

D

un dominio integral cualquiera y sea

S = {(a, b) : a, b \in D y b \neq 0} .

🔗

Definimos una relación en

S

por

(a, b) \sim (c, d)

si y solo si

a d = b c .

🔗

Lema 18.1.1.

La relación $\sim$ entre elementos de $S$ es una relación de equivalencia.

🔗

Demonstração.

Como $D$ es conmutativo, $a b = b a;$ luego, $\sim$ es refleja en $D .$ Ahora supongamos que $(a, b) \sim (c, d) .$ Entonces $a d = b c$ y $c b = d a .$ Por lo tanto, $(c, d) \sim (a, b)$ y la relación es simétrica. Finalmente, para mostrar que la relación es transitiva, sean $(a, b) \sim (c, d)$ y $(c, d) \sim (e, f) .$ En este caso $a d = b c$ y $c f = d e .$ Multiplicando ambos lados de $a d = b c$ por $f$ resulta

a f d = a d f = b c f = b d e = b e d .

Como $D$ es un dominio integral, podemos deducir que $a f = b e$ y $(a, b) \sim (e, f) .$

🔗

Denotaremos el conjunto de clases de equivalencia en

S

por

F_{D} .

Ahora debemos definir las operaciones de adición y multiplicación en

F_{D} .

Recuerde cómo se suman y multiplican las fracciones en

Q :

\begin{aligned} \frac{a}{b} + \frac{c}{d} & = \frac{a d + b c}{b d}; \\ \frac{a}{b} \cdot \frac{c}{d} & = \frac{a c}{b d} . \end{aligned}

🔗

Parece razonable definir las operaciones de adición y multiplicación en

F_{D}

de manera similar. Si denotamos la clase de equivalencia de

(a, b) \in S

por

[a, b],

esto nos lleva a definir las operaciones de adición y multiplicación en

F_{D}

como

[a, b] + [c, d] = [a d + b c, b d]

🔗

[a, b] \cdot [c, d] = [a c, b d],

🔗

respectivamente. El próximos lema demuestra que estas operaciones son independientes de la elección de representantes para cada clase de equivalencia.

🔗

Lema 18.1.2.

Las operaciones de adición y multiplicación en $F_{D}$ están bien-definidas.

🔗

Demonstração.

Demostraremos que la operación de adición está bien-definida. La demostración de que la multiplicación está bien-definida la dejaremos como ejercicio. Sean $[a_{1}, b_{1}] = [a_{2}, b_{2}]$ y $[c_{1}, d_{1}] = [c_{2}, d_{2}] .$ Debemos mostrar que

[a_{1} d_{1} + b_{1} c_{1}, b_{1} d_{1}] = [a_{2} d_{2} + b_{2} c_{2}, b_{2} d_{2}]

o, equivalentemente, que

(a_{1} d_{1} + b_{1} c_{1}) (b_{2} d_{2}) = (b_{1} d_{1}) (a_{2} d_{2} + b_{2} c_{2}) .

Como $[a_{1}, b_{1}] = [a_{2}, b_{2}]$ and $[c_{1}, d_{1}] = [c_{2}, d_{2}],$ sabemos que $a_{1} b_{2} = b_{1} a_{2}$ y $c_{1} d_{2} = d_{1} c_{2} .$ Por lo tanto,

\begin{aligned} (a_{1} d_{1} + b_{1} c_{1}) (b_{2} d_{2}) & = a_{1} d_{1} b_{2} d_{2} + b_{1} c_{1} b_{2} d_{2} \\ = a_{1} b_{2} d_{1} d_{2} + b_{1} b_{2} c_{1} d_{2} \\ = b_{1} a_{2} d_{1} d_{2} + b_{1} b_{2} d_{1} c_{2} \\ = (b_{1} d_{1}) (a_{2} d_{2} + b_{2} c_{2}) . \end{aligned}

🔗

Lema 18.1.3.

El conjunto $F_{D}$ de clases de equivalencia de $S,$ bajo la relación de equivalencia $\sim,$ junto a las operaciones de adición y multiplicación definidas por

\begin{aligned} [a, b] + [c, d] & = [a d + b c, b d] \\ [a, b] \cdot [c, d] & = [a c, b d], \end{aligned}

es un cuerpo.

🔗

Demonstração.

Las identidades aditiva y multiplicativa son $[0, 1]$ y $[1, 1],$ respectivamente. Para mostrar que $[0, 1]$ es la identidad aditiva (o neutro aditivo), observemos que

[a, b] + [0, 1] = [a 1 + b 0, b 1] = [a, b] .

Es fácil mostrar que $[1, 1]$ es la identidad multiplicativa. Sea $[a, b] \in F_{D}$ tal que $a \neq 0 .$ Entonces $[b, a]$ también está en $F_{D}$ y $[a, b] \cdot [b, a] = [1, 1];$ luego, $[b, a]$ es el inverso multiplicativo para $[a, b] .$ Similarmente, $[- a, b]$ es el inverso aditivo de $[a, b] .$ Dejamos como ejercicios la verificación de la asociatividad y la conmutatividad en $F_{D} .$ También dejamos al lector la demostración de que $F_{D}$ es un grupo abeliano con la operación de adición.

Falta demostrar que se cumple la propiedad distributiva en $F_{D};$ pero,

\begin{aligned} [a, b] [e, f] + [c, d] [e, f] & = [a e, b f] + [c e, d f] \\ = [a e d f + b f c e, b d f^{2}] \\ = [a e d + b c e, b d f] \\ = [a d e + b c e, b d f] \\ = ([a, b] + [c, d]) [e, f] \end{aligned}

y el lema está demostrado.

🔗

El cuerpo

F_{D}

en el Lema 18.1.3 se llama cuerpo de fracciones o cuerpo de cocientes del dominio integral

D .

🔗

Teorema 18.1.4.

Sea $D$ un dominio integral. Entonces $D$ puede ser incrustado en un cuerpo de fracciones $F_{D},$ donde cualquier elemento en $F_{D}$ se puede expresar como el cociente de dos elementos en $D .$ Además, el cuerpo de fracciones $F_{D}$ es único en el sentido de que si $E$ es cualquier cuerpo que contiene $D,$ entonces existe una función $ψ : F_{D} \to E$ que da lugar a un isomorfismo con un subcuerpo de $E$ tal que $ψ (a) = a$ para todos los elementos $a \in D,$ donde identificamos $a$ con su imagen en $F_{D} .$

🔗

Demonstração.

Primero demostraremos que $D$ puede ser incrustado en el cuerpo $F_{D} .$ Definamos una función $ϕ : D \to F_{D}$ como $ϕ (a) = [a, 1] .$ Entonces para $a$ y $b$ en $D,$

ϕ (a + b) = [a + b, 1] = [a, 1] + [b, 1] = ϕ (a) + ϕ (b)

ϕ (a b) = [a b, 1] = [a, 1] [b, 1] = ϕ (a) ϕ (b);

es decir, $ϕ$ es un homomorfismo. Para mostrar que $ϕ$ es 1-1, supongamos que $ϕ (a) = ϕ (b) .$ Entonces $[a, 1] = [b, 1],$ y $a = a 1 = 1 b = b .$ Finalmente, cualquier elemento de $F_{D}$ puede ser expresado como el cociente de dos elementos en $D,$ pues

ϕ (a) [ϕ (b)]^{- 1} = [a, 1] [b, 1]^{- 1} = [a, 1] \cdot [1, b] = [a, b] .

Ahora sea $E$ un cuerpo que contenga a $D$ y definamos una función $ψ : F_{D} \to E$ por $ψ ([a, b]) = a b^{- 1} .$ Para mostrar que $ψ$ está bien-definida, sean $[a_{1}, b_{1}] = [a_{2}, b_{2}] .$ Entonces $a_{1} b_{2} = b_{1} a_{2} .$ Por lo tanto, $a_{1} b_{1}^{- 1} = a_{2} b_{2}^{- 1}$ y $ψ ([a_{1}, b_{1}]) = ψ ([a_{2}, b_{2}]) .$

Si $[a, b]$ y $[c, d]$ están en $F_{D},$ entonces

\begin{aligned} ψ ([a, b] + [c, d]) & = ψ ([a d + b c, b d]) \\ = (a d + b c) (b d)^{- 1} \\ = a b^{- 1} + c d^{- 1} \\ = ψ ([a, b]) + ψ ([c, d]) \end{aligned}

\begin{aligned} ψ ([a, b] \cdot [c, d]) & = ψ ([a c, b d]) \\ = (a c) (b d)^{- 1} \\ = a b^{- 1} c d^{- 1} \\ = ψ ([a, b]) ψ ([c, d]) . \end{aligned}

Por lo tanto, $ψ$ es un homomorfismo.

Para completar la demostración, debemos mostrar que $ψ$ es 1-1. Supongamos que $ψ ([a, b]) = a b^{- 1} = 0 .$ Entonces $a = 0 b = 0$ y $[a, b] = [0, b] .$ Por lo tanto, el núcleo de $ψ$ contiene solo el elemento cero $[0, b]$ en $F_{D},$ y $ψ$ es inyectiva.

🔗

Exemplo 18.1.5.

Como $Q$ es un cuerpo, $Q [x]$ es un dominio integral. El cuerpo de fracciones de $Q [x]$ es el conjunto de todas las expresiones racionales $p (x) / q (x),$ donde $p (x)$ y $q (x)$ son polinomios sobre los racionales y $q (x)$ no es el polinomio cero. Denotaremos este cuerpo por $Q (x) .$

🔗

Dejaremos como ejercicios las demostraciones de los siguientes corolarios al Teorema 18.1.4.

🔗

Corolário 18.1.6.

Sea $F$ un cuerpo de característica cero. Entonces $F$ contiene un subcuerpo isomorfo a $Q .$

🔗

Corolário 18.1.7.

Sea $F$ un cuerpo de característica $p .$ Entonces $F$ contiene un subcuerpo isomorfo a $Z_{p} .$