Magma (matemática)

estrutura algébrica

Em álgebra abstrata, um magma, ou, mais raramente, um grupoide, é um tipo de estrutura algébrica básica. Mais precisamente, um magma consiste de um conjunto munido de uma única operação binária que por definição deve ser fechada, mas que não precisa necessariamente satisfazer axiomas adicionais como associatividade ou comutatividade.

História e terminologia

editar

O termo grupoide foi introduzido em 1927 por Heinrich Brandt para descrever a estrutura algébrica atualmente conhecida como grupoide de Brandt. O termo foi então apropriado por B. A. Hausmann e Øystein Ore em 1937 para descrever a estrutura algébrica definida por um conjunto munido de uma operação binária como neste artigo. Em revisões de artigos subsequentes, Brandt se posicionou de forma contrária a essa ambiguidade terminológica. O grupoide introduzido anteriormente por Brandt é de fato um grupoide no sentido usado na teoria de categorias, mas não no sentido introduzido por Hausmann e Ore.

O termo magma foi usado por Jean-Pierre Serre em seu livro Lie Algebras and Lie Groups.[1] O termo aparece também no livro Éléments de Mathématique - Algèbre - Chapitres 1 à 3 publicado por Nicolas Bourbaki.[2]

Tipos de magmas

editar

Conforme enriquecemos a operação binária de um magma com axiomas, temos:

Referências

editar
  1. Serre, Jean-Pierre (1992). «Lie Algebras and Lie Groups». Lecture Notes in Mathematics (em inglês). ISSN 0075-8434. doi:10.1007/978-3-540-70634-2. Consultado em 29 de junho de 2025 
  2. Bourbaki, Nicolas (2007). Algèbre. Col: Eléments de mathématique 2e éd ed. Berlin: Springer 
  Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.