Magma (matemática): diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Linha 1:
Um '''grupóide''' ou '''magma''' é uma estrutura algébrica básica que possui apenas a propriedade do [[fechamento]]. Especificamente, outrata-se seja, éde um par (''G'',∗) em que ''G'' é um [[conjunto]] edotado da [[operação binária]] ∗: ''G'' × ''G'' → ''G'', émas umanão se impõe nenhum outro [[operação bináriaaxioma]] sobre tal operação.
 
Um grupóide é um conjunto ''G'' dotado de uma [[operação binária]] para a qual vale a propriedade do
O termo [[magma|Grupóide]] para esse tipo de estrutura foi introduzido por [[Bourbaki]]. O termo grupóide, introduzido por [[Øystein Ore]], é mais antigo, mas continua em uso comum. Contudo, grupóide refere-se também a um conceito inteiramente diferente em [[teoria das categorias]].
fechamento: o elemento resultante da composição de ''a'' e ''b'' pertence a ''G'' é um elemento de ''G''.
 
Conforme enriquecemos ∗ com axiomas, temos:
 
* [[SemigrupoQuase-grupo]] - se a operação de divisão é [[associatividade|associativa]]sempre possível.
* [[Semigrupo]] - se a operação é [[associatividade|associativa]].
 
{{mínimo sobre|matemática}}