Universidad Nacional Pedro Ruiz

Gallo

Facultad de ciencias fı́sicas y

matemáticas

Curso co-curricular de LATEX

Álgebra Homologica:
MODULO DE FRACCIONES

Autor: Docente:
Capuñay Siesquen Y. David Carbajal Ordinola

Lambayeque,Perú
2018
1. Módulo de fracciones
Vamos ahora a estudiar los módulos de fracciones en el caso general no
conmutativo que nos ocupa. Sea A un anillo y sea S un subconjunto multi-
plicativo de A tal que AS −1 existe, sea M un A-módulo a derecha, entonces
el módulo de fracciones a derecha de M respecto de S puede ser definido
y construido en forma análoga a como vimos para los anillos. Veamos las
ideas generales, los detalles de las pruebas los dejamos al lector. En M × S
definimos la relación ≈ por
(m, s) ≈ (n, t) si y solo si, existen c, d ∈ A tales que m·c = n·d y s·c = t·d ∈ S.
Se puede verificar que ≈ es una relación de equivalencia, la clase de (m, s) se
m
denota por y el conjunto de todas las clases por M S −1 . Este último tiene
s
estructura de AS −1 -módulo a derecha respecto de las siguientes operaciones:
m n m·d+n·d
+ := , con u := sc = td ∈ S
s t u
m a m·c
· := , con au := sc, c ∈ A, u ∈ S.
s t tu
El homomorfismo canónico ψ : A → AS −1 dota a M S −1 de estructura natu-
ral de A-módulo derecho y la función canónica
φ
M −→ M S −1
m
m 7→
1
es un homomorfismo de A-módulos derechos con núcleo

ker(φ) = {m ∈ M | m · u = 0, para algún u ∈ S}.

Nótese que ms = 0 si, y sólo si,m ∈ ker(φ): en efecto, si ms = 10 , entonces
m s
s
· 1 = 01 1s , es decir, m1 = 10 , luego existen c, d ∈ A tales que m · c = 0 · d y
1c = d ∈ S. Resulta, m · c = 0, con c ∈ S, es decir, m ∈ ker(f ). La afirmación
recı́proca se prueba en forma análoga.

Proposición 1. (Propiedad Universal) Sea A un anillo que posee ani-

llo de fracciones a derecha respecto del sistema multiplicativo S. Para cada
AS −1 -módulo a derecha N cada A-homomorfismo g : M → N existe un único
AS −1 -homomorfismo h : M S −1 → N tal que el siguiente diagrama conmuta:

1
 φ
M M S −1

g
h

m 1
h es definido por h( ) := g(m) · . Además, si g es inyectivo, entonces h es
s s
también inyectivo.
Demostración. La demostración es un sencillo ejercicio que se deja al lector.

Corolario 1. Sea A un anillo que posee anillo de fracciones a derecha res-

pecto del sistema multiplicativo S. Si N es un AS −1 -módulo a derecha con
A-homomorfismo g : M → N que también cumple la propiedad universal,
entonces N ≈ M S −1 .
Demostración. La demostración es como la del corolario 1.4.4.
A partir de la proposición 1 y de la propiedad universal del producto
tensorial se puede demostrar el AS −1 -isomorfismo de módulos derechos
M S −1 ∼
= M ⊗A AS −1 (1.1)
donde la estructura natural de A-módulo a izquierda de AS −1 está dada por
ψ. Observemos que cada elemento x ∈ M ⊗A AS −1 se puede representar en
ai
la forma m ⊗ 1s , con m ∈ M y s ∈ S. En efecto, si x = ki=1 mi ⊗ , entonces
P
si
k
X ai
x = mi ⊗
i=1
si
s1 1 s1 1 s1 1 s1
x· = m 1 · a1 ⊗ + m2 · a2 ⊗ + · · · + mk · ak ⊗
1 s1 1 s2 1 sk 1
1 a02 a0k
= m1 · a1 ⊗ + m2 · a2 ⊗ 0 + · · · + mk · ak ⊗ 0
1 s2 sk
1 1 1
= m1 · a1 ⊗ + m2 · a002 ⊗ 0 + · · · + mk · a00k ⊗ 0
1 s2 sk

