Централизатор и нормализатор

В математике централизатор подмножества S группы G — это множество элементов G, которые коммутируют с каждым элементом S, а нормализатор S — это множество элементов G, которые коммутируют с S «в целом». Централизатор и нормализатор S являются подгруппами G и могут пролить свет на структуру G.

Определение применимо также к полугруппам.

В теории колец централизатор подмножества кольца определяется относительно операции полугруппы (умножения). Централизатор подмножества кольца R является подкольцом R. В этой статье также говорится о централизаторах и нормализаторах в алгебре Ли.

Идеализатор^[en] в полугруппе или кольце — это ещё одна конструкция в том же духе, что централизатор и нормализатор.

ОпределенияПравить

Группы и полугруппы

Централизатор подмножества S группы (или полугруппы) G определяется как

${\mathrm{C}}_G(S)=\{g\in <!--\; \in \; -->G\mid <!--\; \mid \; -->sg=gs$$\mathrm{C}_G(S)=\{g\in G\mid sg=gs$  для всех $s\in <!--\; \in \; -->S\}$$s\in S\}$ 

Иногда, в случае отсутствия двусмысленности, группа G полностью определяется нотацией. Если S={a} — множество, состоящее из единственного элемента, C_G({a}) можно сократить до C_G(a). Другим, менее употребимым, обозначением для централизатора служит Z(a), которое проводит параллель с обозначением центра группы. Здесь следует проявлять осторожность, чтобы не спутать центр группы G, Z(G), и централизатор элемента g в G, который обозначается как Z(g).

Нормализатор S в группе (или полугруппе) G по определению равен

${\mathrm{N}}_G(S)=\{g\in <!--\; \in \; -->G\mid <!--\; \mid \; -->gS=Sg\}$$\mathrm{N}_G(S)=\{ g \in G \mid gS=Sg \}$ 

Определения похожи, но не идентичны. Если g — централизатор S и s принадлежит S, то должно выполняться $gs=sg$$gs = sg$ , однако, если g — нормализатор, $gs=tg$$gs = tg$  для некоторого t из S, возможно, отличного от s. То же соглашение об опускании G и скобок для множеств из единственного элемента также используется и для нормализатора. Нормализатор не следует путать с нормальным замыканием.

Кольца, алгебры, кольца и алгебры Ли

Если R — кольцо или алгебра, а S — подмножество кольца, то централизатор S в точности совпадает c определением для групп, только вместо G стоит R.

Если $\mathfrak{L}$$\mathfrak{L}$  — алгебра Ли (или кольцо Ли^[en]) с произведением Ли [x,y], то централизатор подмножества S $\mathfrak{L}$$\mathfrak{L}$  определяется как

${\mathrm{C}}_{\mathfrak{L}}(S)=\{x\in <!--\; \in \; -->\mathfrak{L}\mid <!--\; \mid \; -->[x,s]=0$$\mathrm{C}_{\mathfrak{L}}(S)=\{ x \in \mathfrak{L} \mid [x,s]=0$  для всех $s\in <!--\; \in \; -->S\}$$s\in S \}$ 

Определение централизаторов для колец Ли связано с определением для колец следующим образом. Если R — ассоциативное кольцо, то для R можно задать скобочное произведение [x,y] = xy − yx. Естественно, xy = yx тогда и только тогда, когда [x,y] = 0. Если мы обозначим множество R со скобочным произведением как L_R, то ясно, что централизатор кольца S в R совпадает с централизатором кольца Ли S в L_R.

Нормализатор подмножества S алгебры Ли (или кольца Ли) $\mathfrak{L}$$\mathfrak{L}$  задаётся равенством

${\mathrm{N}}_{\mathfrak{L}}(S)=\{x\in <!--\; \in \; -->\mathfrak{L}\mid <!--\; \mid \; -->[x,s]\in <!--\; \in \; -->S$$\mathrm{N}_{\mathfrak{L}}(S)=\{ x \in \mathfrak{L} \mid [x,s]\in S$  для всех $s\in <!--\; \in \; -->S\}$$s\in S \}$ 

