有限群と無限群の核心的な違い