Abstraction & Application 13 (2015) 27 36

UADY

El Teorema de Silver
Juan Jose Canales Castillo , Jes
us Efren Perez Terrazas

Facultad de Matematicas, Universidad Autonoma de Yucatan

jperezt@correo.uady.mx
Abstract

Given a homomorphism of unitary rings : R S, Silvers theorem says that the scalar restriction
functor F is full if and only if is a categorical epimorphism. We recall an elementary proof, we provide
examples of ring epimorphisms and some basic properties.
Resumen
Dado un epimorfismo de anillos unitarios : R S el Teorema de Silver indica que el funtor restricci
on de escalares F es pleno si y solo si es un epimorfismo (categ
orico). Se recuerda una demostraci
on
elemental, se presentan ejemplos de epimorfismos entre anillos y algunas de sus propiedades.

Keywords and phrases : Anillos, centro, epimorfismo de anillos, producto tensorial, Teorema de Silver.
2010 M athematics Subject Classif ication : 16-01, 16B50

1.

Introducci
on
En este escrito todo anillo tiene unitario, denotado como 1, y se asumira que 1 6= 0.

Dado un anillo R, en el estudio de los Rmodulos y sus propiedades con frecuencia se utiliza la existencia
de un anillo S del que ya se conocen resultados acerca de los Smodulos, y se transfieren dichos resultados a
los Rm
odulos. Por ejemplo, mediante una equivalencia de Morita se puede clasificar a los M2 (k) modulos,
donde k es un campo y M2 (k) es el anillo de matrices de tama
no 2 por 2 con entradas en k : resulta que los
M2 (k) m
odulos se pueden identificar con parejas (V, V ) , donde V es un kespacio vectorial, y ya sabemos
que los kespacios vectoriales est
an completamente determinados, hasta isomorfa, por su dimension.
Otro caso en que se pueden aplicar ideas similares se presenta cuando se tiene un homomorfismo de anillos
unitarios : R S, situaci
on que vamos a analizar en las siguientes paginas, comenzando por recordar las
definiciones y conceptos b
asicos en la seccion 2, mientras que en la seccion 3 recordamos que es el funtor
restricci
on de escalares y algunos ejemplos de epimorfismos de anillos; en la seccion 4 ya se demuestra el
Teorema de Silver, mientras que en la quinta seccion se muestran varios ejemplos que son de interes en

la Teora de Representaciones de Algebras

y donde se puede aplicar el mencionado teorema. En la u
ltima
secci
on revisamos algunas propiedades de los epimorfismos de anillos unitarios, lo que puede ser u
til para
determinar cu
ando un homomorfismo de anillos unitarios es o no un epimorfismo.
El presente artculo se clasifica como de revision y esta enfocado a un tema especializado de Matem
aticas, por lo que si bien la secci
on 2 es un listado de definiciones, el material que le sigue requiere que el lector
27

28

El Teorema de Silver

este familiarizado con las nociones de anillos, inversion de subconjuntos multiplicativos, endomorfismos, matrices, anillos de polinomios y al final con el producto tensorial, as como que este dispuesto a verificar por
su cuenta las afirmaciones para las que no se proporciona una prueba.

2.

Nociones elementales

Definici
on 2.1 Dados los anillos R y S, se dice que la funcion : R S es un morfismo de anillos
unitarios si para r R, s S, y sus respectivos unitarios 1R y 1S , se cumple que:
(r + s) = (r) + (s),
(rs) = (r)(s)
(1R ) = 1S .
Definici
on 2.2 Sea R un anillo. Un R m
odulo izquierdo es un grupo abeliano (A, +) junto con una
multiplicaci
on por un escalar, es decir, existe una funcion : R A A que satisface, para r, r1 , r2 R
y a, a1 , a2 A :
1. (r1 + r2 , a) = (r1 , a) + (r2 , a) .
2. (r, a1 + a2 ) = (r, a1 ) + (r, a2 ) .
3. (1R , a) = a.
4. (r1 r2 , a) = (r1 , (r2 , a)) .
Por simplicidad denotaremos (r, a) como ra.
Ahora recordemos la definici
on de categora.
Definici
on 2.3 Una categora C consiste en una clase de objetos denotada por obj C, junto con una regla de
correspondencia denotada Hom que asigna a cada par A, B obj C un conjunto de morfismos HomC (A, B)
de A a B, y una composici
on
HomC (B, C) HomC (A, B) HomC (A, C)
(g, f ) 7 g f
que satisface los siguientes axiomas:
1. Es asociativa: si h HomC (C, D) , g HomC (B, C) y f HomC (A, B) , entonces (h g) f =
h (g f ) .
2. Cada HomC (A, A) contiene un elemento distinguido idA , el cual es una identidad. Esto es, si f
HomC (A, B) , entonces f = f idA = idB f.
Definici
on 2.4 Sean C y D categoras. Un funtor F (covariante) entre las categoras C y D es una regla de
correspondencia de obj C a obj D que cumple lo siguiente:
1. A cada X obj C le asigna un objeto F (X) en obj D.
2. A cada morfismo f : X Y en C se le asigna un morfismo F (f ) : F (X) F (Y ) en D de manera
que se cumplen las siguientes condiciones:

