Monoide: diferenças entre revisões

9 bytes removidos ,  8 de junho de 2010
m
sem resumo de edição
m
Em [[álgebra abstrata]], um '''monoide''' é uma [[estrutura algébrica]] com uma única operação binária, associativa e com umelemento neutro.
Em [[álgebra abstrata]], um '''monóide''' é uma [[estrutura algébrica]] com uma única, associativa e binária operação, e um elemento identidade. Monóides ocorrem em alguns ramos da Matemática. Em [[geometria]], um monóide captura a idéia de composição de função. Essa noção é abstraída da [[teoria das categorias]], no qual o monóide é uma [[categoria]] com um objeto. Os monóides são usados comumente para fornecer fundações algébricas à [[ciência da computação]]. Nesse caso, alguns tipos de monóides são usados para descrever uma [[máquina de estado finito]].
 
Em [[álgebra abstrata]], um '''monóide''' é uma [[estrutura algébrica]] com uma única, associativa e binária operação, e um elemento identidade. MonóidesMonoides ocorrem em alguns ramos da Matemática[[matemática]]. Em [[geometria]], um monóidemonoide captura a idéia de composição de função. Essa noção é abstraída da [[teoria das categorias]], no qual o monóidemonoide é uma [[categoria]] com um objeto. Os monóidesmonoides são usados comumente para fornecer fundações algébricas à [[ciência da computação]]. Nesse caso, alguns tipos de monóidesmonoides são usados para descrever uma [[máquina de estado finito]].
 
== Definição formal ==
#é um [[semi-grupo]] dotado da existencia de um elemento neutro '''e''': existe um único '''e''' tal que para todo <math> a \in G </math> vale <math> \left(a*e\right) = a = \left(e*a\right) </math>.
 
Um monóidemonoide para o qual todo elemento possui elemento inverso é um [[grupo (matemática)|grupo]].
 
{{Correlatos
2 617

edições