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

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


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

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