Representação de uma álgebra

Em matemática, uma representação de uma álgebra é um módulo sobre a álgebra ou, equivalentemente, um homomorfismo de álgebras entre a álgebra e o anel de endomorfismos de um espaço vetorial.

Definições

Dado um homomorfismo de álgebras $\rho :A\rightarrow {\textrm {End}}\,V$, a notação abreviada para $\rho (a)v$ é $av$ para módulos à esquerda e $va$ para módulos à direita. Então, pode-se escrever um tipo de lei associativa: $(ab)v=a(bv)$ para módulos à esquerda, e $(va)b=v(ab)$ para módulos à direita.

Uma subrepresentação de uma representação $V$ de uma álgebra $A$ é um subespaço $W\subset V$ o qual é invariante sobre todos os operadores $\rho (a):V\to V,a\in A$.

Sejam $V_{1},V_{2}$ duas representações sobre um álgebra $A$. Um homomorfismo (ou operador intertwining) $\phi :V_{1}\to V_{2}$ é um operador linear o qual comuta com a ação de $A$, isto é, $\phi (av)=a\phi (v),\forall v\in V_{1}$. Um homomorfismo $\phi$ é dito ser um isomorfismo de representações se for um isomorfismo entre espaços vetoriais.

Proposições

Lema de Schur

Sejam $V_{1},V_{2}$ representações irredutíveis de uma álgebra $A$ sobre um corpo qualquer $\mathbb {F}$. Seja $\phi :V_{1}\to V_{2}$ um homomorfismo entre representações não identicamente nulo. Então $\phi$ é um isomorfismo.

Lema de Schur para corpos algebricamente fechados

Seja $V$ uma representação irredutível de dimensão finita de uma álgebra $A$ sobre um corpo algebricamente fechado $\mathbb {K}$, e $\phi :V\to V$ é um operador interwinning. Então $\phi =\lambda {\text{Id}}$ (o operador escalar).

Referências

• Hazewinkel, M.; Gubareni, N.M. and Kirichenko, V.V. (2004). Algebras, rings and modules. [S.l.]: Kluwer Academic Publishers. ISBN 9781402026904