Jump to content

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

Это хорошая статья. Нажмите здесь для получения дополнительной информации.
(Перенаправлено с Интегральной основы )

В математике свободная абелева группа — это абелева группа с базисом . Быть абелевой группой означает, что это множество сложения с операцией , которая является ассоциативной , коммутативной и обратимой. Базис, также называемый целым базисом , — это подмножество , в котором каждый элемент группы может быть однозначно выражен как целочисленная комбинация конечного числа базисных элементов. Например, двумерная решетка целых чисел образует свободную абелеву группу с покоординатным сложением в качестве операции и с двумя точками (1,0) и (0,1) в качестве основы. Свободные абелевы группы обладают свойствами, которые делают их похожими на векторные пространства , и их можно эквивалентно назвать свободными. -modules , свободные модули над целыми числами. Теория решеток изучает свободные абелевы подгруппы вещественных векторных пространств . В алгебраической топологии свободные абелевы группы используются для определения цепных групп , а в алгебраической геометрии они используются для определения дивизоров .

Элементы свободной абелевой группы с базисом можно описать несколькими эквивалентными способами. К ним относятся формальные суммы свыше , которые являются выражениями вида где каждый является ненулевым целым числом, каждый является отдельным базисным элементом, и сумма имеет конечное число членов. Альтернативно, элементы свободной абелевой группы можно рассматривать как знаковые мультимножества, содержащие конечное число элементов , причем кратность элемента мультимножества равна его коэффициенту в формальной сумме. Другой способ представить элемент свободной абелевой группы — как функцию от целым числам с конечным числом ненулевых значений; для этого функционального представления групповая операция представляет собой поточечное сложение функций.

Каждый набор имеет свободную абелеву группу с как его основа. Эта группа единственна в том смысле, что любые две свободные абелевы группы с одним и тем же базисом изоморфны . Вместо того, чтобы строить ее путем описания ее отдельных элементов, свободная абелева группа с базисом может быть построен как прямая сумма копий аддитивной группы целых чисел, по одной копии на каждый член . Альтернативно, свободная абелева группа с базисом можно описать презентацией с элементами в качестве его генераторов, а коммутаторы пар членов — в качестве его реляторов. Ранг мощность свободной абелевой группы — это базиса ; каждые две базы одной и той же группы имеют одинаковый ранг, и любые две свободные абелевы группы одного и того же ранга изоморфны. Каждая подгруппа свободной абелевой группы сама является свободной абелевой; этот факт позволяет понимать общую абелеву группу как гомоморфизма между свободными абелевыми фактор свободной абелевой группы по «отношениям» или как коядро инъективного группами . Единственные свободные абелевы группы, которые являются свободными группами, — это тривиальная группа и бесконечная циклическая группа .

Определение и примеры

[ редактировать ]
Решетка в евклидовой плоскости . Добавление любых двух синих точек решетки дает еще одну точку решетки; группа, образованная в результате этой операции сложения, является свободной абелевой группой.

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

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

Базис – это подмножество элементов тем свойством, что каждый элемент можно сформировать единственным образом, выбрав конечное число базисных элементов из , выбрав ненулевое целое число для каждого из выбранных базовых элементов и складывая вместе копии базовых элементов для чего является положительным, и копии для каждого базового элемента, для которого является отрицательным. [2] В частном случае единичный элемент всегда может быть сформирован таким образом как комбинация нулевых базисных элементов в соответствии с обычным соглашением для пустой суммы , и не должно быть возможности найти какую-либо другую комбинацию, представляющую тождество. [3]

числа Целые , при обычной операции сложения образуют свободную абелеву группу с базисом . Целые числа являются коммутативными и ассоциативными, с 0 в качестве аддитивной идентичности и с каждым целым числом, имеющим аддитивную обратную величину , его отрицание. Каждый неотрицательный это сумма копии , и каждое отрицательное целое число это сумма копии , поэтому базовое свойство также удовлетворяется. [1]

Примером того, где групповая операция отличается от обычного сложения чисел, являются положительные рациональные числа. , которые образуют свободную абелеву группу с обычной операцией умножения чисел и с простыми числами в качестве основы. Умножение коммутативно и ассоциативно, причем число как его идентичность и с как обратный элемент для каждого положительного рационального числа . Тот факт, что простые числа образуют основу для умножения этих чисел, следует из фундаментальной теоремы арифметики , согласно которой каждое положительное целое число может быть однозначно разложено на множители в произведение конечного числа простых чисел или их обратных чисел. Если — положительное рациональное число, выраженное простейшим образом, то может быть выражено как конечная комбинация простых чисел, входящих в факторизацию и . Количество копий каждого простого числа, используемого в этой комбинации, является его показателем при факторизации , или отрицание его показателя при факторизации . [4]

