定义和含义

群，指的是，一个满足特定要求的集合。在这里，集合中的元素可以是任意的对象，而一个群需要让集合中的元素在给定的一个操作下，满足特定的几个通用要求。

这些特定要求，具体来说，对于这个操作而言，整个集合的元素需要满足: 封闭性、结合律，具有单位元、逆元。

层次标注

在这里，它属于第二层知识，即学科概念。

辅助理解的解释

根据定义，你可以试着看看，自然数是不是一个加法群。同时，也看看整数是不是一个加法群。等你尝试着完成上面两个步骤后，相信你会对于负整数的出现有新的理解。

借助群的概念，你可以把数学乃至数学以外的很多结构都可以用一个统一的数学结构来描述，这就是抽象的威力。