В математике свободная абелева группа — это абелева группа с базисом . Быть абелевой группой означает, что это множество с операцией сложения , которая является ассоциативной , коммутативной и обратимой. Базис, также называемый целочисленным базисом , — это подмножество , в котором каждый элемент группы может быть однозначно выражен как целочисленная комбинация конечного числа базисных элементов. Например, двумерная целочисленная решетка образует свободную абелеву группу с покоординатным сложением в качестве операции и с двумя точками (1,0) и (0,1) в качестве основы. Свободные абелевы группы обладают свойствами, которые делают их похожими на векторные пространства , и их можно эквивалентно назвать свободными модулями , свободными модулями над целыми числами. Теория решеток изучает свободные абелевы подгруппы вещественных векторных пространств . В алгебраической топологии свободные абелевы группы используются для определения цепных групп , а в алгебраической геометрии они используются для определения дивизоров .
Элементы свободной абелевой группы с базисом можно описать несколькими эквивалентными способами. К ним относятся формальные суммы по , которые являются выражениями вида , где каждый является ненулевым целым числом, каждый является отдельным базисным элементом и сумма имеет конечное число членов. Альтернативно, элементы свободной абелевой группы можно рассматривать как знаковые мультимножества , содержащие конечное число элементов с кратностью элемента в мультимножестве, равной его коэффициенту в формальной сумме. Другой способ представить элемент свободной абелевой группы — это функция от целых чисел с конечным числом ненулевых значений; для этого функционального представления групповая операция представляет собой поточечное сложение функций.
Каждое множество имеет в своей основе свободную абелеву группу . Эта группа единственна в том смысле, что любые две свободные абелевы группы с одним и тем же базисом изоморфны . Вместо того, чтобы строить ее путем описания ее отдельных элементов, свободная абелева группа с базисом может быть построена как прямая сумма копий аддитивной группы целых чисел, по одной копии на каждый член . Альтернативно, свободная абелева группа с базисом может быть описана представлением с элементами в качестве ее генераторов и коммутаторами пар членов в качестве ее соотношений. Ранг свободной абелевой группы — это мощность базиса ; каждые две базы одной и той же группы имеют одинаковый ранг, и любые две свободные абелевы группы одного и того же ранга изоморфны. Каждая подгруппа свободной абелевой группы сама является свободной абелевой; этот факт позволяет понимать общую абелеву группу как фактор свободной абелевой группы по «отношениям» или как коядро инъективного гомоморфизма между свободными абелевыми группами. Единственные свободные абелевы группы, которые являются свободными группами, — это тривиальная группа и бесконечная циклическая группа .
Свободная абелева группа — это абелева группа , имеющая базис. [1] Здесь быть абелевой группой означает, что она описывается набором своих элементов и бинарной операцией над , условно обозначаемой как аддитивная группа символом (хотя это не обязательно должно быть обычное сложение чисел), которые подчиняются следующие свойства:
Базис — это подмножество элементов со свойством, что каждый элемент может быть сформирован уникальным способом путем выбора конечного числа базисных элементов , выбора ненулевого целого числа для каждого из выбранных базисных элементов и сложения копий базиса. элементы , для которых является положительным, и копии для каждого базового элемента, для которого является отрицательным. [2] В частном случае единичный элемент всегда может быть сформирован таким образом как комбинация нулевых базисных элементов в соответствии с обычным соглашением для пустой суммы , и не должно быть возможности найти какую-либо другую комбинацию, которая представляет собой личность. [3]
Целые числа при обычной операции сложения образуют свободную абелеву группу с базисом . Целые числа являются коммутативными и ассоциативными, с в качестве аддитивной идентичности и с каждым целым числом, имеющим аддитивную обратную величину , его отрицание. Каждое неотрицательное число представляет собой сумму копий , а каждое отрицательное целое число является суммой копий , поэтому базисное свойство также выполняется. [1]
Примером отличия групповой операции от обычного сложения чисел являются положительные рациональные числа , которые образуют свободную абелеву группу с обычной операцией умножения чисел и с простыми числами в качестве их основы. Умножение коммутативно и ассоциативно, с числом в качестве его единицы и обратным элементом для каждого положительного рационального числа . Тот факт, что простые числа образуют основу для умножения этих чисел, следует из фундаментальной теоремы арифметики , согласно которой каждое положительное целое число может быть однозначно разложено на множители в произведение конечного числа простых чисел или их обратных чисел. Если - положительное рациональное число, выраженное в простейших терминах, то его можно выразить как конечную комбинацию простых чисел, появляющихся при факторизации и . Количество копий каждого простого числа, используемого в этой комбинации, равно его показателю при факторизации или отрицанию его показателя при факторизации . [4]
Полиномы одной переменной с целыми коэффициентами образуют свободную абелеву группу при полиномиальном сложении со степенями в качестве основы. Как абстрактная группа, это то же самое, что ( изоморфная группа) мультипликативная группа положительных рациональных чисел. Один из способов сопоставить эти две группы друг с другом, показав, что они изоморфны, - это переосмыслить показатель степени i-го простого числа в мультипликативной группе рациональных чисел как коэффициент в соответствующем многочлене, или наоборот. Например, рациональное число имеет показатели для первых трех простых чисел и, таким образом, будет соответствовать многочлену, имеющему одинаковые коэффициенты для своих постоянных, линейных и квадратичных членов. Поскольку эти отображения просто интерпретируют одни и те же числа, они определяют биекцию между элементами двух групп. А поскольку групповая операция умножения положительных рациональных чисел действует аддитивно на показатели степеней простых чисел точно так же, как групповая операция сложения многочленов действует на коэффициенты многочленов, эти отображения сохраняют структуру группы; они являются гомоморфизмами . Биективный гомоморфизм называется изоморфизмом, и его существование показывает, что эти две группы обладают одинаковыми свойствами. [5]
Хотя представление каждого элемента группы в терминах данного базиса уникально, свободная абелева группа обычно имеет более одного базиса, и разные базисы обычно приводят к разным представлениям ее элементов. Например, если заменить любой элемент базиса обратным ему, получится другой базис. В качестве более детального примера: двумерная целочисленная решетка , состоящая из точек плоскости с целочисленными декартовыми координатами , образует свободную абелеву группу при сложении векторов с базисом . [1] Для этого элемента можно записать , где «умножение» определяется так, что, например, . Другого способа написать в той же базе нет . Однако с другим базисом, например , его можно записать как . Обобщая этот пример, каждая решетка образует конечно порожденную свободную абелеву группу. [6] -мерная целочисленная решетка имеет естественный базис, состоящий из единичных векторов положительных целых чисел , но у нее также есть много других базисов: если - целочисленная матрица с определителем , то строки образуют базис, и наоборот, каждый базис целочисленная решетка имеет такой вид. [7] Дополнительную информацию о двумерном случае см. в разделе «Фундаментальная пара периодов» .
Каждое множество может быть базисом свободной абелевой группы, единственной с точностью до групповых изоморфизмов. Свободная абелева группа для данного базисного набора может быть построена несколькими различными, но эквивалентными способами: как прямая сумма копий целых чисел, как семейство целочисленных функций, как знаковое мультимножество или путем представления группы. .
Прямое произведение групп состоит из наборов элементов каждой группы в произведении с покомпонентным сложением. Прямое произведение двух свободных абелевых групп само по себе является свободным абелевым, а базис представляет собой непересекающееся объединение базисов двух групп. [8] В более общем смысле, прямое произведение любого конечного числа свободных абелевых групп является свободным абелевым. Например, -мерная целочисленная решетка изоморфна прямому произведению копий целочисленной группы . Тривиальная группа также считается свободной абелевой с базой пустого множества . [9] Его можно интерпретировать как пустой продукт , прямой продукт нулевых копий . [10]
Для бесконечных семейств свободных абелевых групп прямое произведение не обязательно является свободным абелевым. [8] Например, группа Бэра-Спкера , несчетная группа, образованная как прямой продукт счетного числа копий , была показана в 1937 году Рейнхольдом Баером как несвободная абелева, [ 11] хотя Эрнст Шпекер доказал в 1950 году, что все ее счетные подгруппы свободны абелевы. [12] Вместо этого, чтобы получить свободную абелеву группу из бесконечного семейства групп, следует использовать прямую сумму, а не прямое произведение. Прямая сумма и прямое произведение одинаковы, когда они применяются к конечному числу групп, но различаются в бесконечных семействах групп. В прямой сумме элементы снова представляют собой кортежи элементов из каждой группы, но с ограничением, что все эти элементы, кроме конечного числа, являются тождественными для своей группы. Прямая сумма бесконечного числа свободных абелевых групп остается свободной абелевой. Он имеет основу, состоящую из кортежей, в которых все элементы, кроме одного, являются единицами, а оставшийся элемент является частью основы своей группы. [8]
Каждую свободную абелеву группу можно описать как прямую сумму копий , по одной копии для каждого члена ее основы. [13] [14] Эта конструкция позволяет любому множеству стать базисом свободной абелевой группы. [15]
Учитывая набор , можно определить группу , элементами которой являются функции от целых чисел, где скобка в верхнем индексе указывает, что включены только функции с конечным числом ненулевых значений. Если и две такие функции, то это функция, значения которой являются суммами значений в и : то есть . Эта операция поточечного сложения дает структуру абелевой группы. [16]
Каждому элементу из данного множества соответствует член , функция для которого и для которого для всех . Каждая функция в является однозначно линейной комбинацией конечного числа базисных элементов:
Элементы также могут быть записаны как формальные суммы , выражения в виде суммы конечного числа членов, где каждый член записывается как произведение ненулевого целого числа с отдельным членом . Эти выражения считаются эквивалентными, если они содержат одинаковые термины, независимо от порядка терминов, и их можно добавлять путем образования объединения терминов, добавления целочисленных коэффициентов для объединения терминов с одним и тем же базисным элементом и удаления терминов, для которых эта комбинация дает нулевой коэффициент. [4] Их также можно интерпретировать как знаковые мультимножества из конечного числа элементов . [17]
Представление группы — это набор элементов, которые порождают группу (это означает, что все элементы группы могут быть выражены как произведения конечного числа генераторов) вместе с «реляторами», продуктами генераторов, которые дают единичный элемент. Элементы группы, определенные таким образом, представляют собой классы эквивалентности последовательностей образующих и их обратных значений при отношении эквивалентности , которое позволяет вставлять или удалять любую пару отношения или пары, обращенной к генератору, как непрерывную подпоследовательность. Свободная абелева группа с базисом имеет представление, в котором образующими являются элементы , а реляторами — коммутаторы пар элементов . Здесь коммутатор двух элементов и – произведение ; установка этого продукта на идентичность приводит к равенству , так что и добираться. В более общем смысле, если все пары генераторов коммутируют, то и все пары произведений генераторов также коммутируют. Следовательно, группа, порожденная этим представлением, является абелевой, и реляторы представления образуют минимальный набор соотношений, необходимый для того, чтобы оно было абелевым. [18]
Когда набор образующих конечен, представление свободной абелевой группы также конечно, поскольку в представление можно включить лишь конечное число различных коммутаторов. Этот факт, а также тот факт, что каждая подгруппа свободной абелевой группы является свободной абелевой группой (ниже), можно использовать, чтобы показать, что каждая конечно порожденная абелева группа конечно представима. Ибо, если конечно порождено множеством , это фактор свободной абелевой группы по свободной абелевой подгруппе, подгруппе, порожденной связями представления . Но поскольку эта подгруппа сама является свободной абелевой, она также конечно порождена, и ее базис (вместе с коммутаторами над ) образует конечное множество соотношений для представления . [19]
Модули над целыми числами определяются аналогично векторным пространствам над действительными или рациональными числами : они состоят из систем элементов, которые можно складывать друг с другом, с операцией скалярного умножения на целые числа, совместимой с этой операцией сложения. Каждую абелеву группу можно рассматривать как модуль над целыми числами со скалярной операцией умножения, определяемой следующим образом: [20]
Однако, в отличие от векторных пространств, не все абелевы группы имеют базис, поэтому те, у которых он есть, получили специальное название «свободные». Свободный модуль — это модуль, который можно представить в виде прямой суммы по своему базовому кольцу , поэтому свободные абелевы группы и свободные -модули являются эквивалентными понятиями: каждая свободная абелева группа является (с указанной выше операцией умножения) свободным -модулем, и каждый Таким образом, свободный -модуль происходит из свободной абелевой группы. [21] Помимо прямой суммы, еще одним способом объединения свободных абелевых групп является использование тензорного произведения -модулей . Тензорное произведение двух свободных абелевых групп всегда является свободным абелевым, базис которого является декартовым произведением базисов двух групп в произведении. [22]
Многие важные свойства свободных абелевых групп могут быть обобщены на свободные модули над областью главных идеалов . Например, подмодули свободных модулей в областях главных идеалов свободны, и этот факт, как пишет Хэтчер (2002), позволяет «автоматическое обобщение» гомологического механизма на эти модули. [23] Кроме того, аналогичным образом обобщается теорема о том, что каждый проективный -модуль свободен. [24]
Свободная абелева группа с базисом обладает следующим универсальным свойством : для каждой функции из в абелеву группу существует единственный гомоморфизм группы, из которого продолжается . [4] [9] Здесь групповой гомоморфизм — это отображение одной группы в другую, которое согласуется с законом группового произведения: выполнение произведения до или после отображения дает один и тот же результат. По общему свойству универсальных свойств это показывает, что «абелева» группа базы единственна с точностью до изоморфизма. Следовательно, универсальное свойство можно использовать как определение свободной абелевой группы базы . Единственность группы, определяемой этим свойством, показывает, что все остальные определения эквивалентны. [15]
Именно из-за этого универсального свойства свободные абелевы группы называются «свободными»: они являются свободными объектами в категории абелевых групп , категории , которая имеет абелевы группы в качестве своих объектов и гомоморфизмы в качестве своих стрелок. Отображение базиса в его свободную абелеву группу является функтором , сохраняющим структуру отображением категорий множеств в абелевы группы и сопряжено с функтором забывания из абелевых групп в множества. [25] Однако свободная абелева группа не является свободной группой , за исключением двух случаев: свободная абелева группа, имеющая пустой базис (нулевой ранг, что дает тривиальную группу ) или имеющая только один элемент в базисе (ранг один, что дает бесконечная циклическая группа ). [9] [26] Другие абелевы группы не являются свободными группами, потому что в свободных группах они должны отличаться от if и являются разными элементами базиса, тогда как в свободных абелевых группах два произведения должны быть идентичны для всех пар элементов. В общей категории групп требование соблюдения этого требования является дополнительным ограничением , тогда как в категории абелевых групп это необходимое свойство. [27]
Каждые два базиса одной и той же свободной абелевой группы имеют одинаковую мощность , поэтому мощность базиса образует инвариант группы, известный как ее ранг. [28] [29] Две свободные абелевы группы изоморфны тогда и только тогда, когда они имеют одинаковый ранг. [4] Свободная абелева группа конечно порождена тогда и только тогда, когда ее ранг является конечным числом , и в этом случае группа изоморфна . [30]
Это понятие ранга можно обобщить от свободных абелевых групп до абелевых групп, которые не обязательно свободны. Ранг абелевой группы определяется как ранг свободной абелевой подгруппы , факторгруппа которой является периодической группой . Эквивалентно, это мощность максимального подмножества , порождающего свободную подгруппу. Ранг является групповым инвариантом: он не зависит от выбора подгруппы. [31]
Каждая подгруппа свободной абелевой группы сама является свободной абелевой группой. Этот результат Рихарда Дедекинда [32] был предшественником аналогичной теоремы Нильсена-Шрайера о том, что каждая подгруппа свободной группы свободна, и является обобщением того факта, что каждая нетривиальная подгруппа бесконечной циклической группы является бесконечной циклической . Для доказательства нужна аксиома выбора . [25] Доказательство с использованием леммы Цорна (одного из многих предположений, эквивалентных выбранной аксиоме) можно найти в « Алгебре » Сержа Ланга . [33] Соломон Лефшец и Ирвинг Каплански утверждают, что использование принципа хорошего порядка вместо леммы Цорна приводит к более интуитивному доказательству. [14]
В случае конечно порожденных свободных абелевых групп доказательство проще, не требует аксиомы выбора и приводит к более точному результату. Если является подгруппой конечно порожденной свободной абелевой группы , то она свободна и существует базис и натуральных чисел (т.е. каждое из них делит следующее) такой, что является базисом Кроме того, последовательность зависит только от и и не на основании. [34] Конструктивное доказательство существования части теоремы обеспечивается любым алгоритмом, вычисляющим нормальную форму Смита матрицы целых чисел. [35] Единственность следует из того факта, что для любого наибольший общий делитель миноров ранга матрицы не изменяется во время вычисления нормальной формы Смита и является произведением в конце вычисления. [36]
Все свободные абелевы группы не имеют кручения , что означает, что не существует неединичного элемента группы и ненулевого целого числа такого, что . И наоборот, все конечно порожденные абелевы группы без кручения являются свободными абелевыми. [9] [37]
Аддитивная группа рациональных чисел представляет собой пример абелевой группы без кручения (но не конечно порожденной), которая не является свободной абелевой. [38] Одна из причин, по которой число не является свободным абелевым, заключается в том, что оно делится , а это означает, что для каждого элемента и каждого ненулевого целого числа его можно выразить как скалярное кратное другого элемента . Напротив, нетривиальные свободные абелевы группы никогда не делятся, потому что в свободной абелевой группе базисные элементы не могут быть выражены как кратные другим элементам. [39]
Симметрии любой группы можно описать как групповые автоморфизмы , обратимые гомоморфизмы группы в себя. В неабелевых группах они подразделяются на внутренние и внешние автоморфизмы, но в абелевых группах все нетождественные автоморфизмы являются внешними. При операции композиции они образуют другую группу — группу автоморфизмов данной группы . Группа автоморфизмов свободной абелевой группы конечного ранга — это общая линейная группа , которую можно конкретно (для конкретного базиса группы свободных автоморфизмов) описать как множество обратимых целочисленных матриц относительно операции умножения матриц . Их действие как симметрий на свободной абелевой группе — это просто умножение матрицы на вектор. [40]
Группы автоморфизмов двух свободных абелевых групп бесконечного ранга имеют одинаковые теории первого порядка друг с другом тогда и только тогда, когда их ранги являются эквивалентными кардиналами с точки зрения логики второго порядка . Этот результат зависит от структуры инволюций свободных абелевых групп, автоморфизмов, обратных самим себе. Имея базис свободной абелевой группы, можно найти инволюции, которые отображают любой набор непересекающихся пар базисных элементов друг в друга или отрицают любое выбранное подмножество базисных элементов, оставляя остальные базисные элементы фиксированными. И наоборот, для каждой инволюции свободной абелевой группы можно найти базис группы, в которой все базисные элементы попарно заменены местами, отброшены или оставлены неизменными инволюцией. [41]
Если свободная абелева группа является фактором двух групп , то – прямая сумма . [4]
Для произвольной абелевой группы всегда существует свободная абелева группа и сюръективный групповой гомоморфизм от до . Один из способов построения сюръекции на данную группу состоит в том, чтобы позволить быть свободной абелевой группой над , представленной в виде формальных сумм. Тогда сюръекцию можно определить путем отображения формальных сумм в соответствующие суммы членов . То есть сюръективные отображения
Когда и такие же, как указано выше, ядро сюръекции из to также является свободным абелевым, поскольку оно является подгруппой (подгруппы элементов, отображаемых в единицу). Следовательно, эти группы образуют короткую точную последовательность
В алгебраической топологии формальная сумма -мерных симплексов называется -цепью , а свободная абелева группа, имеющая в своей основе набор -симплексов , называется цепной группой. [45] Симплексы обычно берутся из некоторого топологического пространства , например, как набор -симплексов в симплициальном комплексе или набор особых -симплексов в многообразии . Любой -мерный симплекс имеет границу, которую можно представить в виде формальной суммы -мерных симплексов, а универсальное свойство свободных абелевых групп позволяет расширить этот граничный оператор до группового гомоморфизма от -цепей до -цепей. Система цепных групп, связанных таким образом граничными операторами, образует цепной комплекс , и изучение цепных комплексов составляет основу теории гомологии . [46]
Каждой рациональной функции над комплексными числами можно сопоставить знаковое мультимножество комплексных чисел , нули и полюса функции (точки, где ее значение равно нулю или бесконечно). Кратность точки в этом мультимножестве — это ее порядок как нуля функции или отрицание ее порядка как полюса. Тогда по этим данным можно восстановить саму функцию с точностью до скалярного множителя, как
Эта конструкция была обобщена в алгебраической геометрии до понятия дивизора . Существуют разные определения дивизоров, но в целом они образуют абстракцию подмногообразия коразмерности один алгебраического многообразия , множества точек решения системы полиномиальных уравнений . В случае, когда система уравнений имеет одну степень свободы (ее решения образуют алгебраическую кривую или риманову поверхность ), подмногообразие имеет коразмерность единицу, когда оно состоит из изолированных точек, и в этом случае дивизор снова является знаковым мультимножеством точек от сорта. [48] Мероморфные функции на компактной римановой поверхности имеют конечное число нулей и полюсов, а их делители образуют подгруппу свободной абелевой группы над точками поверхности, причем умножение или деление функций соответствует сложению или вычитанию элементов группы. . Чтобы быть дивизором, элемент свободной абелевой группы должен иметь кратность, равную нулю, и удовлетворять определенным дополнительным ограничениям, зависящим от поверхности. [47]
Целочисленное групповое кольцо для любой группы — это кольцо, аддитивная группа которого является свободной абелевой группой над . [49] Когда она конечна и абелева, мультипликативная группа единиц в имеет структуру прямого произведения конечной группы и конечно порожденной свободной абелевой группы. [50] [51]