Diferencia entre revisiones de «Semigrupo conmutativo»
(→Ejemplos.) |
m (Texto reemplazado: «<div align="justify">» por «») |
||
| (No se muestran 5 ediciones intermedias de 3 usuarios) | |||
| Línea 1: | Línea 1: | ||
{{Definición|nombre=Semigrupo conmutativo|imagen=Matemática.jpg|concepto=Estructura algebraica de un conjunto y una operación sobre éste que es cerrada, asociativa y conmutituva.}} | {{Definición|nombre=Semigrupo conmutativo|imagen=Matemática.jpg|concepto=Estructura algebraica de un conjunto y una operación sobre éste que es cerrada, asociativa y conmutituva.}} | ||
| − | + | ||
'''Semigrupo conmutativo o abeliano'''. En [[Álgebra]] dícese de la [[estructura algebraica]] conformada por el par ''<G,*>'', tales que ''G'' es un [[conjunto]] no vacío y ''*'' es una [[operación binaria]]; entonces se cumple que ''*'' es [[Clausura|cerrada]], [[Asociatividad|asociativa]] y [[Conmutatividad|conmutativa]]. | '''Semigrupo conmutativo o abeliano'''. En [[Álgebra]] dícese de la [[estructura algebraica]] conformada por el par ''<G,*>'', tales que ''G'' es un [[conjunto]] no vacío y ''*'' es una [[operación binaria]]; entonces se cumple que ''*'' es [[Clausura|cerrada]], [[Asociatividad|asociativa]] y [[Conmutatividad|conmutativa]]. | ||
| − | ==Definición | + | ==Definición== |
Sea un conjunto ''G'' y la operación binaria ''*'' definida como ''*(x,y)=z'', normalmente escrita como ''x*y=z'' que satisface los [[Axioma|axiomas]]: | Sea un conjunto ''G'' y la operación binaria ''*'' definida como ''*(x,y)=z'', normalmente escrita como ''x*y=z'' que satisface los [[Axioma|axiomas]]: | ||
| Línea 12: | Línea 12: | ||
Se dice que ''G'' con la operación ''*'' es un '''semigrupo conmutativo o abeliano'''. | Se dice que ''G'' con la operación ''*'' es un '''semigrupo conmutativo o abeliano'''. | ||
| − | En otras palabras, un '''semigrupo abeliano''' es un | + | En otras palabras, un '''semigrupo abeliano''' es un [[semigrupo]] cuya operación también es conmutativa. |
| − | ==Ejemplos | + | ==Ejemplos== |
* Todo [[grupo conmutativo]] ''<G,*>'' es un semigrupo conmutativo. | * Todo [[grupo conmutativo]] ''<G,*>'' es un semigrupo conmutativo. | ||
* Los siguientes son semigrupos abelianos representados en forma tabular: | * Los siguientes son semigrupos abelianos representados en forma tabular: | ||
| Línea 48: | Línea 48: | ||
** [[Archivo:Suma_matrices.gif|middle]] con [[Archivo:A_B_en_M_sub_m_n_C.gif|middle]] y [[Archivo:A_B_en_C.gif|middle]] | ** [[Archivo:Suma_matrices.gif|middle]] con [[Archivo:A_B_en_M_sub_m_n_C.gif|middle]] y [[Archivo:A_B_en_C.gif|middle]] | ||
| − | ==Fuentes | + | ==Fuentes== |
# Carl B. Allendoerfer, Cletus O. Oakley. Introducción moderna a la matemática superior. Ediciones del Castillo, Madrid. 1967. | # Carl B. Allendoerfer, Cletus O. Oakley. Introducción moderna a la matemática superior. Ediciones del Castillo, Madrid. 1967. | ||
</div> | </div> | ||
[[Categoría:Campos,_anillos,_álgebras]][[Categoría:Álgebra]][[Categoría:Matemáticas]] | [[Categoría:Campos,_anillos,_álgebras]][[Categoría:Álgebra]][[Categoría:Matemáticas]] | ||
última versión al 20:38 12 ago 2019
| ||||||
Semigrupo conmutativo o abeliano. En Álgebra dícese de la estructura algebraica conformada por el par <G,*>, tales que G es un conjunto no vacío y * es una operación binaria; entonces se cumple que * es cerrada, asociativa y conmutativa.
Definición
Sea un conjunto G y la operación binaria * definida como *(x,y)=z, normalmente escrita como x*y=z que satisface los axiomas:
- Clausura:
. * es cerrada. - Asociatividad: Para todo x, y, z de G, (x*y)*z=x*(y*z).
- Conmutatividad: Para todo x, y de G, x*y=y*x.
Se dice que G con la operación * es un semigrupo conmutativo o abeliano.
En otras palabras, un semigrupo abeliano es un semigrupo cuya operación también es conmutativa.
Ejemplos
- Todo grupo conmutativo <G,*> es un semigrupo conmutativo.
- Los siguientes son semigrupos abelianos representados en forma tabular:
| <{a,b},@> | <{a,b,c},*> | |||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
- Es un semigrupo conmutativo las matrices complejas
con la operación suma de matrices definidas de la manera tradicional:
con 
y 
Fuentes
- Carl B. Allendoerfer, Cletus O. Oakley. Introducción moderna a la matemática superior. Ediciones del Castillo, Madrid. 1967.
