Tengo problemas para verificar lo siguiente (se trata de un autoestudio):
Existe un isomorfismo entre el centro de un anillo $A$ y el anillo de endomorfismos del functor de identidad de la categoría de (derecho) $A$ -módulos.
El mapa $\Psi\ \colon Z(A) \to \mathrm{End}(1_{Mod\ A})$ envía $a \in Z(A)$ a la multiplicación por $a$ (escribamos $\Psi(a) = \theta^{a}$ ). Esto no supone ningún problema.
Parece razonable definir el mapa inverso $\Xi\ \colon \mathrm{End}(1_{Mod\ A}) \to Z(A)$ como el envío de $ \eta \in \mathrm{End}(1_{Mod\ A})$ a $\eta_A(1)$ ya que de esto se obtiene fácilmente $\Xi \circ \Psi (a) = \Xi(\theta^a)=\theta^{a}_{A}(1)=1a=a$ .
Sin embargo, no veo por qué $\Psi \circ \Xi = 1_{\mathrm{End}(1_{Mod\ A})}$ . Desplegando, tenemos que demostrar que $\Psi \circ \Xi (\eta) = \theta^{\eta_A(1)} = \eta$ es decir, para cualquier derecho $A$ -Módulo $L$ necesitamos tener $\theta^{\eta_A(1)}_L = \eta_L$ . Estoy perdido en esto. He intentado encontrar los componentes adecuados en los que utilizar la naturalidad (así conseguí demostrar que $\eta_A(1)$ se encuentra en $Z(A)$ , que no era obvio para mí desde el principio), pero en vano.
Un poco de búsqueda en Google me llevó a esta entrada del blog por Q. Yuan (ver el "sub-ejemplo") donde la dirección del mapa $\Xi$ se deduce del hecho de que $A$ es un generador de $\mathrm{Mod}\ A$ . Sin embargo, no puedo ver explícitamente por qué (en la perspectiva adoptada allí, creo que esto es sólo reformular el problema que tengo) el levantamiento de un elemento central a un endomorfismo de $1_{\mathrm{Mod}\ A}$ es inversa a la composición de los dos isomorfismos con la inyección natural $\mathrm{End}(1_{\mathrm{Mod}\ A}) \to Z(\mathrm{End}_A(A))$ .