Характер (математика) - Character (mathematics)

В математика, а персонаж (чаще всего) особый вид функция из группа к поле (такой как сложные числа ). Есть как минимум два различных, но пересекающихся значения.^[1] Другие варианты использования слова «персонаж» почти всегда уточняются.

Мультипликативный характер

А мультипликативный характер (или же линейный характер, или просто персонаж) на группе грамм это групповой гомоморфизм из грамм к мультипликативная группа поля (Артин 1966 ), обычно поле сложные числа. Если грамм - произвольная группа, то множество Ch (грамм) этих морфизмов образует абелева группа при поточечном умножении.

Эта группа называется группа персонажей из грамм. Иногда только унитарный считаются символы (таким образом изображение находится в единичный круг ); другие такие гомоморфизмы называются квази-персонажи. Персонажи Дирихле можно рассматривать как частный случай этого определения.

Мультипликативные символы линейно независимый, т.е. если ${ displaystyle chi _ {1}, chi _ {2}, ldots, chi _ {n}}$ разные персонажи в группе грамм затем из ${ displaystyle a_ {1} chi _ {1} + a_ {2} chi _ {2} + ldots + a_ {n} chi _ {n} = 0}$ следует, что ${ displaystyle a_ {1} = a_ {2} = cdots = a_ {n} = 0}$ .

Характер представления

В персонаж ${ displaystyle chi: G rightarrow F}$ представительства ${ Displaystyle phi двоеточие G to mathrm {GL} (V)}$ группы грамм на конечномерном векторное пространство V над полем F это след из представление ${ displaystyle phi}$ (Серр 1977 ), т.е.

${ Displaystyle чи _ { фи} (г) = Тр ( фи (г))}$ за ${ displaystyle g in G}$

В общем случае след не является гомоморфизмом групп, и множество следов не образует группу.^{[нужна цитата ]}. Символы одномерных представлений идентичны одномерным представлениям, поэтому указанное выше понятие мультипликативного символа можно рассматривать как частный случай многомерных символов. Изучение представлений с использованием символов называется "теория характера "и одномерные символы также называются" линейными символами "в этом контексте.

Альтернативное определение

Если ограничено Finite Абелева группа с ${ Displaystyle 1 раз 1}$ представительство в ${ Displaystyle mathbb {C}}$ (т.е. ${ Displaystyle GL (V) = GL (1, mathbb {C})}$ ) следующее альтернативное определение было бы эквивалентно приведенному выше (для Абелевы группы, каждое матричное представление разлагается на прямая сумма из ${ Displaystyle 1 раз 1}$ представления. Для неабелевой группы исходное определение было бы более общим, чем это):

Характер ${ displaystyle chi}$ группы ${ Displaystyle (G, cdot)}$ это отображение ${ displaystyle chi: G rightarrow mathbb {C}}$ такой, что ${ Displaystyle чи (х CDOT у) = чи (х) чи (у)}$ для всех ${ displaystyle x, y in G}$

Если ${ displaystyle G}$ конечный Абелева группа, персонажи играют роль гармоник. Для бесконечного Абелева группа, приведенное выше будет заменено на ${ displaystyle chi: G rightarrow mathbb {T}}$ куда ${ displaystyle mathbb {T}}$ это Круговая группа.

Смотрите также

внешняя ссылка

[1] "персонаж в nLab". ncatlab.org. Получено 2017-10-31.

[1]