В то время как это определение является стандартным для термина «нормализатор» в алгебре Ли, следует заметить, что эта конструкция является фактически идеализатором^[en] множества S в $\mathfrak{L}$$\mathfrak{L}$ . Если S − аддитивная подгруппа $\mathfrak{L}$$\mathfrak{L}$ , то ${\mathrm{N}}_{\mathfrak{L}}(S)$$\mathrm{N}_{\mathfrak{L}}(S)$  является наибольшим подкольцом Ли (или подалгеброй Ли), в которой S является идеалом Ли.

СвойстваПравить

ПолугруппыПравить

Пусть S′ — централизатор, то есть $S^{\prime }=\{x\in <!--\; \in \; -->A:sx=xs$$S'=\{x\in A: sx=xs\$  для всех $s\in <!--\; \in \; -->S\}.$$s\in S\}.$  Тогда:

• S′ образует подполугруппу.
• $S^{\prime }=S^{‴}=S^{\prime \prime \prime \prime \prime }$$S' = S''' = S'''''$  — коммутант является своим бикоммутантом^[en].

Группы

• Централизатор и нормализатор S являются подгруппами G.
• Ясно, что C_G(S)⊆N_G(S). На самом деле, C_G(S) всегда является нормальной подгруппой N_G(S).
• C_G(C_G(S)) содержит S, но C_G(S) не обязательно содержит S. C_G(S) будет совпадать с S если st=ts для любого s и t из S. Естественно, что если H — абелева подгруппа G, C_G(H) содержит H.
• Если S является подполугруппой G, то N_G(S) содержит S.
• Если H является подгруппой G, то наибольшая подгруппа, в которой H нормальна, является подгруппой N_G(H).
• Центр G — это в точности C_G(G) и G является абелевой группой в том и только в том случае, когда C_G(G)=Z(G) = G.
• Для множеств, состоящих из одного элемента, C_G(a)=N_G(a).
• Из принципа симметрии, если S и T являются двумя подмножествами G, T⊆C_G(S) в том и только в том случае, когда S⊆C_G(T).
• Для подгруппы H группы G факторгруппа N_G(H)/C_G(H) изоморфна подгруппе Aut(H), группе автоморфизмов группы H. Поскольку N_G(G) = G и C_G(G) = Z(G), отсюда также следует, что G/Z(G) изоморфно Inn(G), подгруппе Aut(G), состоящей из всех внутренних автоморфизмов G.
• Если мы определим гомоморфизм группы T : G → Inn(G), положив T(x)(g) = T_x(g) = xgx ⁻¹, то мы можем описать N_G(S) и C_G(S) в терминах действия группы Inn(G) на G: стабилизатор S в Inn(G) — это T(N_G(S)), и подгруппа Inn(G), фиксирующая S — это T(C_G(S)).

Кольца и алгебры

• Централизаторы в кольцах и алгебрах — это подкольца и подалгебры, соответственно, а централизаторы в кольцах Ли и алгебрах Ли — это подкольца Ли и подалгебры Ли, соответственно.
• Нормализатор S в кольце Ли содержит централизатор S.
• C_R(C_R(S)) содержит S, но не обязательно совпадает с ним. Теорема о двойном централизаторе^[en] рассматривает случаи, когда в результате получаем совпадение.
• Если S является аддитивной подгруппой кольца Ли A, то N_A(S) является наибольшим подкольцом Ли A, в котором S — идеал Ли.
• Если S — подкольцо Ли кольца Ли A, то S⊆N_A(S).

См. такжеПравить

• Коммутатор
• Стабилизатор подгруппы
• Норма (теория групп)
• Множители и централизаторы (банаховы пространства)^[en]
• Теорема о двойном централизаторе^[en]
• Идеализатор^[en]

СсылкиПравить

• I. Martin Isaacs. Algebra: a graduate course. — reprint of the 1994 original. — Providence, RI: American Mathematical Society, 2009. — С. xii+516. — (Graduate Studies in Mathematics). — ISBN 978-0-8218-4799-2.
• Nathan Jacobson. Basic algebra. — 2. — Dover, 2009. — Т. 1. — ISBN 978-0-486-47189-1.
• Nathan Jacobson. Lie algebras. — republication of the 1962 original. — New York: Dover Publications Inc., 1979. — С. ix+331. — ISBN 0-486-63832-4.