En el ensayo que estoy leyendo, tenemos un ideal finitamente generado, por lo que está generado por un elemento idempotente $ e \in R $ (ya que los ideales finitamente generados son generados por un elemento idempotente en un anillo regular de von Neumann)
Luego se escribe que ''podemos reemplazar $ eR $ por $ R $''. No puedo entender cómo ni por qué. Estoy de la opinión de que debería haber un isomorfismo entre $ R $ y $ eR $, pero aún no lo veo. ($ R $ no es un dominio)
¿Alguien podría ayudarme?