Se tiene entonces que formula_30 y formula_31 son subgrupos respectivos de los grupos abelianos formula_32 y formula_33.