群論とは、抽象的な研究である。