J. Canales, E. Perez

29

F (idX ) = idF (X) para todo X obj C.

F (g f ) = F (g) F (f ) para todos los morfismos f : X Y y g : Y Z en C.
Al fijar los objetos X, Y de C se tiene que el funtor F induce una funcion entre conjuntos
FX,Y : HomC (X, Y ) HomD (F (X), F (Y )) .
Se dice que F es fiel si para cada pareja X, Y de C se cumple que FX,Y es inyectiva, y que F es pleno si
para cada pareja X, Y de C se cumple que FX,Y es suprayectiva.
Dado un anillo R se denotar
a como RMod a la categora de los Rmodulos izquierdos.
Definici
on 2.5 Una funci
on f : A B entre dos Rmodulos izquierdos A y B es un Rhomomorfismo
si
f (a + a0 ) = f (a) + f (a0 ) y f (ra) = rf (a),
para cualesquiera a, a0 A y r R.
Junto con estas definiciones es posible encontrar mucha informacion complementaria en internet y en
libros, por lo que dejaremos al lector la obtencion de tales herramientas adicionales.

3.

El funtor restricci
on de escalares

Dado un morfismo de anillos unitarios : R S se induce un funtor F : S Mod R Mod : sean

M S Mod y f : M N un Shomomorfismo, entonces F (M ) = M y F (f ) = f, donde al Sm
odulo
M se le asocia la estructura can
onica de Rmodulo dada por rm = (r)m, con r R y m M.
No es difcil verificar que F es un funtor, al cual se le conoce como el funtor restriccion de escalares.
Observemos que dados M, N SMod se tiene una inclusion (F )M,N : HomS (M, N ) HomR (M, N ) ,
luego F es fiel.
Notemos que si : R C es la inclusi
on canonica y elegimos M = N = C, entonces la conjugacion usual
: C C es un homomorfismo de espacios vectoriales reales, pero no de espacios vectoriales complejos, por
lo que en este caso F no es un funtor pleno.
El Teorema de Silver se
nala que la plenitud del funtor F es equivalente a una propiedad de que a
continuaci
on recordamos y ejemplificamos.
Definici
on 3.1 Se dice que el morfismo de anillos unitarios : R S es un epimorfismo si para cada pareja
de morfismos de anillos unitarios 1 , 2 : S T la identidad 1 = 2 implica la identidad 1 = 2 .
Observaci
on 3.2 Si el morfismo de anillos unitarios : R S es una funcion suprayectiva entonces es un
epimorfismo.
Veamos que un epimorfismo de anillos no necesariamente es una funcion suprayectiva.
Ejemplo 3.3 Sea : Z , Q la inclusi
on canonica, es decir que (n) =
de anillos unitarios.

n
1,

y sean 1 , 2 : Q T morfismos

Sea n un entero positivo y denotemos n = 1T + . . . + 1T donde hay n sumandos. Entonces tenemos, para
i {1, 2} , que
 
 
 
 
n
1
1
1
1
i
n = ni
= i
+ . . . + i
= i
= 1T ,
n
n
n
n
n

30

El Teorema de Silver
es el u
nico inverso multiplicativo de n en T, lo que denotamos como n1 .


De la regla de los signos para anillos se sigue que i 1
= n1 .
n


1
Entonces es f
acil verificar que i m
, para i {1, 2} y m Z, luego 1 = 2 .
n = mn

luego i

1
n



