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

В математике свободная абелева группа (свободный Z-модуль) — это абелева группа, имеющая базис, то есть такое подмножество элементов группы, что для любого её элемента существует единственное его представление в виде линейной комбинации базисных элементов с целыми коэффициентами, из которых только конечное число являются ненулевыми. Элементы свободной абелевой группы с базисом B называют также формальными суммами над B. Свободные абелевы группы и формальные суммы используются в алгебраической топологии при определении групп цепей и в алгебраической геометрии при определении дивизоров. Как и векторные пространства, свободные абелевы группы классифицируются мощностью базиса; эта мощность не зависит от выбора базиса и называется рангом группы.