Deje $R$ ser un CRing y deje $M,N$ $R$- módulos. Deje $M^*:=Hom_R(M,R)$. He visto el siguiente isomorfismo afirmó en el caso de que $R$ es un campo y $M$ $N$ f.g. espacios vectoriales:
$M^*\otimes_R N\cong Hom_R(M,N)$.
Me puede dar una prueba de ello el uso de una base, pero en lo que a la generalidad podemos decir este tipo de cosas? Tiene una bonita flecha de la teoría de la prueba?
Por alguna razón, no puedo aceptar las respuestas, así que pido disculpas por no hacerlo si estoy teniendo problemas. Tal vez los mods pueden obligar a mi cuenta para aceptar las respuestas? (Para responder a los del caballero pregunta, estoy teniendo javascript problemas, así que me temo que no ayuda).
