Абелевы группы без кручения ранга 1 - Torsion-free abelian groups of rank 1

Бесконечно генерируемый абелевы группы имеют очень сложную структуру и гораздо менее изучены, чем конечно порожденные абелевы группы. Четное абелевы группы без кручения значительно более разнообразны по своим характеристикам, чем векторные пространства. Абелевы группы без кручения классифицировать 1 гораздо более податливы, чем люди более высокого ранга, и существует удовлетворительная классификация, даже если есть бесчисленный количество классов изоморфизма.

Определение

Абелева группа без кручения ранга 1 - это абелева группа, в которой каждый элемент, кроме единицы, имеет бесконечный порядок, и для любых двух неединичных элементов а и б между ними существует нетривиальная связь по целым числам:

{displaystyle na + mb = 0;}

Классификация абелевых групп без кручения ранга 1

Для любого неидентификационного элемента а в такой группе и любое простое число п может быть или не быть другого элемента а_п^п такой, что:

{displaystyle p ^ {n} a_ {p ^ {n}} = a;}

Если такой элемент существует для каждого пмы говорим п-корневой тип а бесконечность, в противном случае, если п - наибольшее неотрицательное целое число, которое существует в таком элементе, мы говорим п-корневой тип а является п.

Мы называем последовательность п-корневые типы элемента а для всех простых чисел коренной тип из а:

{displaystyle T (a) = {t_ {2}, t_ {3}, t_ {5}, ldots};}

.

Если б - еще один неединичный элемент группы, то существует нетривиальная связь между а и б:

{displaystyle na + mb = 0;}

где мы можем взять п и м быть совмещать.

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

Мы называем ко-конечный класс эквивалентности корневого типа быть набором корневых типов, которые отличаются от него конечной разностью при конечном числе индексов.

Класс ко-конечной эквивалентности типа нетождественного элемента является корректно определенным инвариантом абелевой группы без кручения ранга 1. Мы называем этот инвариант тип абелевой группы без кручения ранга 1.

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

Абелевы группы без кручения ранга 1 - Torsion-free abelian groups of rank 1

Определение

Классификация абелевых групп без кручения ранга 1

Рекомендации