Módulo (álgebra)

generalização de espaço vetorial, em que os escalares estão em um anel em vez de um corpo
 Nota: Para outros significados de Módulo, veja Módulo.

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

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

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

 

é dito um A-módulo se satisfaz

  1.  
  2.  
  3.  
  4.  

 .

Um submódulo N de M é um subgrupo de M fechado para o produto escalar. Isto é, N é submódulo de M se  :

  e  

Exemplos

editar
  • Qualquer grupo abeliano pode ser naturalmente considerado como um módulo sobre  , definindo-se   de forma canônica.
  • Se A é um anel, então  , com soma e produto definidos de forma usual, é um módulo sobre A.
  • Um exemplo de módulo com base é  que é  .   é gerado por  , mas  é  de   que não é finitamente gerado, logo não tem base.
  • Tomando-se o conjunto dos números racionais   como um módulo sobre  , temos que qualquer conjunto com mais de um elemento não é linearmente independente. No entanto, qualquer conjunto unitário não gera  . Este é um contra-exemplo de um módulo sem o análogo a uma base.

Referências

editar
  1. Garcia, Arnaldo; Lequain, Yves. Elementos de Álgebra. Rio de Janeiro. IMPA (2006).
  1. Atiyah, M.F; MacDonald, I.G. Introduction to Commutative Algebra. Addison-Wesley Plubishing Company.(1969).