Como la multiplicación es asociativa, tenemos que efectivamente se trata de un grupo.