Свободная авелева группа

- группа, свободная в многообразии всех абелевых групп (см. Свободная алгебра). Прямые суммы (в конечном или бесконечном числе) бесконечных циклич. групп и только они являются свободными группами в классе абелевых групп. При этом совокупность образующих элементов всех циклич. прямых слагаемых служит системой свободных образующих (называемой также б а з о й) С. а. г. Не всякая максимальная линейно независимая система элементов С. а. г. служит для нее базой. С. а. г. изоморфны тогда и только тогда, когда их базы равномощны. Мощность базы С. а. г. совпадает с рангом Прюфера этой группы. Всякая подгруппа С. а. г., отличная от нулевой, сама свободна. Абелева группа свободна тогда и только тогда, когда она обладает возрастающим рядом подгрупп (см. Подгрупп ряд), каждый фактор к-рого изоморфен бесконечной циклич. группе.