Podemos dividir la parte "p" del grupo de clase ideal "G" de formula_1 por medio de sus idempotentes; si "G" es el grupo de clase ideal, entonces "G" = ε("G").