Vamos $\Lambda$,$\Lambda'$ dos de celosía en $\mathbb{C}$ $m\neq 0\in\mathbb{C}$ satisfactorio $$ m\Lambda\subconjunto\Lambda' $$
El, el libro que estoy leyendo dice que por la teoría de la finitos Abelian grupos existe una base $\{\omega_1,\omega_2\}$ $\Lambda$ ' y enteros positivos $n_1,n_2$ tal que $\{n_1\omega_1,n_2\omega_2\}$ es una base de $m\Lambda$.
Me pregunto cual es el teorema usando a deducir tal conclusión? No hay incluso finito Abelian grupos.
actualización:
Creo que el autor se refiere a la teoría de finitely generado Abelian grupos, no él?