В математике высота элемента g абелевой группы A является инвариантом, отражающим его свойства делимости: это наибольшее натуральное число N такое, что уравнение Nx = g имеет решение x ∈ A , или символ ∞, если существует нет такого N . p - высота учитывает только свойства делимости на степени фиксированного простого числа p . Понятие высоты допускает уточнение, так что p -высота становится порядковым числом . Высота играет важную роль в теоремах Прюфера , а также в теореме Ульма , которая описывает классификацию некоторых бесконечных абелевых групп в терминах их факторов Ульма или инвариантов Ульма .
Пусть A — абелева группа, а g — элемент из A. p - высота g в A , обозначаемая hp ( g ), — это наибольшее натуральное число n такое , что уравнение pn x = g имеет решение в x ∈ A , или символ ∞, если решение существует для всех n . Таким образом, час p ( g ) = n тогда и только тогда, когда g ∈ p n A и g ∉ p n +1 A . Это позволяет уточнить понятие высоты.
Для любого ординала α существует подгруппа p α A группы A , которая является образом карты умножения, повторенной α раз, определенной с помощью трансфинитной индукции :
Подгруппы p α A образуют убывающую фильтрацию группы A , а их пересечение является подгруппой p -делимых элементов группы A , элементам которой присвоена высота ∞. Модифицированная p -высота h p * ( g ) = α , если g ∈ p α A , но g ∉ p α +1 A. Конструкция pα A функториальна в A ; в частности, подфакторы фильтрации являются инвариантами изоморфизма A .
Пусть p — фиксированное простое число. (Первая) подгруппа Ульма абелевой группы A , обозначаемая U ( A ) или A 1 , равна p ω A = ∩ n p n A , где ω — наименьший бесконечный ординал . Он состоит из всех элементов A бесконечной высоты. Семейство { U σ ( A )} подгрупп Ульма, индексированных ординалами σ, определяется трансфинитной индукцией:
Эквивалентно, U σ ( A ) = p ωσ A , где ωσ — произведение ординалов ω и σ .
Подгруппы Ульма образуют убывающую фильтрацию группы A , факторы которой U σ ( A ) = U σ ( A )/ U σ +1 ( A ) называются факторами Ульма группы A . Эта фильтрация стабилизирует и наименьший порядковый номер τ такой, что U τ ( A ) = U τ +1 ( A ) является длиной Ульма A. Наименьшая подгруппа Ульма U τ ( A ), также обозначаемая U ∞ ( A ) и p ∞ A, является наибольшей p -делимой подгруппой A ; если A — p -группа, то U ∞ ( A ) делима и, как таковая, является прямым слагаемым группы A.
Для каждого фактора Ульма U σ ( A ) p -высоты его элементов конечны и неограничены для каждого фактора Ульма, за исключением, возможно, последнего, а именно U τ −1 ( A ), когда длина Ульма τ является порядковым ординалом .
Вторая теорема Прюфера обеспечивает прямое распространение фундаментальной теоремы о конечно порожденных абелевых группах на счетные абелевы p -группы без элементов бесконечной высоты: каждая такая группа изоморфна прямой сумме циклических групп, порядки которых являются степенями p . При этом мощность множества слагаемых порядка pn однозначно определяется группой и каждая последовательность не более чем счетной мощности реализуется. Гельмут Ульм (1933) нашел распространение этой теории классификации на общие счетные p -группы: их класс изоморфизма определяется классами изоморфизма факторов Ульма и p -делимой части.
Существует дополнение к этой теореме, впервые сформулированное Лео Зиппином (1935) и доказанное Курошем (1960), которое касается существования абелевой p -группы с заданными ульмовскими факторами.
Первоначальное доказательство Ульма было основано на распространении теории элементарных делителей на бесконечные матрицы .
Джордж Макки и Ирвинг Каплански обобщили теорему Ульма на некоторые модули над полным кольцом дискретного нормирования . Они ввели инварианты абелевых групп, что привело к прямой формулировке классификации счетных периодических абелевых групп: для данной абелевой группы A , простого числа p и ординала α соответствующий α -й инвариант Ульма является размерностью фактора
где B [ p ] обозначает p -кручение абелевой группы B , т.е. подгруппу элементов порядка p , рассматриваемую как векторное пространство над конечным полем с p элементами.
Их упрощенное доказательство теоремы Ульма послужило моделью для многих дальнейших обобщений на другие классы абелевых групп и модулей.