Ejemplo 3.4 Sean R un dominio entero, c R {0} y S = 1, c, c2 , . . . , cn , . . . , el subconjunto multiplicativo generado: la inclusi
on can
onica : R RS 1 es un epimorfismo
unitarios, pues si

de anillos
1
1
: RS
T es un morfismo de anillos unitarios necesariamente c1 = ((c)) , lo que podemos
verificar con un argumento similar al del ejemplo previo.

4.

El Teorema de Silver

Sea M un Sm
odulo izquierdo, y recordemos que en particular M es un grupo abeliano. Se denota por
EndZ (M ) al conjunto de homomorfismos de grupos f : M M, esto es, al conjunto de endomorfismos
de grupos de M. Es conocido que EndZ (M ) tiene una estructura canonica de anillo unitario, donde la
multiplicaci
on se corresponde con la composicion usual de funciones y la funcion identidad es el unitario, y
es claro que si M no es el m
odulo cero entonces la funcion identidad es diferente del endomorfismo cero.
El siguiente resultado es parte del corolario 1.3 de [6], mientras que la prueba que se muestra la tomamos
de [2] y solo le agregamos detalles.
Teorema 4.1 [Teorema de Silver] Sea : R S un morfismo de anillos unitarios. F es un funtor
pleno si y solo si es un epimorfismo.
Demostraci
on: Consideremos M, N S Mod, entonces la accion de S sobre cada uno de los modulos
induce morfismos de anillos unitarios M : S EndZ (M ) y N : S EndZ (N ) dados por M (s)[m] = sm
y N (s)[n] = sn.
Sea g HomR (F (M ) , F (N )) . Se define g : S EndZ (M N ) como

g (s) =

es decir que g (s)

m
n




=

M (s)
0
N (s)g gM (s) N (s)


,

M (s)[m]
N (s) [g(m)] g (M (s)[m]) + N (s)[n]


=

sm
sg(m) g (sm) + sn

Verifiquemos que g es un morfismo de anillos unitarios:


g (1s )

m
n




=

1S m
1S g(m) g (1S m) + 1S n


=

m
g(m) g (m) + n


=

m
n

es decir que g (1s ) es el homomorfismo identidad.

Dados s1 , s2 S tenemos que

 

m
(s1 + s2 ) m
g (s1 + s2 )
=
n
(s1 + s2 ) g(m) g ((s1 + s2 ) m) + (s1 + s2 ) n

 

s1 m
s2 m
=
+
s1 g(m) g (s1 m) + s1 n
s2 g(m) g (s2 m) + s2 n




m
m
= g (s1 )
+ g (s2 )
,
n
n
luego g (s1 + s2 ) = g (s1 ) + g (s2 ) .


.

J. Canales, E. Perez

31

Dados s1 , s2 S tenemos que




m
g (s1 ) g (s2 )
=
n


g (s1 )

s2 m
s2 g(m) g (s2 m) + s2 n



s1 s2 m
s1 g (s2 m) g (s1 s2 m) + s1 (s2 g(m) g (s2 m) + s2 n)


s1 s2 m
=
s1 s2 g(m) g (s1 s2 m) + s1 s2 n


m
= g (s1 s2 )
,
n

luego g (s1 ) g (s2 ) = g (s1 s2 ) .

Denotemos por 0 al homomorfismo cero de M en N, y notemos que g = 0 si y solo si g es un
homomorfismo de Sm
odulos.
Como g es un Rhomomorfismo se cumple que g = 0 .
Luego, si suponemos que es un epimorfismo de anillos unitarios, obtenemos que todo homomorfismo
de Rm
odulos de F (M ) en F (N ) es un homomorfismo de Smodulos, as que F es un funtor pleno.
Ahora supongamos que F es un funtor pleno.
Sean 1 , 2 : S T morfismos de anillos unitarios tales que 1 = 2 .
Notemos que a traves de i se induce una estructura de Smodulo sobre T para cada i, es decir que
F1 (T ) = T1 y F2 (T ) = T2 , donde T1 = T = T2 como grupos bajo la suma.
La identidad de las composiciones nos indica que F (T1 ) = T 0 = F (T2 ) como Rmodulos, as que
el morfismo identidad pertenece a los Rmorfismos de F (T1 ) en F (T2 ) ; por plenitud de F existe un
Smorfismo f : T1 T2 tal que F (f ) es la identidad de T 0 : es claro que f (t) = t para cada t. Se sigue
que 2 (s) = s1T = sf (1T ) = f (s1T ) = f (1 (s)) = 1 (s) para cada s, por lo que 1 = 2 , as que es un
epimorfismo.

