Jump to content

Когомологическое измерение

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

Когомологическая размерность группы

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

Как и большинство когомологических инвариантов, когомологическая размерность включает в себя выбор «кольца коэффициентов» R с ярким частным случаем, заданным формулой , кольцо целых чисел . Пусть G дискретная группа , R — ненулевое кольцо с единицей и групповое кольцо . Группа G имеет когомологическую размерность, меньшую или равную n , и обозначается , если тривиально -модуль R имеет проективную резольвенту длины n , т.е. существуют проективные -модули и -модульные гомоморфизмы и , такой, что образ с ядром совпадает для и ядро тривиально.

Эквивалентно, когомологическая размерность меньше или равна n , если для произвольного -модуля M когомологии M G в с коэффициентами из обращаются нуль в степенях , то есть, в любое время . p - когомологическая размерность простого числа p определяется аналогично в терминах p -крученных групп . [1]

Наименьшее n такое, что когомологическая размерность группы G меньше или равна n, является когомологической размерностью группы G (с коэффициентами R ), которая обозначается .

Свободное разрешение может быть получено из свободного действия группы G на стягиваемом топологическом X. пространстве В частности, если X — сжимаемый комплекс CW размерности n со свободным действием дискретной группы G , переставляющей ячейки, то .

В первой группе примеров пусть кольцо R будет коэффициентов .

  • Свободная группа имеет когомологическую размерность один. Как показали Джон Столлингс (для конечно порожденной группы) и Ричард Свон (в полной общности), это свойство характеризует свободные группы. Этот результат известен как теорема Столлингса – Свона. [2] Теорема Столлингса-Свона для группы G гласит, что G свободна тогда и только тогда, когда каждое расширение с помощью G с абелевым ядром расщепляется. [3]
  • Фундаментальная группа компактной имеет связной отличной ориентируемой римановой поверхности, от сферы, когомологическую размерность два.
  • В более общем смысле, фундаментальная группа замкнутого, связного, ориентируемого многообразия размерности n имеет n когомологическую размерность асферического . В частности, фундаментальная группа замкнутого ориентируемого гиперболического n -многообразия имеет когомологическую размерность n .
  • Нетривиальные конечные группы имеют бесконечную когомологическую размерность над . В более общем смысле то же самое справедливо и для групп с нетривиальным кручением .

Теперь рассмотрим случай общего кольца R .

  • Группа G имеет когомологическую размерность 0 тогда и только тогда, когда ее групповое кольцо является полупростым . Таким образом, конечная группа имеет когомологическую размерность 0 тогда и только тогда, когда ее порядок (или, что то же самое, порядки ее элементов) обратим в R .
  • Обобщая теорему Столлингса–Свона для доказал , Мартин Данвуди что группа имеет когомологическую размерность не более одной над произвольным кольцом R тогда и только тогда, когда она является фундаментальной группой связного графа конечных групп, которых обратимы в R. порядки

Когомологическая размерность поля

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

p - когомологическая размерность поля K — это p когомологическая размерность группы Галуа сепарабельного замыкания поля K. - [4] Когомологическая размерность K — это верхняя грань p -когомологической размерности по всем простым числам p . [5]

См. также

[ редактировать ]
  1. ^ Гилле и Самуэли (2006) стр.136
  2. ^ Баумслаг, Гилберт (2012). Темы комбинаторной теории групп . Шпрингер Базель АГ. п. 16.
  3. ^ Грюнберг, Карл В. (1975). «Обзор гомологии в теории групп Урса Штаммбаха» . Бюллетень Американского математического общества . 81 : 851–854. дои : 10.1090/S0002-9904-1975-13858-4 .
  4. ^ Шац (1972) стр.94
  5. ^ Гилле и Самуэли (2006) стр.138
  6. ^ Гилле и Самуэли (2006) стр.139
  7. ^ Jump up to: а б Гилле и Самуэли (2006) стр.140
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: a5b9d305df24bb883a7df99d11efcab8__1715505540
URL1:https://arc.ask3.ru/arc/aa/a5/b8/a5b9d305df24bb883a7df99d11efcab8.html
Заголовок, (Title) документа по адресу, URL1:
Cohomological dimension - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)