Actualmente estoy leyendo Hilton & Stammbach Un Primer Curso de Álgebra Homológica, y el siguiente punto ha dejado perplejos a mí:
En la sección 1.8, construyen co-libre módulos ("izquierda moodule" sobre algunas anillo) como esencialmente procedentes de la derecha adjunto para los desmemoriados functor de $\Lambda$-a los Módulos de Abelian Grupos. Por otro lado, el módulo está construido como la izquierda adjunto para los desmemoriados functor de $\Lambda$-a los módulos de Conjuntos. Este resulta ser equivalente a la que requieren libre de los módulos directa sumas de copias de $\Lambda$ considera como un módulo más de sí, y que requieren co-libre módulos como productos directos de la $\Lambda^*=Hom_\mathbb{Z}(\Lambda, \mathbb{Q}/\mathbb{Z})$.
Así que supongo que mi pregunta es: ¿qué significa el derecho medico adjunto del olvidadizo functor para Establecer aspecto, y por qué es el derecho medico adjunto del olvidadizo functor a Abelian Grupos más útil?
