Lagrange-ren teoremaren arabera, p ordena duten talde finituak, zenbaki lehenak, nahitaez ziklikoak dira (abeliarrak) Zp. P2 ordena duten taldeak ere abeliarrak direla erakutsi daiteke, adierazpen hori ez da p3 ordena orokortzen, ordena ez-abeliarra duten D4 taldeak bezala 8 = 23 ordena. Informatikako aljebra sistemak talde txikiak zerrendatzeko erabil daitezke, baina ez dago finitu guztien sailkapenik.
sailkapen osoa