Ki volt Évariste Galois, aki mindössze 20 éves korában tragikus módon életét vesztette, de aki zseniális felfedezéseivel évtizedekkel megelőzte korát, és lerakta a modern algebra alapjait? Mi a másodfokú egyenlet megoldóképlete, és vajon a magasabbfokú egyenletekhez léteznek-e ilyen formulák? Mik a Galois-elmélet alapfogalmai és alapgondolatai? Miért nem megoldhatók a híres ókori szerkesztési feladatok, mint a körnégyszögesítés és a szögharmadolás?
Mik azok a csoporthomomorfizmusok, normálosztók és faktorcsoportok? Milyen párhuzam mutatható ki ezek és a korábban már ismertetett gyűrűhomorfizmusok, ideálok és maradékosztálygyűrűk között? Milyen szép struktúratartó tulajdonságai vannak egy csoporthomomorfizmusnak? Mik azok a ciklikus csoportok, és összesen hány ilyen létezik?
Mi az oka annak, hogy a Miller-Rabin-prímtesztre nézve egyáltalán nem léteznek univerzális álprímek? Milyen fegyverek állnak Alice és Bob rendelkezésére egy ilyen jellegű kérdés megválaszolásához? Mik azok a csoportok és mivel foglalkozik a csoportelmélet? Mit állít a Lagrange-tétel, és mi köze a Miller-Rabin-prímteszthez?
Mit jelent a „nullosztómentesség” és az „integritástartomány” fogalma? Hogyan terjesszük ki a „kisebb-nagyobb” fogalmát a negatív számok körére is, és miért fontos ez a kriptográfiai eljárások szempontjából? Milyen absztrakt algebrai megfontolások állnak ennek hátterében, és mit jelent ez általános gyűrűk esetén?
Hogyan tudjuk a szorzás műveletét is ésszerű módon kiterjeszteni a számegyenes 0-tól balra eső részére? Mit jelent az absztrakt algebrában a „neutrális elem”, az „inverz”, a „gyűrű” és a „test” fogalma? Hogyan definiálható a kivonás művelete az egész számok között? Mi a helyzet az osztással?