learning_group_theory 我所有关于抽象代数，环论，场论，格论，模块论，范畴论，伽罗瓦论，同源，同伦，单价基础，HoTT和K理论的学习。 概念-群体理论 groupoid-具有一些运算（通常是逆运算）并在其自身下闭合的集合 半群-关联群 monoid-具有身份的半群 组-具有反函数的id半群 阿贝尔群-交换群 coset-组/子组的修改 左陪伴-对非阿贝尔群使用左侧运算的陪伴 右陪伴-对非阿贝尔族群进行右侧操作的陪伴 正常组-一个子组，使得所有左陪伴与相同的右陪伴相同 琐碎的