En el ejemplo 3.3 vimos que la inclusion canonica de los enteros en los racionales es un epimorfismo
de anillos, as que del teorema previo, 4.1, podemos concluir que si V y W son Qespacios vectoriales,
entonces las transformaciones Qlineales de V en W coinciden con los homomorfismos de grupos, es decir,
HomQ (V, W ) = HomZ (V, W ) . Por ejemplo, si elegimos V = W = Q, tenemos que si f EndZ (Q) entonces
existe un racional qf tal que f (q) = qqf para cada racional q.
N
otese que el funtor restricci
on de escalares inducido por el epimorfismo del ejemplo 3.3 no es denso,
pues no todo grupo abeliano tiene estructura de espacio vectorial sobre los racionales, como es el caso de los
grupos abelianos finitos.
Corolario 4.2 Sean : R S y 0 : S S 0 morfismos de anillos unitarios:
1. Si y 0 son epimorfismos entonces 0 es un epimorfismo.
2. Si 0 es un epimorfismo entonces 0 es un epimorfismo. Si adem
as F0 es un funtor denso, entonces
tambien es un epimorfismo.
Demostraci
on: Sean 1 , 2 : S 0 T morfismos de anillos unitarios.
1.- Supongamos que y 0 son epimorfismos y que 1 0 = 2 0 ; como es epimorfismo se cumple la
identidad 1 0 = 2 0 , y como 0 es epimorfismo se cumple la identidad 1 = 2 : se ha verificado que 0 es
un epimorfismo.
2.- Ahora comencemos por suponer que 0 es un epimorfismo y que se cumple que 1 0 = 2 0 , luego
1 ( 0 ) = 2 ( 0 ) , por lo que 1 = 2 : se ha exhibido que 0 es un epimorfismo.

32

El Teorema de Silver

Por el teorema 4.1 el funtor F0 es pleno, y por la identidad F0 = F F0 se tiene que F es pleno si
F0 es denso, as que por el mismo teorema es un epimorfismo.

Observaci
on 4.3 Sean R un anillo y R[x] el respectivo anillo de polinomios, entonces la inclusion can
onica
j : R R[x] es un morfismo de anillos unitarios pero no es un epimorfismo, pues los morfismos de anillos
identidad Id : R[x] R[x] y la evaluaci
on cero evals=0 : R[x] R[x] claramente son distintos entre s, y
cumplen que evals=0 j = Idj = j.
Por otra parte, la respectiva evaluaci
on cero eval0s=0 : R[x] R es un morfismo de anillos unitarios
suprayectivo, y se cumple que la composicion eval0s=0 j es la identidad de R en R, la que obviamente es un
epimorfismo.
Observaci
on 4.4 La condici
on adicional del segundo inciso del corolario 4.2 en realidad es restrictiva: si 0
0
es un epimorfismo entonces es un epimorfismo, luego por el teorema 4.1 se tiene que F0 es un funtor pleno,
y claramente es fiel, as que si adem
as suponemos que es denso entonces es una equivalencia de categoras.

5.

Algunos ejemplos de epimorfismos

En esta secci
on k denotar
a un campo arbitrario, mientras que k hx1 , x2 , . . . , xn i es la kalgebra generada
por n variables no conmutativas.

5.1.

Polinomios

Propiedad Universal de k hx1 , x2 , . . . , xn i: Sean una kalgebra y 1 , 2 , . . . , n elementos

arbitrarios. Existe un u
nico morfismo de kalgebras : k hx1 , x2 , . . . , xn i tal que (xi ) = i para cada
i, el cual es conocido como morfismo de evaluacion. (Este enunciado se puede generalizar, ver proposici
on
1.3.15 de [5]).
Sean m, n enteros positivos con m n. Sea : {1, . . . , n} {1, . . . , m} una funcion inyectiva. Por la
propiedad universal existe un u
nico morfismo de kalgebras : k hx1 , x2 , . . . , xm i k hy1 , y2 , . . . , yn i tal
que (xi ) = 0 si i
/ Im y (xi ) = y1 (i) si i Im.
Es claro que es suprayectivo, as que por el teorema 4.1 se tiene que el funtor restriccion de escalares
F : k hy1 , y2 , . . . , yn i Mod k hx1 , x2 , . . . , xm i Mod es pleno.
Notemos que este ejemplo en particular nos indica que hay al menos dos formas canonicas de sumergir
la categora k[x]Mod en k hy, zi Mod, y destaquemos que en la primera categora son bien conocidos los
m
odulos de dimensi
on finita, por ser k[x] un dominio de ideales principales, mientras que en k hy, zi Mod
no han sido clasificados los m
odulos de dimension finita (es un problema de tipo salvaje, ver el captulo 22
de [2]).

