¿Puede alguien darme una referencia al teorema antes mencionado? W. Hodges lo usa como ejemplo en su "Teoría de Modelos", pero no pude encontrar nada en él todavía.
El grupo puede ser (digamos, contábil) infinito, la suma directa también será infinita, también, por supuesto. El "exponente" de un grupo se define aquí como$\sup_{g \in G} \mathopen|G.g\mathclose|$