2
si continuamos de esta manera encontramos s ∈ S y m ∈ M tales que
x · 1s = m ⊗ 11 , es decir, x = m ⊗ 1s . El isomorfismo 1.1 identifica precisamente
m
s
con m ⊗ 1s . Otras propiedades relacionadas con los módulos de fracciones
son las siguientes.
Proposición 2. Sea A un anillo que posee anillo de fracciones a derecha
respecto del sistema multiplicativo S. Entonces,
1. Si la siguiente sucesión de A-módulos derechos es exacta
f1 f2
0 −→ M1 −→ M2 −→ M3 −→ 0

entonces la sucesión de AS −1 -módulos derechos

f1 ⊗i f2 ⊗i
0 −→ M1 S −1 −→ M2 S −1 −→ M3 S −1 −→ 0

es también exacta, con i := iAS −1 .

2. Sea M un A-módulo a derecha y N un submódulo de M . Entonces se

tiene el AS −1 -isomorfismo (M/N )S −1 ∼
= M S −1 /N S −1 .
3. Si M es un AS −1 -módulo a derecha, entonces M ∼
= M S −1 .
4. Sea M un A-módulo a derecha. Entonces, M es un AS −1 -módulo a
derecha con un producto ∗ tal que la estructura de A-módulo inducida
por el homomorfismo canónico A → AS −1 coincide con la estructura
inicial de A-módulo de A si, y sólo si, M es sin torsión respecto de S,
es decir, ker(φ) = 0 y M es S-divisible, es decir, para cada s ∈ S se
tiene que M = M · s.

5. Sea M un A-módulo derecho. M es de torsión respecto de S si, y sólo

si, M S −1 = 0.

6. Sean M y N AS −1 -módulos a derecha y sea f : M → N n A-homomorfismo,

entonces f es un AS −1 homomorfismo.
Demostración. (i).Teniendo en cuenta el isomorfismo 1.1 que el producto
f
tensorial preserva exactitud a derecha, basta probar que si M −→ N es un
f ⊗i
monomorfismo, entonces M ⊗ AS −1 −→ N ⊗ N S −1 es también un monomor-
fismo, con i := iAS −1 . Cada elemento x de M ⊗AS −1 es de la forma x = m⊗ 1s ,
con m ∈ M y s ∈ S; supongamos que (f ⊗ i)(x) = 0, es decir, f (m) ⊗ 1s = 0,

3
entonces f (m)
s
= 0 en N S −1 , luego existe t ∈ S tal que f (m) · t = 0, para
algún t ∈ S, es decir, f (m · t) = 0, de donde m · t = 0. Esto quiere decir que
m
s
= 0 y ası́ m ⊗ 1s = 0.
(ii) es consecuencia directa de (i).
(iii) Si M es un AS −1 -módulo con producto ∗ entonces M adquiere estruc-
tura de A-módulo mediante el homomorfismo canónico A → AS −1 dada por
m ◦ a := m ∗ a1 . Con esta estructura construimos el AS −1 -módulo M S −1 .
Además MAS −1 tiene estructura de A-módulo a partir de ∗, ero esta estruc-
a
tura coincide con la dada por ◦. En efecto, m ∗ a := m ∗ = m ◦ a.
1
Tenemos entonces el siguiente diagrama conmutativo

φ
MA M S −1

g
h

MAS −1

donde φ es el A-homomorfismo canónico y g se define por g(m) := m, es

