In de abstracte algebra en meer specifiek in de groepentheorie is een vrije abelse groep een abelse groep die een "basis" heeft in de zin dat elk element van de groep op een en slechts een manier geschreven kan worden als een eindige lineaire combinatie met geheeltallige coëfficiënten van elementen van de basis. Wikipedia