5.2.

Anillos de matrices triangulares

Sean m, n enteros positivos tales que m n. Sea : {1, . . . , n} {1, . . . , m} una funcion inyectiva.
Denotemos por enj al jesimo vector canonico de k n y por em
esimo vector canonico de k m .
i al i
Existe una u
nica transformaci
on klineal T : k m k n determinada por T (em
/ Im y
i ) = 0 si i
m
n
T (ei ) = e1 (i) si i Im.
Luego existe un morfismo de anillos unitarios suprayectivo





k 0
k 0
c1
:

dado por
km k
kn k
v

0
c2




=

c1
0
T (v) c2


.

J. Canales, E. Perez

5.3.

33

Anillos de matrices triangulares y polinomios

Hay un morfismo de anillos unitarios





k 0
k hx1 , x2 , . . . , xn1 i k hx1 , x2 , . . . , xn1 i
:

kn k
k hx1 , x2 , . . . , xn1 i k hx1 , x2 , . . . , xn1 i
dado por (en este momento la t significa transponer, es decir que el vector es vertical)


c01
t
(c0 , c1 , . . . , cn1 )

0
c02




=

c0 +

c01
Pn1
i=1

0
c02

ci xi


.

Verifiquemos que es un epimorfismo, suponiendo morfismos de anillos unitarios



k hx1 , x2 , . . . , xn1 i k hx1 , x2 , . . . , xn1 i
1 , 2 :
T
k hx1 , x2 , . . . , xn1 i k hx1 , x2 , . . . , xn1 i
tales que 1 = 2 .
N
otese que 1 y 2 coinciden sobre las matrices




1 0
0 0
,
,
0 0
1 0

0
0

0
1

0
xi

0
1

0
0

0
0

para i {1, . . . , n 1} .

Denotemos como j


0 0
1
= t000 .
0 1

0
0

1
0




= tj , para j {1, 2} , 1



= t0 , 1



1
0

0
0



= t00 y

Luego se tienen las identidades t1 t0 = t00 , t2 t0 = t00 , t0 t1 = t000 , t0 t2 = t000 , t1 t000 = t1 y t2 t000 = t2 , as que
(t1 t2 ) t0 = 0 y (t1 t2 ) = (t1 t2 ) t000 = (t1 t2 ) t0 t1 = 0t1 = 0, es decir que t1 = t2 .
Entonces 1 y 2 coinciden en un conjunto de matrices que generan a todas las posibles matrices del
dominio, por lo que dichos morfismos son iguales.
Luego, el teorema
4.1 nos

 indica, en particular, que es posible sumergir la categora k[x]Mod en la
k 0
categora de los
m
odulos izquierdos, lo que se aplica en la clasificacion de los modulos de
k2 k

dimensi
on finita correspondientes a la llamada Algebra
de Kronecker (ver seccion 7 del captulo 8 de [1]).
Una idea similar se puede encontrar en la proposicion 3.9 de [4], donde se estudian anillos de divisi
on y
bim
odulos.

6.

Algunas propiedades de los epimorfismos de anillos unitarios

El siguiente resultado es la proposici

on 1.1 de [6], y aqu mostramos una prueba que nos pareci
o m
as
natural.
Proposici
on 6.1 Sea : R S un morfismo de anillos unitarios, entonces es un epimorfismo si y solo
si el mapeo can
onico m : S R S S inducido por la multiplicaci
on es un isomorfismo.
Demostraci
on: Sean j1 : S S R S y j2 : S S R S los homomorfismos de grupos dados por
j1 (s) = s 1 y j2 (s) = 1 s.

34

El Teorema de Silver

Si suponemos que m es un isomorfismo entonces necesariamente s 1 = 1 s para cada s S, luego