decir, g es la función idéntica. Nótese que g es un A-homomorfismo : g es
claramente adidtivo, g(m ◦ a) = g(m ∗ a1 ) = m ∗ a1 = g(m) ∗ a. La propiedad
universal de M S −1 garantiza la existencia del AS −1 -homomorfismo h dado
por h( ms ) := g(m) ∗ 1s = m ∗ 1s . Veamos que h es biyectivo: si h( ms ) = 0,
entonces m ∗ 1s = 0, luego (m ∗ 1s ) ∗ 1s = 0, luego 0 = m ∗ ( 1s 1s ) = m ∗ 11 = m,
de donde ms = 01 ; además, m = m ∗ 11 = h( m1 ).
(iv)⇒ Sea · el producto de la estructura dada de A-módulo que tiene M ; sea
∗ el producto que dota a M de una estructura de AS −1 módulo, entonces
por hipótesis, el producto ◦ inducido por esta última estructura coincide con
·, es decir, m · a = m ◦ a := m ∗ a1 . Sean m ∈ M y s ∈ S tales que m · s = 0,
entonces m ∗ 1s = 0, luego (m ∗ 1s ) ∗ ( 1s ) = 0, de donde m = 0. Además dados
m ∈ M y u ∈ S, se tiene que m = (m ∗ u1 ) ∗ ( u1 ) = (m ∗ u1 ) ∗ u, es decir,
M ⊆ M · u, luego M = M · u.
⇐ Sean m ∈ M y as ∈ AS −1 , debemos definir un producto m ∗ as . Puesto
que M es S-divisible, existe m0 ∈ M tales que m · a = m0 · s, luego defi-
nimos m ∗ as := m0 . Sean m0 , m00 ∈ M tales que m · a = m00 · s, por tanto
(m0 − m00 ) · s = 0, de donde m0 = m00 ya que M sin torsión respecto de S.

4
Es fácil probar que ∗ está bien definido y dota a M de estructura de AS −1 -
módulo a derecha.
(v) Evidente.
(vi) Sea f (z ∗ as ) := y, entonces f (z ∗ as ) ∗ 1s = y ∗ 1s , luego f (z ◦ a) = y ∗ 1s ,es
decir, f (z) ◦ a = y ∗ 1s , con lo cual f (z) ∗ as = y.

Corolario 2. Sea A un anillo que posee anillo de fracciones a derecha res-

pecto del sistema multiplicativo S. Entonces, S −1 : M odA → M odAS −1 es un
funtor covariante, aditivo y exacto..

Demostración. Los detalles de la prueba los dejamos al lector.

Observación 1. El módulo de fracciones a izquierda de M respecto de S

se define y construye en forma completamente análoga a como acabamos de
ver, y se denota por S −1 M .

Observación 2. En forma similar a como anotamos en la observación 1.,

los módulos de fracciones sobre anillos conmutativos siempre existen y su
estructura se puede simplificar: en efecto, la relación ≈ en este caso toma la
forma
(m, s) ≈ (n, t) si y solo si, existen u ∈ S tales que m · tu = n · su para algún
s ∈ S.
Las operaciones se definen por
m n m·t+n·s m a m·a
+ := , · :=
s t st s t st
En el caso particular en que S := R − P , con P un primo de R, el módulo
localizado se denota por MP .
Incluimos a continuación otras propiedades adicionales de los módulos de
fracciones pero sobre anillos conmutativos.

Proposición 3. Sean A un anillo, R un anillo conmutativo contenido en

A y S un subconjunto multiplicativo de R tal que AS −1 existe. Entonces se
tiene el isomorfismo de anillos y de A-módulos izquierdos.

A ⊗R RS −1 ∼
= AS −1
Demostración. A ⊗R RS −1 como anillo corresponde al producto tensorial de
las R-álgebras A y RS −1 . La función g : A → A⊗R RS −1 definida por g(a) :=

5
a ⊗ 1 es un homomorfismo de anillos y satisface g(S) ⊆ (A ⊗R RS −1 )∗. La
proposición 1.4.3 induce un homomorfismo de anillos h : AS −1 → A⊗R RS −1
dado por h( as ) := g(a)g(s)−1 = (a⊗1)(1⊗ 1s ) = a⊗ 1s . Por otro lado, la función
f 0 : A × RS −1 → AS −1 definida por f 0 (a, rs ) := ar s
es bilineal y R-balanceada,
luego existe un homomorfismo de grupos abelianos f : A ⊗R RS −1 → AS −1
definido por f (a ⊗ rs ) := ar s
. Nótese que hf = iA⊗RS −1 y f h = iAS −1 , luego h
es un isomomorfismo de anillos.
Veamos que además h es un homomorfismo de A-módulos izquierdos:
0 0
h(a0 · as ) = h( a1 as ) = h( asa ) = a0 a ⊗ 1s = a0 · (a ⊗ 1s ) = a0 · h( as ).
Proposición 4. Sean R un anillo conmutativo, S un sistema multiplicativo
de R y M, N módulos sobre R. Entonces,
(M ⊗R N )S −1 ∼
= M S −1 ⊗RS −1 N S −1
Demostración. En el siguiente diagrama conmutativo

