Hogyan néznek ki az egész számok gyűrűjének ideáljai? Mi a kapcsolat az ideálok és az oszthatósági alapfogalmak között? Mik azok a főideálgyűrűk, és ezeknek milyen jó tulajdonságaik vannak? Mi közük az euklidészi gyűrűkhöz? Hogyan zárható le a számelmélet alaptételének kérdése végérvényesen az ideálok segítségével?
Mi az oka annak, hogy minden egész szám egyértelműen felbontható prímszámok szorzatára? Mit jelent a „legnagyobb közös osztó”, és hogyan lehet az iskolában tanult módszernél sokkal gyorsabban kiszámolni az euklidészi algoritmus segítségével? Mik azok az euklidészi gyűrűk és mi közük a számelmélet alaptételéhez?
Mit kezdjünk azzal, hogy az „osztás” művelete általában nem végezhető el gyűrűkben? Mit jelent az „oszthatóság”? Mikor mondjuk egy gyűrű valamely elemére, hogy „felbonthatatlan” és mely elemeket nevezzük „prímeknek”? Miért van ezeknek kitüntetett szerepük bizonyos gyűrűkben? Mi a helyzet az egész számok gyűrűjében?