Checks if a subgroup of a group is a cyclic subgroup.