name Tor TopGrp Top Set SemiGrp Quiv NormAb LieGrp Grp FinSet FinGrp DGph CRing AbTorF AbTor Ab