Нормалізатор

Матеріал з testwiki
Перейти до навігації Перейти до пошуку

В абстрактній алгебрі нормалізатором підмножини U групи G називається множина елементів G, які комутують загалом із підмножиною U, але не обов'язково з кожним її елементом, як у випадку централізатора. Дане означення також може бути застосоване для інших алгебричних структур, зокрема моноїдів, напівгруп, кілець, алгебр Лі і т. д.

Означення

Групи і напівгрупи

Нормалізатором підмножини U в групі (або напівгрупі) G за означенням називається підмножина

NG(U)={gGgU=Ug}

Означення відрізняється від означення централізатора тим, що в даному випадку не повинно обов'язково бути gu=ug,uU, але для кожного uU має існувати такий vU, що gu=vg.

Нормалізатор підмножини U алгебри Лі (або кільця Лі) 𝔏 задається рівністю Шаблон:Sfn

N𝔏(U)={x𝔏[x,u]U для всіх uU}

Хоч це означення є стандартним для терміна «нормалізатор» в алгебрі Лі, слід зауважити, що ця конструкція є фактично ідеалізатором множини U в 𝔏.

Властивості

Групи Шаблон:Sfn
  • Нормалізатор довільної множини U є підгрупою G.
  • Централізатор ZG(U) завжди є нормальною підгрупою нормалізатора NG(U).
  • Якщо U є піднапівгрупою у G, то NG(U) містить U.
  • Якщо H є підгрупою G, то найбільша підгрупа, в якій H є нормальною, це NG(H).
  • Індекс нормалізатора NG(U) є рівним кількості класів спряженості gUg1 для множини U, тобто |{gUg1gG}|=[G:NG(U)].
  • Якщо задати гомоморфізм груп T:GInn(G), як T(x)(G)=Tx(G)=xgx1, то можна описати NG(U) в термінах дії групи Inn(G) на G: стабілізатором U у (Inn(G)) є T(NG(U)).
Кільця і алгебри Лі Шаблон:Sfn
  • Якщо U — адитивна підгрупа 𝔏, то N𝔏(U) є найбільшим підкільцем Лі (або підалгеброю Лі), в якій U є ідеалом Лі. Шаблон:Sfn
  • Якщо U — підкільце Лі кільця Лі A, то UNA(U).

Примітки

Шаблон:Reflist

Див. також

Література