Lagrange s theorem specifies (a) the order of semigroup is finite (b the order of the subgroup divides the order of the finite group C) the order of an abelian group is infinite (a) the order of the semigroup is added to the order of the group
Lagrange's theorem says that the product ( number of cosets of a subgroup H in a group G) × (the order of subgroup H) = order of the group G .... so, one of its consequences is tha...