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

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

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

${\displaystyle \mathrm {N} _{G}(U)=\{g\in G\mid gU=Ug\}}$

Означення відрізняється від означення централізатора тим, що в даному випадку не повинно обов'язково бути ${\displaystyle gu=ug,\;\forall u\in U}$, але для кожного ${\displaystyle u\in U}$ має існувати такий ${\displaystyle v\in U}$, що ${\displaystyle gu=vg}$.

Нормалізатор підмножини ${\displaystyle U}$ алгебри Лі (або кільця Лі) ${\displaystyle {\mathfrak {L}}}$ задається рівністю [1]

${\displaystyle \mathrm {N} _{\mathfrak {L}}(U)=\{x\in {\mathfrak {L}}\mid [x,u]\in U}$ для всіх ${\displaystyle u\in U\}}$

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

Групи [2]

• Нормалізатор довільної множини ${\displaystyle U}$ є підгрупою ${\displaystyle G}$.
• Централізатор ${\displaystyle Z_{G}(U)}$ завжди є нормальною підгрупою нормалізатора ${\displaystyle N_{G}(U)}$.
• Якщо ${\displaystyle U}$ є піднапівгрупою у ${\displaystyle G}$, то ${\displaystyle N_{G}(U)}$ містить ${\displaystyle U}$.
• Якщо ${\displaystyle H}$ є підгрупою ${\displaystyle G}$, то найбільша підгрупа, в якій ${\displaystyle H}$ є нормальною, це ${\displaystyle N_{G}(H)}$.
• Індекс нормалізатора ${\displaystyle N_{G}(U)}$ є рівним кількості класів спряженості ${\displaystyle gUg^{-1}}$ для множини ${\displaystyle U}$, тобто ${\displaystyle |\{gUg^{-1}\mid g\in G\}|=[G:N_{G}(U)]}$.
• Якщо задати гомоморфізм груп ${\displaystyle T:G\to \operatorname {Inn} (G)}$, як ${\displaystyle T(x)(G)=T_{x}(G)=xgx^{-1}}$, то можна описати ${\displaystyle N_{G}(U)}$ в термінах дії групи ${\displaystyle \operatorname {Inn} (G)}$ на ${\displaystyle G}$: стабілізатором ${\displaystyle U}$ у (${\displaystyle \operatorname {Inn} (G)}$) є ${\displaystyle T(N_{G}(U))}$.

Кільця і алгебри Лі [1]

• Якщо ${\displaystyle U}$ — адитивна підгрупа ${\displaystyle {\mathfrak {L}}}$, то ${\displaystyle \mathrm {N} _{\mathfrak {L}}(U)}$ є найбільшим підкільцем Лі (або підалгеброю Лі), в якій ${\displaystyle U}$ є ідеалом Лі. [1]
• Якщо ${\displaystyle U}$ — підкільце Лі кільця Лі ${\displaystyle A}$, то ${\displaystyle U\subseteq \mathrm {N} _{A}(U)}$.

• Нормальна підгрупа
• Централізатор

• Isaacs, I. Martin (2009). Algebra: a graduate course. Graduate Studies in Mathematics 100 (вид. reprint of the 1994 original). Providence, RI: American Mathematical Society. с. xii+516. ISBN 978-0-8218-4799-2. MR 2472787.
• Jacobson, Nathan (2009). Basic algebra 1 (вид. 2). Dover. ISBN 978-0-486-47189-1.
• Jacobson, Nathan (1979). Lie algebras (вид. republication of the 1962 original). New York: Dover Publications Inc. с. ix+331. ISBN 0-486-63832-4. MR 559927.
• Scott, W. R. (1987) [1964]. Group Theory. New York: Dover. ISBN 0-486-65377-3.