ideaal (ringtheorie)

Een ideaal is in de abstracte algebra, specifiek in de ringtheorie (een deelgebied van de wiskunde), een speciale deelverzameling van een ring, die gesloten is ten aanzien van lineaire combinaties met coëfficiënten uit de ring. Dat houdt in dat een ideaal ten aanzien van de operatie optelling een deelgroep is en dat de operatie vermenigvuldiging, zowel links als rechts, van een element uit het ideaal met een element van de ring een resultaat geeft dat binnen het ideaal ligt.