Полиномы одной переменной с целыми коэффициентами образуют свободную абелеву группу при полиномиальном сложении со степенями в качестве основы. Как абстрактная группа, это то же самое, что (изоморфная группа ) мультипликативная группа положительных рациональных чисел. Один из способов сопоставить эти две группы друг с другом, показав, что они изоморфны, — это переосмыслить показатель степени. простое число в мультипликативной группе рациональных чисел, которое вместо этого дает коэффициент при в соответствующем многочлене или наоборот. Например, рациональное число имеет показатели для первых трёх простых чисел и, таким образом, будет соответствовать многочлену имеющие одинаковые коэффициенты для его постоянных, линейных и квадратичных членов. Поскольку эти отображения просто интерпретируют одни и те же числа, они определяют биекцию между элементами двух групп. А поскольку групповая операция умножения положительных рациональных чисел действует аддитивно на показатели степеней простых чисел точно так же, как групповая операция сложения многочленов действует на коэффициенты многочленов, эти отображения сохраняют структуру группы; они являются гомоморфизмами . Биективный гомоморфизм называется изоморфизмом, и его существование показывает, что эти две группы обладают одинаковыми свойствами. [5]

Хотя представление каждого элемента группы в терминах данного базиса уникально, свободная абелева группа обычно имеет более одного базиса, и разные базисы обычно приводят к разным представлениям ее элементов. Например, если заменить любой элемент базиса обратным ему, получится другой базис. В качестве более сложного примера можно привести двумерную целочисленную решетку. , состоящая из точек плоскости с целыми декартовыми координатами свободную абелеву группу , образует при сложении векторов с базисом . [1] Для этого элемент можно написать , где «умножение» определяется так, что, например, . Другого способа написать нет на той же основе. Однако на другой основе, например, , это можно записать как . Обобщая этот пример, каждая решетка образует конечно порожденную свободную абелеву группу. [6] -мерная целочисленная решетка имеет естественный базис, состоящий из положительных целых единичных векторов , но у него также есть много других базисов: если это целочисленная матрица с определителем , то строки образуют базис, и наоборот, каждый базис целочисленной решетки имеет этот вид. [7] Подробнее о двумерном случае см. в разделе «Фундаментальная пара периодов» .

Конструкции

[ редактировать ]

Каждое множество может быть базисом свободной абелевой группы, единственной с точностью до групповых изоморфизмов. Свободная абелева группа для данного базисного набора может быть построена несколькими различными, но эквивалентными способами: как прямая сумма копий целых чисел, как семейство целочисленных функций, как знаковое мультимножество или путем представления группы. .

Произведения и суммы

[ редактировать ]

Прямое произведение групп состоит из наборов элементов каждой группы в произведении с покомпонентным сложением. Прямое произведение двух свободных абелевых групп само по себе является свободным абелевым, а базис представляет собой непересекающееся объединение базисов двух групп. [8] В более общем смысле, прямое произведение любого конечного числа свободных абелевых групп является свободным абелевым. -мерная целочисленная решетка, например, изоморфна прямому произведению копии целочисленной группы . Тривиальная группа также считается свободным абелевым с базой пустого множества . [9] Его можно интерпретировать как пустой продукт , прямой продукт нулевых копий . [10]

Для бесконечных семейств свободных абелевых групп прямое произведение не обязательно является свободным абелевым. [8] Например, группа Бэра – Спекера , группа неисчислимая , образовавшаяся как прямой продукт счетного копий числа , как было показано в 1937 году Рейнхольдом Баером, не является свободным абелевым, [11] хотя Эрнст Шпекер доказал в 1950 году, что все ее счетные подгруппы свободны абелевы. [12] Вместо этого, чтобы получить свободную абелеву группу из бесконечного семейства групп, следует использовать прямую сумму, а не прямое произведение. Прямая сумма и прямое произведение одинаковы, когда они применяются к конечному числу групп, но различаются в бесконечных семействах групп. В прямой сумме элементы снова представляют собой кортежи элементов из каждой группы, но с ограничением, что все эти элементы, кроме конечного числа, являются тождественными для своей группы. Прямая сумма бесконечного числа свободных абелевых групп остается свободной абелевой. Он имеет основу, состоящую из кортежей, в которых все элементы, кроме одного, являются единицами, а оставшийся элемент является частью основы своей группы. [8]

Любую свободную абелеву группу можно описать как прямую сумму копий , по одному экземпляру для каждого члена его базы. [13] [14] Эта конструкция позволяет любому набору стать основой свободной абелевой группы. [15]

