群を研究する学問。 群の概念は抽象代数学における中心的な概念。