¿Cómo demuestras que un grupo abeliano no tiene una representación de dimensión infinita irreductible? ¿Es solo cierto para un grupo localmente compacto?
La única prueba que encontré es estudiar los ideales máximos del grupo C * -algebra. ¿Conoces una prueba simple sin la teoría de álgebras de operadores?