Целочисленные функции и формальные суммы

[ редактировать ]

Учитывая набор , можно определить группу элементы которого являются функциями от к целым числам, где скобка в верхнем индексе указывает, что включены только функции с конечным числом ненулевых значений.Если и две такие функции, то это функция, значения которой являются суммами значений в и : то есть, . Эта поточечного сложения дает операция строение абелевой группы. [16]

Каждый элемент из данного набора соответствует члену , функция для чего и для чего для всех . Каждая функция в является однозначной линейной комбинацией конечного числа базисных элементов: Таким образом, эти элементы составить основу для , и является свободной абелевой группой.Таким образом, каждый набор можно положить в базис свободной абелевой группы. [16]

Элементы также могут быть записаны как формальные суммы , выражения в форме суммы конечного числа членов, где каждый член записывается как произведение ненулевого целого числа с отдельным членом . Эти выражения считаются эквивалентными, если они содержат одинаковые термины, независимо от порядка терминов, и их можно добавлять путем образования объединения терминов, добавления целочисленных коэффициентов для объединения терминов с одним и тем же базисным элементом и удаления терминов, для которых эта комбинация дает нулевой коэффициент. [4] Их также можно интерпретировать как знаковые мультимножества конечного числа элементов . . [17]

Презентация

[ редактировать ]

Представление группы — это набор элементов, которые порождают группу (это означает, что все элементы группы могут быть выражены как произведения конечного числа генераторов) вместе с «реляторами», продуктами генераторов, которые дают единичный элемент. Элементы группы, определенные таким образом, представляют собой классы эквивалентности последовательностей образующих и их обратных в соответствии с отношением эквивалентности , которое позволяет вставлять или удалять любую пару отношения или пары, обращенной к генератору, как непрерывную подпоследовательность. Свободная абелева группа с базисом имеет представление, в котором генераторы являются элементами , а реляторы являются коммутаторами пар элементов . Здесь коммутатор из двух элементов и это продукт ; установка этого продукта на идентичность причин равняться , так что и добираться. В более общем смысле, если все пары генераторов коммутируют, то и все пары произведений генераторов также коммутируют. Следовательно, группа, порожденная этим представлением, является абелевой, и реляторы представления образуют минимальный набор соотношений, необходимый для того, чтобы оно было абелевым. [18]

Когда набор образующих конечен, представление свободной абелевой группы также конечно, поскольку в представление можно включить лишь конечное число различных коммутаторов. Этот факт, а также тот факт, что каждая подгруппа свободной абелевой группы является свободной абелевой группой ( ниже ), можно использовать, чтобы показать, что каждая конечно порожденная абелева группа конечно представима. Ибо, если конечно порождается множеством , это фактор свободной абелевой группы по свободной абелевой подгруппой, подгруппой, порожденной связями представления . Но так как эта подгруппа сама является свободной абелевой, то она также конечно порождена, и ее базис (вместе с коммутаторами над ) образует конечное множество соотношений для представления . [19]

В качестве модуля

[ редактировать ]

Модули : они состоят из систем элементов, которые над целыми числами определяются аналогично векторным пространствам над действительными или рациональными числами можно складывать друг с другом, с операцией скалярного умножения на целые числа, совместимой с этой операцией сложения. Каждую абелеву группу можно рассматривать как модуль целых чисел со скалярной операцией умножения, определяемой следующим образом: [20]

если
если

Однако, в отличие от векторных пространств, не все абелевы группы имеют базис, поэтому те, у которых он есть, получили специальное название «свободные». Свободный модуль — это модуль, который можно представить в виде прямой суммы по его базовому кольцу , поэтому свободные абелевы группы и свободные -модули являются эквивалентными понятиями: каждая свободная абелева группа (с учетом вышеописанной операции умножения) является свободной -модуль, и каждый бесплатный -модуль происходит из свободной абелевой группы. Таким образом, [21] Помимо прямой суммы, еще один способ объединить свободные абелевы группы — использовать произведение тензорное -модули. Тензорное произведение двух свободных абелевых групп всегда является свободным абелевым, базис которого является декартовым произведением базисов двух групп в произведении. [22]

Многие важные свойства свободных абелевых групп могут быть обобщены на свободные модули над областью главных идеалов . Например, подмодули свободных модулей в областях главных идеалов свободны, и этот факт, как пишет Хэтчер (2002), позволяет «автоматическое обобщение» гомологического механизма на эти модули. [23] Кроме того, теорема о том, что каждый проективный -модуль свободен, обобщает таким же образом. [24]

Характеристики

