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 noalgbricas 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