j1 = j2 .
Sean 1 , 2 : S T morfismos de anillos unitarios tales que 1 = 2 , los cuales inducen la misma
estructura de R Rbim
odulo sobre T. Luego se tienen el mapeo canonico inducido por la multiplicaci
on,
m0 : T R T T, es decir, m0 (t1 t2 ) = t1 t2 , y el mapeo 1 2 : S R S T R T.
Consideremos las composiciones
S
S

j1

/ S R S

1 2

/ T R T

m0

/T

j2

/ S R S

1 2

/ T R T

m0

/T

y notemos que 1 = m0 (1 2 ) j1 y que m0 (1 2 ) j2 = 2 : como se tiene que j1 = j2 entonces 1 = 2 ,

es decir que es un epimorfismo.
Ahora supongamos que es un epimorfismo: por el teorema 4.1 tenemos que HomR (S, S R S) =
HomS (S, S R S) ; es inmediato que j2 HomR (S, S R S) , luego j2 tiene que ser un homomorfismo de
Sm
odulos izquierdos,Plo que solo es posible
s S. Como consecuencia se
Pn si 1 s = s 1 paraPcada
n
n
tienen las identidades i=1 (s1,i s2,1 ) = i=1 (1 s1,i s2,1 ) = 1 ( i=1 s1,i s2,1 ) , de las que se sigue que
j2 es suprayectiva; notemos que mj2 es el morfismo identidad sobre S, luego j2 y m son isomorfismos de
S Sbim
odulos.

Observaci
on 6.2 Es f
acil verificar que hay un homomorfismo canonico y suprayectivo de R Rbimodulos
R Z R R Q R, y es conocido que R tiene dimension infinita como Qespacio vectorial, luego R Q R  R
como bim
odulos, lo que implica que R Z R  R como bimodulos, por lo que la proposicion 6.1 nos indica
que las inclusiones can
onicas Z R y Q R no son epimorfismos.
Corolario 6.3 (1.2 de [6]) Sea : R S un epimorfismo de anillos unitarios.
1. enva al centro de R en el centro de S.
2. Si R es conmutativo entonces S es conmutativo.
3. Si R es un campo entonces es un isomorfismo.
Demostraci
on:
1.- Denotemos por C al centro de R, y notemos que S es un Cmodulo izquierdo bajo la accion cs = s(c)
para s S y c C. M
as a
un, como los elementos de C conmutan con los de R se tiene que S R S es un
Cm
odulo izquierdo.
Por la proposici
on 6.1 se cumple que s 1 = 1 s para s S, luego 0 = c (s 1 1 s) = s(c) 1
(c) s = 1 s(c) 1 (c)s, por lo que s(c) = (c)s para s S y c C.
2.- Por el inciso previo Im est
a contenido en el centro de S, as que S R S op es un anillo, donde S op es
el anillo opuesto a S, es decir que son iguales como grupos abelianos pero que la multiplicacion de S op es la
multiplicaci
on de S en el orden opuesto: s1 s2 = s2 s1 para s1 , s2 S.
Adem
as S es un S R S op m
odulo bajo la accion determinada por (s1 s2 ) s = s1 ss2 .
Dado que por la proposici
on 6.1 tenemos que s 1 = 1 s, se sigue que 0 = (s 1 1 s) s0 = ss0 s0 s
0
para s, s S.
3.- Es claro que es inyectivo y por el inciso previo S es conmutativo.
Sean R0 = (R) y s S y consideremos el subanillo generado por R0 y s, al que vamos a denotar R0 [s].
Es sencillo verificar, por ejemplo usando el corolario 4.2, que la inclusion canonica j : R0 S es un
epimorfismo, luego, por la proposici
on 6.1 se tiene un isomorfismo m : S R0 S S.

J. Canales, E. Perez

35

Es conocido que tensorizar sobre un campo proporciona un funtor exacto (aplicar, por ejemplo, el corolario
jj

1.7.23 de [5]), es decir que tenemos un homomorfismo inyectivo R0 [s] R0 R0 [s] S R0 S.