[ редактировать ]

Универсальная собственность

[ редактировать ]

Свободная абелева группа с основой обладает следующим универсальным свойством : для каждой функции от в абелеву группу , существует единственный гомоморфизм группы из к который простирается . [4] [9] Здесь гомоморфизм группы — это отображение одной группы в другую, которое согласуется с законом группового произведения: выполнение произведения до или после отображения дает один и тот же результат. По общему свойству универсальных свойств это показывает, что «абелева группа базы» единственна с точностью до изоморфизма. Следовательно, универсальное свойство можно использовать как определение свободной абелевой группы основания. . Единственность группы, определяемой этим свойством, показывает, что все остальные определения эквивалентны. [15]

Именно из-за этого универсального свойства свободные абелевы группы называются «свободными»: они являются свободными объектами в категории абелевых групп , категории , которая имеет абелевы группы в качестве своих объектов и гомоморфизмы в качестве своих стрелок. Отображение базиса в его свободную абелеву группу является функтором , сохраняющим структуру отображением категорий множеств в абелевы группы, и сопряжено с функтором забывания из абелевых групп в множества. [25] Однако свободная абелева является группа не свободной группой, за исключением двух случаев: свободная абелева группа, имеющая пустой базис (нулевой ранг, дающий тривиальную группу ) или имеющая только один элемент в базисе (ранг один, дающий бесконечную циклическую группу) . ). [9] [26] Другие абелевы группы не являются свободными группами, поскольку в свободных группах должно отличаться от если и являются разными элементами базиса, тогда как в свободных абелевых группах два произведения должны быть одинаковыми для всех пар элементов. В общей категории групп дополнительным ограничением является требование, чтобы , тогда как это необходимое свойство в категории абелевых групп. [27]

Классифицировать

[ редактировать ]

Каждые два базиса одной и той же свободной абелевой группы имеют одинаковую мощность , поэтому мощность базиса образует инвариант группы, известный как ее ранг. [28] [29] Две свободные абелевы группы изоморфны тогда и только тогда, когда они имеют одинаковый ранг. [4] Свободная абелева группа конечно порождена тогда и только тогда, когда ее ранг равен конечному числу. , и в этом случае группа изоморфна . [30]

Это понятие ранга можно обобщить от свободных абелевых групп до абелевых групп, которые не обязательно свободны. Ранг абелевой группы определяется как ранг свободной абелевой подгруппы из для которого факторгруппа является торсионной группой . Эквивалентно, это мощность максимального подмножества который генерирует свободную подгруппу. Ранг является групповым инвариантом: он не зависит от выбора подгруппы. [31]

Подгруппы

[ редактировать ]

Каждая подгруппа свободной абелевой группы сама является свободной абелевой группой. Этот результат Ричарда Дедекинда [32] был предшественником аналогичной теоремы Нильсена-Шрайера о том, что каждая подгруппа свободной группы свободна, и является обобщением того факта, что каждая нетривиальная подгруппа бесконечной циклической группы является бесконечной циклической . Для доказательства нужна аксиома выбора . [25] Доказательство с использованием леммы Цорна (одного из многих предположений, эквивалентных выбранной аксиоме) можно найти в » Сержа Ланга «Алгебре . [33] Соломон Лефшец и Ирвинг Каплански утверждают, что использование принципа хорошего порядка вместо леммы Цорна приводит к более интуитивному доказательству. [14]

В случае конечно порожденных свободных абелевых групп доказательство проще, не требует аксиомы выбора и приводит к более точному результату. Если является подгруппой конечно порожденной свободной абелевой группы , затем бесплатно и существует основа из и положительные целые числа (то есть каждый из них делит следующий) такой, что является основой Более того, последовательность зависит только от и и не на основании. [34] Конструктивное доказательство существования части теоремы обеспечивается любым алгоритмом, вычисляющим нормальную форму Смита матрицы целых чисел. [35] Единственность следует из того, что для любого , делитель младших рангов наибольший общий матрицы не изменяется во время вычисления нормальной формы Смита и является произведением в конце вычислений. [36]

Кручение и делимость

[ редактировать ]

Все свободные абелевы группы не имеют кручения , что означает отсутствие неединичного элемента группы. и ненулевое целое число такой, что .Наоборот, все конечно порожденные абелевы группы без кручения являются свободными абелевыми. [9] [37]

Аддитивная группа рациональных чисел дает пример абелевой группы без кручения (но не конечно порожденной), которая не является свободной абелевой. [38] Одна из причин, по которой не является свободным абелевым, состоит в том, что он делится , а это означает, что для каждого элемента и каждое ненулевое целое число , можно выразить как скалярное кратное другого элемента . Напротив, нетривиальные свободные абелевы группы никогда не делятся, потому что в свободной абелевой группе базисные элементы не могут быть выражены как кратные другим элементам. [39]

