¿Puede alguien darme una prueba relativamente simple o alguna referencia para el siguiente hecho. (Sé que hay una prueba de este teorema en el libro de Gerard J. Murphy: "%-%-%-Algebras and Operator Theory", pero estoy seguro de que debería haber una prueba simple de esto.
*¡Cada C-subalgebra hereditaria de un simple %%-%-%-álgebra también es simple!**
Tal vez esto sea fácil para alguien, pero me confunde durante mucho tiempo. ¡Soy un novato!