t
M S −1 × N S −1 M S −1 ⊗RS −1 N S −1

h0
h

(M ⊗R N )S −1

t( ms , nr ) := ms ⊗ nr , h0 ( ms , nr ) := m⊗n
sr
, h( ms ⊗ nr ) := m⊗n
sr
, t y h0 son bilineales y
RS −1 balanceadas, luego por la propiedad universal del producto tensorial,
h queda bien definida y es un RS −1 -homomorfismo.
De otra parte, se tiene el siguiente diagrama conmutativo

t0
M ×N M ⊗R N

g 00
g0

M S −1 ⊗RS −1 N S −1

con t0 (m, n) := m ⊗ n, g 00 (m, n) := m

1
⊗ n
1
,g 0 (m ⊗ n) := m
1
⊗ n1 , t0 y g 00 son

6
bilineales y R-balanceadas, luego g 0 (m ⊗ n := m1 ⊗ n1 está bien definida y es
un R-homomorfismo. Según la proposición 1, existe un RS −1 -homomorfismo
g : (M ⊗R N )S −1 → M S −1 ⊗RS −1 N S −1 definido por g( zs ) := g 0 (z)· 1s , con z ∈
M ⊗R N . Se puede probar fácilmente que hg = i(M ⊗N )S −1 , gh = iM S −1 ⊗N S −1 .
Sea q una propiedad de un anillo R (o de un R-módulo M ). Se dice que
q es una propiedad local-global para R (para M ) si se cumple la siguiente
condición: R (respectivamente M ) tiene la propiedad q si, y sólo si, para todo
primo P ,RP (respectivamente MP ) tiene la propiedad q.
Proposición 5. Sean R un anillo conmutativo y M un R-módulo. Entonces
las siguientes condiciones son equivalentes:
1. M = 0.
2. MP = 0 para cada ideal primo P .
3. MP = 0para cada ideal maximal de P .
Demostración. (i)⇒(ii)⇒(iii) son evidentes.
(iii)⇒(i): supongamos que M 6= 0, entonces existe 0 6= m ∈ M y Ann(x) 6=
R, por lo tanto, existe un ideal maximal P de R tal que Ann(x) ⊆ P . Pero
como MP = 0, entonces m1 = 01 , con lo cual existe s tal que m · s = 0, pero
esto es contradictorio ya que s ∈ Ann(x).
Proposición 6. Sean R un anillo conmutativo y f : M → N un homomor-
fismo de R-módulos. Entonces las siguientes condiciones son equivalentes:
1. f es inyectivo (sobreyectivo, biyectivo).
2. fP es inyectivo (sobreyectivo, biyectivo) para cada primo P .
3. fP es inyectivo (sobreyectivo, biyectivo) para cada ideal maximal P .
Demostración. La prueba de estas afirmaciones es un sencillo ejercicio que
resulta de aplicar la proposición anterior.
Proposición 7. Sea M un R-módulo proyectivo finitamente generado. En-
tonces, para cada ideal primo P de R, MP es un RP -módulo libre de dimen-
sión finita.
Demostración. Según la propiedad (k) de la sección 1.3, MP es un RP -módulo
proyectivo f.g., luego por el teorema de Kaplansky (teorema 1.3.3), MP es
RP -libre de dimensión finita.

7
 Sean R un anillo conmutativo y M un R-módulo proyectivo finitamente
generado, se dice que M es de rango constante n si dimRP (MP ) = n, para
cada ideal primo P de R. Se escribe entonces rankP (M ) = n.
Vimos en la demostración del teorema de Kaplansky que M/P M es un es-
pacio vectorial sobre el cuerpo R/P , donde P es un maximal de R. Si M es
proyectivo de rango constante n, entonces se tiene la siguiente relación entre
n y la dimensión del espacio M/P M .

Referencias
[1] Oswaldo Lezama Cuadernos de Álgebra Homologica. 2014.