You are on page 1of 3

lgebra abstrata

lgebra abstrata a parte da lgebra que estuda estruturas algbricas como grupos,
anis e corpos. O termo abstrata utilizada para diferenciar da lgebra elementar
estudada no colgio que tem a ver com operaes de adio, multiplicao, etc. e
regras para manipular variveis e expresses algbricas.
Exemplos de estruturas algbricas so apenas uma operao binria so:

Semigrupos
Monides
Quasi-Grupos
Grupos
Estruturas algbricas mais complicadas so:

Anis e Corpos
Espaos vetoriais
lgebras associativas e lgebras de Lie.

Na lgebra universal, todas estas definies e fatos que se aplicam de forma geral a
todos as estruturas algbricas so agrupados. Todas as classes de objeto acima,
juntamente com uma noo prpria de homomorfismo, formam categorias, e a Teoria
de Categorias frequentemente fornece o formalismo para traduzir e comparar as
diferentes estruturas algbricas.

http://tiosam.com/?q=%C3%81lgebra_abstracta
Em lgebra abstracta, uma estrutura algbrica consiste num conjunto associado a
uma ou mais operaes sobre o conjunto que satisfazem certos axiomas. Caso no
existam ambiguidades, geralmente identifica-se o conjunto com a estrutura algbrica.
Por exemplo, um grupo (G,*) refere-se geralmente apenas como grupo G.
Algumas estruturas algbricas so definidas com mais de um conjunto, por exemplo,
um espao vectorial tem dois conjuntos, um conjunto de vectores e outro de escalares.
Dependendo das operaes e axiomas, assim as estruturas algbricas ganham os seus
nomes.
O que se segue uma lista parcial de estruturas algbricas:
Grupide: um conjunto com uma nica operao binria
Quase-grupo: um grupide no qual a diviso sempre possvel
Lao1: um quase-grupo com um elemento neutro
Semi-grupo: um grupide associativo
Monide: um semigrupo com um elemento neutro
Grupo: um monide, no qual cada elemento tem um inverso ou, o que
equivalente, um lao1 associativo

Grupo abeliano: um grupo que obedece a comutatividade


Anel: um conjunto com uma operao de grupo abeliano definida como adio,
junto com uma operao de semigrupo como a multiplicao, que satisfaa a
distributividade
Corpo2: um anel no qual os elementos no-zero formam um grupo abeliano sob
multiplicao
Reticulado: um conjunto com duas operaes comutativas, associativas e
idempotentes, que satisfazem a lei de absoro
lgebra booleana: um reticulado limitado, distributivo e complementado

Nas estruturas seguintes, temos dois conjuntos, um deles (em princpio mais simples,
chamado de conjunto de escalares) e outro mais complicado. Alm das operaes
internas de cada conjunto, podemos ter operaes conectando os dois conjuntos:

Mdulo: M um mdulo sobre um anel A quando M um grupo abeliano, e


temos uma funo de A x M em M, definida como multiplicao escalar, com
regras que se parecem formalmente com a distributividade e a associatividade
Espao vectorial: um mdulo sobre um corpo. Se V um espao vectorial sobre
um corpo F, chamamos os elementos de V de vectores e os elementos de F de
escalares
lgebra: um mdulo ou espao vectorial, junto com uma operao bilinear entre
vectores definida como multiplicao
lgebra associativa: uma lgebra cuja multiplicao associativa
lgebra comutativa: uma lgebra associativa cuja multiplicao comutativa
lgebra de Kleene: duas operaes binrias e um operador unitrio, modelados
em expresses regulares
Conjunto: embora alguns matemticos discordem, um conjunto pode ser
considerado uma estrutura algbrica degenerada, com zero operaes definidas
sobre ela
As proposies que se aplicam colectivamente a todas as estruturas algbricas so
investigadas no ramo da matemtica conhecido como lgebra universal.
As estruturas algbricas tambm podem ser definidas em conjuntos com estruturas
no-algbricas adicionais, como os espaos topolgicos. Por exemplo, um grupo
topolgico um espao topolgico com uma estrutura de grupo tal que as operaes
de multiplicao e inverso so contnuas; um grupo topolgico possui quer uma
estrutura topolgica, quer uma estrutura algbrica. Outros exemplos comuns so
espaos vectoriais topolgicos e grupos de Lie.
Cada estrutura algbrica tem a sua prpria noo de homomorfismo, uma funo que
compatvel com a operao ou as operaes dadas. Desta forma, cada estrutura
algbrica define uma categoria. Por exemplo, a categoria dos grupos tem como
objectos todos os grupos e como morfismos todos os homomorfismos desses grupos.
Esta categoria, uma vez que uma categoria concreta, pode ser vista como uma
categoria de conjuntos com estrutura extra, no sentido terico das categorias.
Analogamente, a categoria dos grupos topolgicos (com os homomorfismos contnuos
de grupo como morfismos) uma categoria de espaos topolgicos com estrutura
extra.

Notas:
1. Terminologia duvidosa. Em ingls, recebe o nome de loop.
2. Em ingls, recebe o nome de field.

http://tiosam.com/?q=Estruturas_alg%C3%A9bricas