Vogliamo accompagnare gradualmente il lettore nello studio dell'Algebra Commutativa e guidarlo nel difficile compito di scrivere in modo formale, chiaro e corretto dimostrazioni in Matematica. Abbiamo raccolto in un unico libro sia risultati ed esercizi teorici classici che algoritmi ed applicazioni, quali il calcolo negli anelli di polinomi tramite le basi di Gröbner e la forma di Smith. Negli esercizi proponiamo numerosi esempi concreti che permettono una comprensione profonda dei concetti astratti. Nella prima parte presentiamo la teoria necessaria per capire e svolgere gli esercizi raccolti nella seconda, mentre la terza parte contiene tutte le soluzioni dettagliate.