子分类: 余代数 群的性质