Симметрия

[ редактировать ]

Симметрии любой группы можно описать как групповые автоморфизмы , обратимые гомоморфизмы группы в себя. В неабелевых группах они подразделяются на внутренние и внешние автоморфизмы, но в абелевых группах все нетождественные автоморфизмы являются внешними. они образуют другую группу — группу автоморфизмов данной группы При операции композиции . Группа автоморфизмов свободной абелевой группы конечного ранга общая линейная группа , которое можно конкретно (для конкретного базиса группы свободных автоморфизмов) описать как множество обратимые целочисленные матрицы при операции матричного умножения . Их действие как симметрии на свободной абелевой группе. это просто умножение матрицы на вектор. [40]

Группы автоморфизмов двух свободных абелевых групп бесконечного ранга имеют одинаковые теории первого порядка друг с другом тогда и только тогда, когда их ранги являются эквивалентными кардиналами с точки зрения логики второго порядка . Этот результат зависит от структуры инволюций свободных абелевых групп, автоморфизмов, обратных самим себе. Имея базис свободной абелевой группы, можно найти инволюции, которые отображают любой набор непересекающихся пар базисных элементов друг в друга или отрицают любое выбранное подмножество базисных элементов, оставляя другие базисные элементы фиксированными. И наоборот, для каждой инволюции свободной абелевой группы можно найти базис группы, для которого все базисные элементы попарно заменены, отброшены или оставлены неизменными инволюцией. [41]

Отношение к другим группам

[ редактировать ]

Если свободная абелева группа является фактором двух групп , затем это прямая сумма . [4]

Дана произвольная абелева группа , всегда существует свободная абелева группа и сюръективный групповой гомоморфизм из к . Один из способов построения сюръекции на заданную группу это позволить быть свободной абелевой группой над , представленные в виде формальных сумм. Тогда можно определить сюръекцию путем отображения формальных сумм в соответствующим суммам членов . То есть сюръективные отображения где целочисленный коэффициент базисного элемента в данной формальной сумме,первая сумма находится в , а вторая сумма находится в . [29] [42] Эта сюръекция представляет собой единственный групповой гомоморфизм, расширяющий функцию , и поэтому его конструкцию можно рассматривать как пример универсального свойства.

Когда и такие же, как указано выше, ядро сюръективности от к также является свободной абелевой, так как является подгруппой (подгруппа элементов, сопоставленных с идентичностью).Следовательно, эти группы образуют короткую точную последовательность в котором и являются свободными абелевыми и изоморфна фактор-группе . Это свободное разрешение . [2] Более того, предполагая аксиому выбора, [43] свободные абелевы группы — это в точности проективные объекты в категории абелевых групп . [4] [44]

Приложения

[ редактировать ]

Алгебраическая топология

[ редактировать ]

В алгебраической топологии формальная сумма -мерный симплекс называется -цепь и свободная абелева группа, имеющая набор -симплексы, поскольку их основа называется цепной группой. [45] Симплексы обычно берутся из некоторого топологического пространства , например, как набор -симплексы в симплициальном комплексе , или множество особых -симплексы в многообразии . Любой -мерный симплекс имеет границу, которую можно представить в виде формальной суммы -мерные симплексы, а универсальное свойство свободных абелевых групп позволяет расширить этот граничный оператор до группового гомоморфизма из -цепи к -цепи. Система цепных групп, связанных таким образом граничными операторами, образует цепной комплекс , и изучение цепных комплексов составляет основу теории гомологии . [46]

Алгебраическая геометрия и комплексный анализ

[ редактировать ]
Рациональная функция имеет ноль четвертого порядка в 0 (черная точка в центре графика) и простые полюса в четырех комплексных числах. и (белые точки на концах четырех лепестков). Его можно представить (с точностью до скаляра) делителем где является базовым элементом комплексного числа в свободной абелевой группе над комплексными числами.

Каждой рациональной функции над комплексными числами можно сопоставить знаковое мультимножество комплексных чисел. , нули и полюса функции (точки, где ее значение равно нулю или бесконечно). Множественность точки в этом мультимножестве — это ее порядок как нуля функции или отрицание ее порядка как полюса.Тогда по этим данным можно восстановить саму функцию с точностью до скалярного множителя, как Если эти мультимножества интерпретировать как члены свободной абелевой группы над комплексными числами, то произведение или частное двух рациональных функций соответствует сумме или разности двух членов группы. Таким образом, мультипликативную группу рациональных функций можно разложить на мультипликативную группу комплексных чисел (соответствующие скалярные множители для каждой функции) и свободную абелеву группу над комплексными числами. Рациональные функции, имеющие ненулевое предельное значение на бесконечности ( мероморфные функции на сфере Римана ), образуют подгруппу этой группы, в которой сумма кратностей равна нулю. [47]

