Se verifica fácilmente que se obtiene una estructura de anillo en formula_60 Cuando formula_3 sea conmutativo, el anillo formula_55 también lo será.