Diferencia entre revisiones de «Semigrupo»
m robot Añadido: nn:Semigruppe |
|||
Línea 31: | Línea 31: | ||
== Ejemplo == |
== Ejemplo == |
||
mya 4eva & eva Est.0803 |
|||
Un ejemplo de semigrupo conmutativo es el conjunto de los [[números naturales]]:N con la operación [[suma]]: +. Que se representa: <math> (N,+) \, </math>, podemos ver: |
Un ejemplo de semigrupo conmutativo es el conjunto de los [[números naturales]]:N con la operación [[suma]]: +. Que se representa: <math> (N,+) \, </math>, podemos ver: |
||
Revisión del 15:50 22 ene 2010
Un semigrupo es una estructura algebraica de la forma donde A es un conjunto donde se ha definido una ley de composición interna binaria . Un semigrupo cumple las siguientes propiedades:
|
|
Si además se cumple la propiedad conmutativa:
|
Se dice que es un semigrupo conmutativo o abeliano.
Ejemplo
mya 4eva & eva Est.0803 Un ejemplo de semigrupo conmutativo es el conjunto de los números naturales:N con la operación suma: +. Que se representa: , podemos ver:
Que cumple la clausura, dado que la suma de dos números naturales es otro numero natural:
- .
Que es asociativa:
- .
Y conmutativa:
- .
Luego es semigrupo conmutativo o abeliano.
Véase también
|