副有限群について