Голоморф (математика) - Holomorph (mathematics)

В математика, особенно в районе алгебра известный как теория групп, то голоморф из группа группа, которая одновременно содержит (копии) группы и ее группа автоморфизмов. Голоморф предоставляет интересные примеры групп и позволяет рассматривать групповые элементы и групповые автоморфизмы в едином контексте. В теории групп для группы ${\displaystyle G}$, голоморф ${\displaystyle G}$ обозначенный ${\displaystyle \operatorname {Hol} (G)}$ можно описать как полупрямой продукт или как группа перестановок.

Хол (г) как полупрямое произведение

Если ${\displaystyle \operatorname {Aut} (G)}$ это группа автоморфизмов из ${\displaystyle G}$ тогда

${\displaystyle \operatorname {Hol} (G)=G\rtimes \operatorname {Aut} (G)}$

где умножение дается выражением

${\displaystyle (g,\alpha )(h,\beta )=(g\alpha (h),\alpha \beta ).}$ [Ур. 1]

Обычно полупрямой продукт оформляется в виде ${\displaystyle G\rtimes _{\phi }A}$ где ${\displaystyle G}$ и ${\displaystyle A}$ группы и ${\displaystyle \phi :A\rightarrow \operatorname {Aut} (G)}$ это гомоморфизм и где умножение элементов в полупрямом произведении задается как

${\displaystyle (g,a)(h,b)=(g\phi (a)(h),ab)}$

который хорошо определенный, поскольку ${\displaystyle \phi (a)\in \operatorname {Aut} (G)}$ и поэтому ${\displaystyle \phi (a)(h)\in G}$.

Для голоморфа ${\displaystyle A=\operatorname {Aut} (G)}$ и ${\displaystyle \phi }$ это карта идентичности, поэтому мы подавляем написание ${\displaystyle \phi }$ явно в умножении, данном в [Ур. 1] выше.

Например,

• ${\displaystyle G=C_{3}=\langle x\rangle =\{1,x,x^{2}\}}$ то циклическая группа порядка 3
• ${\displaystyle \operatorname {Aut} (G)=\langle \sigma \rangle =\{1,\sigma \}}$ где ${\displaystyle \sigma (x)=x^{2}}$
• ${\displaystyle \operatorname {Hol} (G)=\{(x^{i},\sigma ^{j})\}}$ с умножением на:

${\displaystyle (x^{i_{1}},\sigma ^{j_{1}})(x^{i_{2}},\sigma ^{j_{2}})=(x^{i_{1}+i_{2}2^{^{j_{1}}}},\sigma ^{j_{1}+j_{2}})}$ где показатели ${\displaystyle x}$ принимаются мод 3 и те из ${\displaystyle \sigma }$ мод 2.

Наблюдайте, например,

${\displaystyle (x,\sigma )(x^{2},\sigma )=(x^{1+2\cdot 2},\sigma ^{2})=(x^{2},1)}$

и эта группа не абелевский, так как ${\displaystyle (x^{2},\sigma )(x,\sigma )=(x,1)}$, так что ${\displaystyle \operatorname {Hol} (C_{3})}$ это неабелева группа порядка 6, которые, согласно основной теории групп, должны быть изоморфный к симметричная группа ${\displaystyle S_{3}}$.

Хол (г) как группу подстановок

Группа г действует естественным образом на себя посредством левого и правого умножения, каждое из которых дает гомоморфизм от г в симметричная группа на базовом наборе г. Один гомоморфизм определяется как λ: г → Сим (г), λ(г)(час) = г·час. Это, г отображается на перестановка полученный умножением слева каждого элемента г от г. Аналогично второй гомоморфизм ρ: г → Сим (г) определяется ρ(г)(час) = час·г⁻¹, где обратное гарантирует, что ρ(г·час)(k) = ρ(г)(ρ(час)(k)). Эти гомоморфизмы называются левым и правым. регулярные представительства из г. Каждый гомоморфизм инъективный, факт, называемый Теорема Кэли.

Например, если г = C₃ = {1, Икс, Икс² } это циклическая группа третьего порядка, то

• λ(Икс)(1) = Икс·1 = Икс,
• λ(Икс)(Икс) = Икс·Икс = Икс², и
• λ(Икс)(Икс²) = Икс·Икс² = 1,

так λ(Икс) принимает (1, Икс, Икс²) к (Икс, Икс², 1).

Образ λ является подгруппой Sym (г) изоморфна г, и это нормализатор в Sym (г) определяется как голоморф N из г. Для каждого п в N и г в г, существует час в г такой, что п·λ(г) = λ(час)·п. Если элемент п голоморфа фиксирует идентичность из г, то для 1 в г, (п·λ(г))(1) = (λ(час)·п) (1), но левая часть п(г), а правая часть час. Другими словами, если п в N фиксирует личность г, то для каждого г в г, п·λ(г) = λ(п(г))·п. Если г, час являются элементами г, и п является элементом N фиксация личности г, то применяя это равенство дважды к п·λ(г)·λ(час) и один раз в (эквивалентное) выражение п·λ(г·час) дает, что п(г)·п(час) = п(г·час). То есть каждый элемент N что фиксирует личность г на самом деле автоморфизм из г. Такой п нормализует λ(г), и единственный λ(г), который фиксирует тождество, λ(1). Настройка А быть стабилизатор тождества, подгруппа, порожденная А и λ(г) является полупрямой продукт с участием нормальная подгруппа λ(г) и дополнять А. поскольку λ(г) является переходный, подгруппа, порожденная λ(г) и точечный стабилизатор А все из N, который показывает голоморф как группу перестановок, изоморфен голоморфу как полупрямое произведение.

Это полезно, но не имеет прямого отношения к централизатор из λ(г) в Sym (г) является ρ(г) их пересечение ρ(Z (г)) = λ(Z (г)), где Z (г) это центр из г, и это А является общим дополнением к обеим этим нормальным подгруппам N.

Свойства

• ρ(г) ∩ Aut (г) = 1
• Aut (г) нормализует ρ(г) так что канонически ρ(г) Aut (г) ≅ г ⋊ Aut (г)
• ${\displaystyle \operatorname {Inn} (G)\cong \operatorname {Im} (g\mapsto \lambda (g)\rho (g))}$ поскольку λ(г)ρ(г)(час) = ghg⁻¹ (${\displaystyle \operatorname {Inn} (G)}$ это группа внутренние автоморфизмы из г.)
• K ≤ г это характеристическая подгруппа если и только если λ(K) ⊴ Hol (г)

использованная литература

• Холл, Маршалл-младший. (1959), Теория групп, Макмиллан, Г-Н  0103215