Grupoide (estrutura algébrica)

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

Um grupoide ou magma é uma estrutura algébrica básica que possui apenas a propriedade do fechamento. Especificamente, trata-se de um par (G,∗) em que G é um conjunto dotado da operação binária ∗: G × GG, mas não se impõe nenhum outro axioma sobre tal operação.

O termo magma para esse tipo de estrutura foi introduzido por Bourbaki. O termo grupoide, introduzido por Øystein Ore, é mais antigo, mas continua em uso comum. Contudo, grupoide refere-se também a um conceito inteiramente diferente em teoria das categorias.

Conforme enriquecemos ∗ com axiomas, temos:

Wiki letter w.svg Este artigo sobre matemática é mínimo. Você pode ajudar a Wikipédia expandindo-o.