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

Определение 1. Абелева группа называется свободной¹⁾, если она свободна как модуль над кольцом целых чисел.

• Абелева группа является свободной абелевой группой с двумя образующими.
• Все конечно порожденные свободные абелевы группы изоморфны для некоторого .

• Винберг Э.Б. «Курс алгебры», Факториал, 2002.