<prompt> Maererano ne Lagranges theorem, mapoka akaenzana ehurongwa p, nhamba yekutanga, inodikanwa cyclic abelian mapoka Zp. Mapoka ehurongwa p2 anogona zvakare kuratidzwa kuve abelian, chirevo chisingaite generalize kuhurongwa p3, sevasiri-abelian boka D4 yehurongwa 8 23 pamusoro inoratidza. Computer algebra masisitimu anogona kushandiswa kunyora mapoka madiki, asi hapana kuiswa kwezvikamu zvese zvakaenzana. Nhanho yepakati ndeye kuiswa kwezvikamu zvakaenzana. Boka re nriviontal rinodaidzwa kuti rakareruka kana iro pacharo riri chete subgroups iri boka re trivial uye boka remwedzi.  <response>: Kunyora mapoka ose ari nyore 