группа, в которой групповая операция является коммутативной (т.е. ее результат не зависит от перестановки мест элементов группы). Основополагающая теорема: любая конечная абелева группа может быть разложена в прямое произведение своих циклических подгрупп порядков являющихся степенями простых чисел/