Эта конструкция была обобщена в алгебраической геометрии до понятия дивизора . Существуют разные определения дивизоров, но в целом они образуют абстракцию подмногообразия коразмерности один алгебраического многообразия , множества точек решения системы полиномиальных уравнений . В случае, когда система уравнений имеет одну степень свободы (ее решения образуют алгебраическую кривую или риманову поверхность ), подмногообразие имеет коразмерность единицу, когда оно состоит из изолированных точек, и в этом случае дивизор снова является знаковым мультимножеством точек от сорта. [48] Мероморфные функции на компактной римановой поверхности имеют конечное число нулей и полюсов, а их делители образуют подгруппу свободной абелевой группы над точками поверхности, причем умножение или деление функций соответствует сложению или вычитанию элементов группы. Чтобы быть дивизором, элемент свободной абелевой группы должен иметь кратность, равную нулю, и удовлетворять определенным дополнительным ограничениям, зависящим от поверхности. [47]

Групповые кольца

[ редактировать ]

Целое групповое кольцо , для любой группы , — кольцо, аддитивной группой которого является свободная абелева группа над . [49] Когда конечна и абелева , мультипликативная группа единиц в имеет структуру прямого произведения конечной группы и конечно порожденной свободной абелевой группы. [50] [51]

  1. Перейти обратно: Перейти обратно: а б с Симс, Чарльз К. (1994), «Раздел 8.1: Свободные абелевы группы» , Вычисления с конечно представленными группами , Энциклопедия математики и ее приложений, том. 48, Издательство Кембриджского университета, с. 320, номер домена : 10.1017/CBO9780511574702 , ISBN  0-521-43213-8 , МР   1267733
  2. Перейти обратно: Перейти обратно: а б Вик, Джеймс В. (1994), Теория гомологии: введение в алгебраическую топологию , Тексты для аспирантов по математике, том. 145, Спрингер, стр. 4, 70, ISBN.  9780387941264
  3. ^ Некоторые источники определяют свободные абелевы группы при условии, что единственным представлением идентичности является пустая сумма, а не рассматривают ее как особый случай уникального представления всех элементов группы; см., например, Sims (1994) .
  4. Перейти обратно: Перейти обратно: а б с д и ж Фукс, Ласло (2015), «Раздел 3.1: Свободность и проективность» , Абелевы группы , Монографии Спрингера по математике, Cham: Springer, стр. 75–80, doi : 10.1007/978-3-319-19422-6 , ISBN  978-3-319-19421-9 , МР   3467030
  5. ^ Брэдли, Дэвид М. (2005), Подсчет положительных рациональных оснований: краткий обзор , arXiv : math/0509025 , Bibcode : 2005math......9025B
  6. ^ Моллин, Ричард А. (2011), Расширенная теория чисел с приложениями , CRC Press, стр. 182, ISBN  9781420083293
  7. ^ Бремнер, Мюррей Р. (2011), Приведение решеточного базиса: введение в алгоритм LLL и его приложения , CRC Press, стр. 6, ISBN  9781439807026
  8. Перейти обратно: Перейти обратно: а б с Хангерфорд (1974) , Упражнение 5, с. 75.
  9. Перейти обратно: Перейти обратно: а б с д Ли, Джон М. (2010), «Свободные абелевы группы» , Введение в топологические многообразия , Тексты для аспирантов по математике, том. 202 (2-е изд.), Springer, стр. 244–248, ISBN.  9781441979407
  10. ^ Как прямо указано, например, в Хартли, Брайан; Турулл, Александр (1994), «О характерах взаимно простых групп операторов и соответствии характеров Глаубермана», Journal für die Reine und Angewandte Mathematik , 1994 (451): 175–219, doi : 10.1515/crll.1994.451.175 , MR   1277300 , S2CID   118116330 , доказательство леммы 2.3: «тривиальная группа является прямым произведением пустого семейства групп»
  11. ^ Баер, Рейнхольд (1937), «Абелевы группы без элементов конечного порядка», Duke Mathematical Journal , 3 (1): 68–122, doi : 10.1215/S0012-7094-37-00308-9 , hdl : 10338.dmlcz/ 100591 , МР   1545974
  12. ^ Спекер, Эрнст (1950), «Аддитивные группы последовательностей целых чисел», Portugaliae Math. , 9 : 131–140, MR   0039719.
  13. ^ Мак Лейн, Сондерс (1995), Гомология , Классика математики, Springer, стр. 93, ISBN  9783540586623
  14. Перейти обратно: Перейти обратно: а б Каплански, Ирвинг (2001), Теория множеств и метрические пространства , Издательская серия AMS Chelsea, том. 298, Американское математическое общество, стр. 124–125, ISBN.  9780821826942
  15. Перейти обратно: Перейти обратно: а б Хангерфорд, Томас В. (1974), «II.1 Свободные абелевы группы» , Алгебра , Тексты для выпускников по математике, том. 73, Спрингер, стр. 70–75, ISBN.  9780387905181 . См., в частности, теорему 1.1, стр. 72–73, и следующие за ней замечания.
  16. Перейти обратно: Перейти обратно: а б Джоши, К.Д. (1997), Прикладные дискретные структуры , New Age International, стр. 45–46, ISBN.  9788122408263
  17. ^ ван Глаббек, Роб; Гольц, Урсула ; Шике-Уффманн, Йенс-Вольфхард (2013), «О характеристике распределяемости», Логические методы в информатике , 9 (3): 3:17, 58, arXiv : 1309.3883 , doi : 10.2168/LMCS-9(3:17) 2013 , МР   3109601 , S2CID   17046529
  18. ^ Хангерфорд (1974) , Упражнение 3, с. 75.
  19. ^ Джонсон, Д.Л. (2001), Симметрии , серия Springer по математике для студентов, Springer, стр. 71, ISBN  9781852332709
  20. ^ Сахай, Вивек; Бист, Викас (2003), Алгебра , Alpha Science International Ltd., стр. 152, ISBN  9781842651575
  21. ^ Ротман, Джозеф Дж. (2015), Продвинутая современная алгебра , Американское математическое общество, стр. 450, ISBN  9780821884201
  22. ^ Корнер, ALS (2008), «Группы единиц порядков в Q-алгебрах», Модели, модули и абелевы группы , Вальтер де Грюйтер, Берлин, стр. 9–61, doi : 10.1515/9783110203035.9 , MR   2513226 . См., в частности, доказательство леммы H.4, с. 36 , где используется этот факт.
  23. ^ Хэтчер, Аллен (2002), Алгебраическая топология , издательство Кембриджского университета, стр. 196, ISBN  9780521795401
  24. ^ Вермани, Л.Р. (2004), Элементарный подход к гомологической алгебре , Монографии и обзоры по чистой и прикладной математике, CRC Press, стр. 80, ISBN  9780203484081
  25. Перейти обратно: Перейти обратно: а б Бласс, Андреас (1979), «Инъективность, проективность и аксиома выбора», Transactions of the American Mathematical Society , 255 : 31–59, doi : 10.1090/S0002-9947-1979-0542870-6 , JSTOR   1998165 , MR   0542870 . О связи со свободными объектами см. следствие 1.2. В примере 7.1 представлена ​​модель теории множеств без выбора и несвободная проективная абелева группа. в этой модели это подгруппа свободной абелевой группы , где представляет собой совокупность атомов и является конечным целым числом. Бласс пишет, что эта модель делает использование выбора необходимым для доказательства свободы каждой проективной группы; по тем же соображениям это также показывает, что выбор важен для доказательства свободы подгрупп свободных групп.
  26. ^ Хангерфорд (1974) , Упражнение 4, с. 75.
  27. ^ Хангерфорд (1974) , с. 70.
  28. ^ Хангерфорд (1974) , Теорема 1.2, с. 73.
  29. Перейти обратно: Перейти обратно: а б Хофманн, Карл Х.; Моррис, Сидни А. (2006), Структура компактных групп: учебник для студентов - справочник для эксперта , Исследования Де Грюйтера по математике, том. 25 (2-е изд.), Вальтер де Грюйтер, с. 640, ISBN  9783110199772
  30. ^ Мачи, Антонио (2012), «Теорема 4.10», Группы: введение в идеи и методы теории групп , Unitext, vol. 58, Милан: Springer, с. 172, номер домена : 10.1007/978-88-470-2421-2 , ISBN.  978-88-470-2420-5 , МР   2987234
  31. ^ Ротман, Джозеф Дж. (1988), Введение в алгебраическую топологию , Тексты для аспирантов по математике, том. 119, Спрингер, стр. 61–62, ISBN.  9780387966786
  32. ^ Джонсон, Д.Л. (1980), Темы теории групповых представлений , серия лекций Лондонского математического общества, том. 42, Издательство Кембриджского университета, с. 9, ISBN  978-0-521-23108-4 , МР   0695161
  33. ^ Приложение 2 §2, стр. 880 из Ланг, Серж (2002), Алгебра , Тексты для выпускников по математике , том. 211 (пересмотренное третье издание), Нью-Йорк: Springer-Verlag, ISBN.  978-0-387-95385-4 , МР   1878556 , Збл   0984.00001
  34. ^ Хангерфорд (1974) , Теорема 1.6, с. 74.
  35. ^ Джонсон (2001) , стр. 71–72.
  36. ^ Норман, Кристофер (2012), «1.3 Уникальность нормальной формы Смита», Конечно сгенерированные абелевы группы и подобие матриц над полем , серия Springer по математике для студентов, Springer, стр. 32–43, Bibcode : 2012fgag.book... ..N , ISBN  9781447127307
  37. ^ Хангерфорд (1974) , Упражнение 9, с. 75.
  38. ^ Хангерфорд (1974) , Упражнение 10, с. 75.
  39. ^ Хангерфорд (1974) , Упражнение 4, с. 198.
  40. ^ Бридсон, Мартин Р .; Фогтманн, Карен (2006), «Группы автоморфизмов свободных групп, поверхностных групп и свободных абелевых групп», в Фарбе, Бенсоне (ред.), Проблемы отображения групп классов и смежные темы , Труды симпозиумов по чистой математике, том. 74, Провиденс, Род-Айленд: Американское математическое общество, стр. 301–316, arXiv : math/0507612 , doi : 10.1090/pspum/074/2264548 , MR   2264548 , S2CID   17710182
  41. ^ Толстых, Владимир (2005), «Что группа автоморфизмов свободной абелевой группы A знает об A ?», Бласс, Андреас ; Чжан, И (ред.), Логика и ее приложения , Современная математика, том. 380, Провиденс, Род-Айленд: Американское математическое общество, стр. 283–296, arXiv : math/0701752 , doi : 10.1090/conm/380/07117 , MR   2167584 , S2CID   18107280
  42. ^ Хангерфорд (1974) , Теорема 1.4, с. 74.
  43. ^ Теорема о проективности свободных абелевых групп эквивалентна аксиоме выбора; видеть Мур, Грегори Х. (2012), Аксиома выбора Цермело: ее истоки, развитие и влияние , Courier Dover Publications, стр. xii, ISBN  9780486488417
  44. ^ Гриффит, Филлип А. (1970), Теория бесконечных абелевых групп , Чикагские лекции по математике, University of Chicago Press, стр. 18, ISBN  0-226-30870-7
  45. ^ Каваньяро, Катрин ; Хейт, Уильям Т. II (2001), Словарь классической и теоретической математики , Большой словарь математики, том. 3, CRC Press, с. 15, ISBN  9781584880509
  46. ^ Эдельсбруннер, Герберт ; Харер, Джон (2010), Вычислительная топология: Введение , Провиденс, Род-Айленд: Американское математическое общество, стр. 79–81, ISBN  9780821849255
  47. Перейти обратно: Перейти обратно: а б Дедекинд, Ричард ; Вебер, Генрих (2012), Теория алгебраических функций одной переменной , История математики, том. 39, перевод Джона Стиллвелла , Американское математическое общество, стр. 13–15, ISBN.  9780821890349
  48. ^ Миранда, Рик (1995), Алгебраические кривые и римановы поверхности , Аспирантура по математике , том. 5, Американское математическое общество, с. 129, ISBN  9780821802687
  49. ^ Штейн, Шерман К .; Сабо, Шандор (1994), Алгебра и мозаика: гомоморфизмы на службе геометрии , Математические монографии Каруса, том. 25, Вашингтон, округ Колумбия: Математическая ассоциация Америки, с. 198, ISBN  0-88385-028-1 , МР   1311249
  50. ^ Хигман, Грэм (1940), «Единицы групповых колец», Труды Лондонского математического общества , вторая серия, 46 : 231–248, doi : 10.1112/plms/s2-46.1.231 , MR   0002137
  51. ^ Аюб, Раймонд Г.; Аюб, Кристина (1969), «О групповом кольце конечной абелевой группы», Бюллетень Австралийского математического общества , 1 (2): 245–261, doi : 10.1017/S0004972700041496 , MR   0252526
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 01bf78e3fb6e3ddf37dddab5c4d17a50__1699837740
URL1:https://arc.ask3.ru/arc/aa/01/50/01bf78e3fb6e3ddf37dddab5c4d17a50.html
Заголовок, (Title) документа по адресу, URL1:
Free abelian group - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)