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?