La parte "p" del grupo de clase es un formula_4-módulo, y se pueden aplicar elementos en el anillo de grupo formula_7 a él y obtener elementos del grupo de clase.