Módulo (álgebra)

Em álgebra abstrata, o conceito de módulo sobre um anel é a generalização da noção de espaço vetorial, em que, em vez de um corpo, temos um anel como o conjunto de escalares. Assim, um módulo, como o espaço vetorial, é o produto entre elementos de um grupo abeliano com um anel. A multiplicação é associativa e distributiva.

Módulos estão fortemente relacionados à representação de grupos. Eles também são um conceito central em álgebra comutativa e álgebra homológica e são usados largamente em topologia algébrica e geometria algébrica.

Importância[editar | editar código-fonte]

Como em um módulo os vetores sofrem a ação de escalares definidos em um anel, este é uma generalização significativa do conceito de espaço vetorial, cujo conjunto de escalares forma um corpo. Muito da teoria de módulos consiste em estender ao máximo possível as propriedades dos espaços vetoriais aos módulos sobre anéis bem-definidos, como os domínios principais.

As propriedades de independência linear e conjunto gerador são trivialmente estendidas a módulos. Seria possível, portanto, definir base, mas como em toda generalização há conceitos que são perdidos, como o de base. Isto é, nem sobre todos os módulos é possível achar ou definir uma base. E, nem todo submódulo de um módulo que possuí base também possui, diferente do espaço vetorial.

Definição de Módulo e Submódulo[editar | editar código-fonte]

Seja A um anel comutativo com unidade. Um grupo abeliano aditivo (M,+) dotado da multiplicação escalar:

${\begin{array}{c c c }A\times M&\longrightarrow &M\\(a,m)&\mapsto &am\end{array}}$

é dito um A-módulo se satisfaz

$1m_{1}=m_{1}$
$(a_{1}a_{2})m_{1}=a_{1}(a_{2}m_{1})$
$(a_{1}+a_{2})m_{1}=a_{1}m_{1}+a_{2}m_{1}$
$a_{1}(m_{1}+m_{2})=a_{1}m_{1}+a_{1}m_{2}$

$\forall \,a_{1},a_{2}\in A{\text{ e }}\forall \,m_{1},m_{2}\in M$ .

Um submódulo N de M é um subgrupo de M fechado para o produto escalar. Isto é, N é submódulo de M se $\forall \,a\in A{\text{ e }}\forall \,n,m\in N$ :

$an\in N$ e $n+m\in N$

Exemplos[editar | editar código-fonte]

Qualquer grupo abeliano pode ser naturalmente considerado como um módulo sobre $\mathbb {Z} \,$ , definindo-se $n\ x=\underbrace {x+x+\cdots +x} _{n-vezes}$ de forma canônica.
Se A é um anel, então $A^{n}\,$ , com soma e produto definidos de forma usual, é um módulo sobre A.
Um exemplo de módulo com base é $M=\mathbb {R} [x_{1},x_{2},...]$ que é $M{\text{-módulo}}$ . $M$ é gerado por $\{1\}$ , mas $N=(x_{1},x_{2},...)$ é $M{\text{-submódulo}}$ de $M$ que não é finitamente gerado, logo não tem base.
Tomando-se o conjunto dos números racionais $\mathbb {Q} \,$ como um módulo sobre $\mathbb {Z} \,$ , temos que qualquer conjunto com mais de um elemento não é linearmente independente. No entanto, qualquer conjunto unitário não gera $\mathbb {Q} \,$ . Este é um contra-exemplo de um módulo sem o análogo a uma base.