Теория формаций алгебраических систем, как самостоятельное направление современной алгебры, начало развиваться сравнительно недавно, в конце 60-х годов прошлого столетия. Отметим, что за последующие четыре десятилетия в таких классических областях исследования, как группы, кольца, алгебры Ли, мультикольца и т.д. формационные методы получили довольно широкое развитие. В теории же универсальных алгебр формационные методы не находят такого широкого применения, что, в первую очередь, связано со сложностью самого объекта исследований. Поэтому получение новых результатов, касающихся формационных свойств универсальных алгебр, представляет несомненный интерес. Именно этой задаче посвящается настоящая курсовая работа. Здесь на основе определения централизатора конгруэнции, введенного Смитом, дается определение абелевои алгебры и доказывается основной результат, что класс всех универсальных абелевых алгебр из мальцевского многообразия образует наследственную формацию. Также рассматривается и свойства абелевых универсальных алгебр.