Caráter de um grupo

Em matemática, um caráter de um grupo é o grupo de representações de um grupo por funções de valores complexos.

Estas funções podem ser pensados como representações em matrizes unidimensionais e logo são casos especiais do grupo de caráteres que se colocam no relacionado contexto da teoria do caráter. Quando um grupo é representado por matrizes, a função definida pelo traço de matrizes é chamada um caráter; no entanto, esses traços em geral, não formam um grupo.

Algumas propriedades importantes destes caráteres unidimensionais aplicáveis a caráteres em geral:

• Caráteres são invariantes sobre classes de conjugação.
• Os caráteres de representações irredutíveis são ortogonais.

A primordial importância do grupo de caráter para grupos abelianos finitos é na teoria dos números, onde são usados para construir caráteres de Dirichlet. O grupo de caráter do grupo cíclico também aparece na teoria da transformada de Fourier discreta. Para grupos abelianos localmente compactos, o grupo de caráter (com uma pressuposição de continuidade) é central na análise de Fourier.

Noções preliminares

Sendo G um grupo arbitrário. Uma função $f:G\to ℂ\mathrm{\setminus }\{0\}$ mapeando o grupo aos números complexos diferentes de zero é chamada um caráter de G se ele é um homomorfismo de grupos — isto é, se $\mathrm{\forall }{g}_1,g_2\in Gf(g_1{g}_2)=f(g_1)f(g_2)$ e $f(e)=1$ onde e é a identidade do grupo.

Se f é um caráter de um grupo finito G, então cada função de valor f(g) é uma raíz da unidade (desde que todos os elementos de um grupo finito tenham ordem finita).

Cada caráter f é uma constante sobre classes de conjugação de G, que é, f(h g h⁻¹) = f(g). Por esta razão, o caráter é algumas vezes chamado função de classe.

Um grupo abeliano finito de ordem n tem exatamente n caráteres distintos. Estes são notados por f₁, ..., f_n. A função f₁ é a representação trivial; que é, $\mathrm{\forall }g\in G{f}_1(g)=1$. Ela é chamada de caráter principal de G; os outros são chamados de caráteres não principais. Os caráteres não principais tem a propriedade que $f_i(g)\ne 1$ para algum $g\in G$.

Definição

Se G é um grupo abeliano, então o conjunto de caráteres f_k forma um grupo abeliano sob multiplicação $(f_j{f}_k)(g)=f_j(g)f_k(g)$ para cada elemento $g\in G$. Este grupo é o grupo de caráteres de G e é algumas vezes notado como $\hat{G}$. Esta é de ordem n. O elemento identidade de $\hat{G}$ é o caráter principal f₁. A inversa de f_k é a recíproca 1/f_k. Note que desde que $\mathrm{\forall }g\in G|f_k(g)|=1$, a inversa igual ao conjugado complexo.

Ortogonalidade de caráteres

Considere-se a matriz $n\times n$ A=A(G) cujo elementos são $A_{jk}=f_j(g_k)$ onde $g_k$ é o késimo elemento de G.

A soma das entradas na jésima linha de A é dada por

$\sum _{k=1}^n{A}_{jk}=\sum _{k=1}^n{f}_j(g_k)=0$ if $j\ne 1$, e

$\sum _{k=1}^n{A}_{1k}=n$.

A soma das entradas na késima coluna A é dada por

$\sum _{j=1}^n{A}_{jk}=\sum _{j=1}^n{f}_j(g_k)=0$ if $k\ne 1$, e

$\sum _{j=1}^n{A}_{j1}=\sum _{j=1}^n{f}_j(e)=n$.

Sendo que $A^{\ast }$ denota o conjugado transposto de A. Então

$A{A}^{\ast }=A^{\ast }A=nI$.

Isto implica que a desejada relação de ortogonalidade para os caráteres: i.e.,

$\sum _{k=1}^n{f_k}^{*}(g_i)f_k(g_j)=n{\delta }_{ij}$ ,

onde ${\delta }_{ij}$ é o delta de Kronecker e $f_k^{*}(g_i)$ é o conjugado complexo de $f_k(g_i)$.

Referências

• Ver capítulo 6 de Apostol, Tom M. (1976), Introduction to analytic number theory, Undergraduate Texts in Mathematics, New York-Heidelberg: Springer-Verlag, MR0434929, ISBN 978-0-387-90163-3

Ver também

• Dualidade de Pontryagin