Hola, estoy hace un rato con está parte, pude probar que si entonces la sucesión escinde utilizando el teorema chino de los restos (como en el teórico de hoy). Los ideales y funcionan bien.
Pero tengo problemas con la otra parte: Si esa sucesión escinde, entonces .
Lo que se me ocurre es usar un argumento de grupos, con lo del grado es sencillo ver que . Pero no se me ocurrio ningún argumento usando cosas de anillos o módulos, ¿Cómo se podría hacer?