--------v1.0 2018.12.19更新--------

功能1:给出10阶以内经典的群,以及其中元素的阶
功能2:给出一个群及其子群/正规子群,求出其陪集分解/商群


--------待更新--------

给出一个小阶群判断其是否同构于经典群
给出一个代数系统判断其是否为群结构,并给出每个元素的阶
考虑到群表较为麻烦,增加群的识别方式:置换群