H-расширение

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

История и происхождение термина

Понятие расширения группы восходит к работам Отто Гёльдера (конец XIX века), который изучал композиционные ряды и факторгруппы. Термин «H-расширение» не является классическим и, вероятно, возник в контексте конкретных математических задач, где буква «H» обозначает либо группу (например, группу Гейзенберга или группу гомологий), либо свойство (например, «наследственное» расширение). В русскоязычной математической литературе этот термин встречается редко; чаще используются более общие понятия, такие как «расширение группы», «полупрямое произведение» или «центральное расширение». В западной литературе (например, в работах по теории групп и гомологической алгебре) под H-расширением иногда понимают расширение, индуцированное действием группы на некотором H-пространстве, что связано с топологическими аспектами.

Определение и основные понятия

Пусть \( G \) — произвольная группа, а \( H \) — другая группа, действующая на \( G \) автоморфизмами (то есть задан гомоморфизм \( \phi: H \to \operatorname{Aut}(G) \)). H-расширением группы \( G \) называется группа \( E \), которая является расширением \( G \) с помощью \( H \), то есть существует точная последовательность групп: \[ 1 \to G \to E \to H \to 1, \] где действие \( H \) на \( G \) (сопряжением) совпадает с заданным действием \( \phi \). В частном случае, когда \( H \) — циклическая группа порядка 2, такое расширение часто называют H-расширением в контексте теории групп Ли и алгебраических групп, где оно реализует внешний автоморфизм (например, комплексное сопряжение).

Связь с полупрямым произведением

Если расширение расщепляется (то есть существует подгруппа \( E \), изоморфная \( H \), пересекающаяся с \( G \) тривиально), то \( E \) изоморфно полупрямому произведению \( G \rtimes_\phi H \). В противном случае расширение называется нерасщепляемым. H-расширение может быть как расщепляемым, так и нерасщепляемым, в зависимости от конкретной группы \( G \) и действия \( H \).

Классификация и примеры

Примеры из теории групп

1. Диэдральная группа \( D_n \) является H-расширением циклической группы \( C_n \) с помощью группы \( C_2 \), где \( C_2 \) действует на \( C_n \) инверсией (отражением). Это расщепляемое расширение, так как \( D_n \cong C_n \rtimes C_2 \).
2. Группа кватернионов \( Q_8 \) не является расщепляемым H-расширением циклической группы \( C_4 \) с помощью \( C_2 \), хотя и имеет подгруппу индекса 2, изоморфную \( C_4 \). Действие \( C_2 \) на \( C_4 \) здесь нетривиально, но расширение не расщепляется.
3. Группа Гейзенберга \( H_3(\mathbb{Z}) \) (нильпотентная группа) может быть представлена как H-расширение абелевой группы \( \mathbb{Z}^2 \) с помощью \( \mathbb{Z} \), где действие задаётся сдвигом.

Примеры из теории групп Ли

В теории групп Ли H-расширение часто используется для построения вещественных форм комплексных групп. Например, комплексная группа \( \operatorname{SL}(2,\mathbb{C}) \) имеет вещественную форму \( \operatorname{SL}(2,\mathbb{R}) \), которая является H-расширением своей максимальной компактной подгруппы \( \operatorname{SO}(2) \) с помощью группы \( \mathbb{R} \). Аналогично, группа \( \operatorname{SU}(2) \) является H-расширением \( \operatorname{U}(1) \) с помощью \( \mathbb{Z}_2 \).

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

В топологии H-расширение может относиться к расширению гомотопических групп. Например, для пространства \( X \) с действием группы \( H \) на гомотопических группах \( \pi_n(X) \) строится расширение, связанное с расслоением. В частности, для \( H = \mathbb{Z}_2 \) и \( X = S^n \) такое расширение даёт группу \( \pi_n(\mathbb{RP}^n) \).

Применение

В теории групп

H-расширения используются для классификации групп с заданными свойствами, например, для описания всех групп порядка \( p^3 \) (где \( p \) — простое число) как расширений абелевых групп с помощью циклических. Они также играют роль в теории когомологий групп: вторые группы когомологий \( H^2(H, G) \) классифицируют все расширения \( G \) с помощью \( H \) с заданным действием.

В теории групп Ли и алгебраических групп

H-расширения применяются для построения вещественных форм и редуктивных групп. Например, все вещественные формы комплексной полупростой группы Ли могут быть получены как H-расширения её компактной формы с помощью группы \( \mathbb{Z}_2 \), действующей комплексным сопряжением. Это связано с классификацией Картана.

В квантовой механике и физике

В физике H-расширения встречаются при описании симметрий квантовых систем, например, в теории спина и изотопического спина. Группа \( \operatorname{SU}(2) \) как H-расширение \( \operatorname{U}(1) \) используется в модели кварков. Также расширения групп возникают в теории калибровочных полей при учёте центральных зарядов.

В кристаллографии

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

Критика и ограничения

Термин «H-расширение» не является стандартизированным, что может приводить к путанице. В разных математических школах под ним могут понимать разные конструкции, от простого полупрямого произведения до сложных когомологических расширений. Кроме того, не для всякой группы \( G \) и действия \( H \) существует нетривиальное H-расширение; это зависит от наличия внешних автоморфизмов и когомологических препятствий. В некоторых контекстах (например, в теории групп Ли) H-расширение может быть не единственным, и его выбор требует дополнительных условий (например, сохранения структуры алгебры Ли).

Интересные факты

• H-расширение циклической группы порядка 2 с помощью самой себя даёт группу \( \mathbb{Z}_4 \), если расширение не расщепляется, и группу \( \mathbb{Z}_2 \times \mathbb{Z}_2 \), если расщепляется.
• В теории гомологических алгебр H-расширения связаны с понятием «расширения модулей» и классифицируются с помощью групп Ext.
• В русскоязычной литературе термин «H-расширение» иногда используется в контексте теории групп Гейзенберга, где буква H обозначает группу Гейзенберга, а расширение строится с помощью центральной подгруппы.

Источники

• Курош А. Г. «Теория групп» (3-е изд., 1967) — разделы о расширениях групп и полупрямых произведениях.
• Винберг Э. Б. «Линейные группы и алгебры Ли» (2001) — примеры H-расширений в теории групп Ли.
• Хамфрис Дж. «Введение в теорию алгебр Ли и их представлений» (1972) — обсуждение расширений в контексте алгебр Ли.
• Маклейн С. «Гомологии» (1963) — когомологическая классификация расширений групп.
• Бурбаки Н. «Элементы математики. Алгебра. Главы I–III» (1962) — общая теория расширений групп.