<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 ndeyekugadziriswa kwezvikwata zvakaenzana.  <response>: kupatsanura kwakakwana 