Estrutura algébrica
Origem: Wikipédia, a enciclopédia livre.
Em álgebra abstracta, uma estrutura algébrica consiste num conjunto associado a uma ou mais operações sobre o conjunto que satisfazem certos axiomas. Caso não existam ambiguidades, geralmente identifica-se o conjunto com a estrutura algébrica. Por exemplo, um grupo (G,*) refere-se geralmente apenas como grupo G.
Dependendo das operações e axiomas, assim as estruturas algébricas ganham os seus nomes.
O que se segue é uma lista parcial de estruturas algébricas:
- Grupóide: um conjunto com uma única operação binária
- Quase-grupo: um grupóide no qual a divisão é sempre possível
- Laço1: um quase-grupo com um elemento neutro
- Semi-grupo: um grupóide associativo
- Monóide: um semigrupo com um elemento neutro
- Grupo: um monóide, no qual cada elemento tem um inverso ou, o que é equivalente, um laço1 associativo
- Grupo abeliano: um grupo que obedece a comutatividade
- Anel: um conjunto com uma operação de grupo abeliano definida como adição, junto com uma operação de monóide como a multiplicação, que satisfaça a distributividade
- Corpo2: um anel no qual os elementos não-zero formam um grupo abeliano sob multiplicação
- Módulo sobre um dado anel A: um conjunto com uma operação de grupo abeliano definida como adição, junto com uma operação unitária aditiva de multiplicação escalar para cada elemento de A, com uma condição de associatividade a ligar a multiplicação escalar à multiplicação em A
- Espaço vectorial: um módulo sobre um corpo
- Álgebra: um módulo ou espaço vectorial, junto com uma operação bilinear definida como multiplicação
- Álgebra associativa: uma álgebra cuja multiplicação é associativa
- Álgebra comutativa: uma álgebra associativa cuja multiplicação é comutativa
- Álgebra de Kleene: duas operações binárias e um operador unitário, modelados em expressões regulares
- Reticulado: um conjunto com duas operações comutativas, associativas e idempotentes, que satisfazem a lei de absorção
- Álgebra booleana: um reticulado limitado, distributivo e complementado
- Conjunto: embora alguns matemáticos discordem, um conjunto pode ser considerado uma estrutura algébrica degenerada, com zero operações definidas sobre ela
As proposições que se aplicam colectivamente a todas as estruturas algébricas são investigadas no ramo da matemática conhecido como álgebra universal.
As estruturas algébricas tambéms e podem definir em conjuntos com estruturas não-algébricas adicionais, como os espaços topológicos. Por exemplo, um grupo topológico é um espaço topológico com uma estrutura de grupo tal que as operações de multiplicação e inversão são contínuas; um grupo topológico possui quer uma estrutura topológica, quer uma estrutura algébrica. Outros exemplos comuns são espaços vectoriais topológicos e grupos de Lie.
Cada estrutura algébrica tem a sua própria noção de homomorfismo, uma função que é compatível com a operação ou as operações dadas. Desta forma, cada estrutura algébrica 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 teórico das categorias. Análogamente, a categoria dos grupos topológicos (com os homomorfismos contínuos de grupo como morfismos) é uma categoria de espaços topológicos com estrutura extra.
Notas:
- Terminologia duvidosa. Em inglês, recebe o nome de loop.
- Em inglês, recebe o nome de field.