Es claro que Im (m (j j)) = R0 [s], as que m (j j) : R0 [s] R0 R0 [s] R0 [s] es un isomorfismo.
Si s fuese trascendente sobre R0 entonces se inducira un isomorfismo de R0 algebras R0 [x, y] R0 [z],
lo que es imposible (uno es un Dominio de Ideales Principales y el otro no).
Si s es algebraico sobre R0 usamos que m (j j) es una transformacion R0 lineal, por lo que para el
natural n = dimR0 (R0 [s]) se cumple que n2 = n, luego n = 1 y as s R0 : se ha mostrado que R0 = S. 
Ahora es f
acil demostrar la versi
on conmutativa de 4.1.2 de [3].
Corolario 6.4 Sea : R S un epimorfismo de anillos unitarios con R conmutativo. Si cada elemento de
(R) {0} tiene inverso multiplicativo en S entonces S es igual al campo generado por (R).
Demostraci
on: Recordemos que por el corolario 6.3 el anillo S es conmutativo.
1

Sea K el campo contenido en S generado por (R) y factoricemos como R K S, donde j es la

inclusi
on can
onica.
Por el corolario 4.2 se tiene que j es un epimorfismo, as que por el corolario 6.3 necesariamente K = S.

Observaci
on 6.5 Los resultados previos nos indican que:
1. La inclusi
on can
onica de R en los cuaterniones H no es un epimorfismo.
2. Ninguno de la infinidad de morfismos de anillos unitarios de C en H es un epimorfismo.
Ahora parafraseamos una parte del corolario 1.3 de [6].
Corolario 6.6 Sea : R S un epimorfismo de anillos unitarios. La pareja de funtores (S R , F ) es un
par adjunto.
Demostraci
on: Sean M R Mod y N S Mod.
0

1N
/ S R S S N m1 / S S N mN / N , a la que denotareConsideremos la composici
on S R N
mos como mN , donde N : N S S N es el isomorfismo canonico N (n) = 1 n, m0N : S S N N
es el isomorfismo can
onico determinado por m0N (s n) = sn, y m : S R S S es el isomorfismo de la
proposici
on 6.1. Entonces mN es un isomorfismo de Smodulos y esta determinado por mN (s n) = sn.

N
otese que S R F (N ) = S R N.
Definimos : HomR (M, F (N )) HomS (S R M, N ) indicando que (f ) es la composicion
1f

S R M

mN

/ S R N

/N

y : HomS (S R M, N ) HomR (M, F (N )) , donde (g) es la composicion

M

/ S R M

/N

y j : M S R M es el homomorfismo canonico de Rmodulos determinado por j(m) = 1 m.

36

El Teorema de Silver

No es difcil verificar que (f )[m] = (f ) [1 m] = f (m) y que (g) [s m] = s(g)[m] = sg [1 m] =

g [s m] : se sigue que y son mutuamente inversas.
Por otra parte, es inmediato que estas asignaciones son homomorfismos de grupos y que son naturales
en ambas variables.

Observaci
on 6.7 El corolario 6.6 es inmediato del isomorfismo de adjuncion usual entre homomorfismos
y tensores y el isomorfismo can
onico F (N )
= HomS (S, N ) , ambos al considerar la estructura canonica de
S Rbim
odulo de S. Adem
as, en una de las composiciones de la prueba del mencionado corolario, se pudo
usar que hay un isomorfismo can
onico de Rmodulos F (N )
= S S N cuando se considera la estructura
can
onica de R Sbim
odulo de S.

Agradecimientos
Los autores apreciamos la eficiencia de los arbitros y lo valiosas que han sido para mejorar este escrito
sus sugerencias y recomendaciones.

Referencias
[1] M. Auslander, I. Reiten, S. Smal. Representations Theory of Artin Algebras, Cambridge Studies in
Advanced Mathematics 36, New York, 1995.
[2] R. Bautista, L. Salmer
on and R. Zuazua. Differential Tensor Algebras and their Module Categories,
London Mathematical Society Lecture Notes Series 362. Cambridge University Press, Cambridge, 2009.
[3] P. M. Cohn. Skew Field: Theory of General Division Rings (Encyclopedia of Mathematics and its
Applications 57), Cambridge University Press, 2008.
[4] J. De-Vicente, E. Guerrero, E. Perez. On the endomorphisms ring of generic modules of tame triangular
matrix algebras over real closed fields, Aportaciones Matematicas, Memorias 45 (2012) 17-53.
[5] L. H. Rowen. Ring Theory (Student Edition). Academic Press, Inc., San Diego C.A. (1991).
[6] L. Silver. Noncommutative Localizations and Applications, Journal of Algebra 7 (1967) 44-76.