Estructuras Algebraicas
Meza Castilln Francisco Rubn
Dado un conjunto y una operacin interna definida en l, hay ciertas estructuras algebraicas que vienen definidas
segn las diversas propiedades que cumplen.
GRUPO:
Es un conjunto G con una operacin *, (G, *), que verifica las propiedades:
* es una operacin interna.
* es asociativa.
Hay elemento neutro para *.
Todo elemento de G tiene su inverso para *.
SEMIGRUPO:
Se trata de un conjunto S con una operacin *, (S, *), que verifica las propiedades:
Es una operacin interna.
* es asociativa.
GRUPO ABELIANO (Conmutativo):
Es un conjunto G con una operacin *, (G, *), que verifica las propiedades:
* es una operacin interna.
2) * es asociativa.
3) Hay elemento neutro para *.
4) Todo elemento de G tiene su inverso para *.
5) * es conmutativa.
ANILLO:
Es un conjunto A con dos operaciones *, , (A, *, ), que verifica las propiedades:
1a) * es una operacin interna.
2a) * es asociativa.
3a) Hay elemento neutro para *.
4a) Todo elemento de A tiene su inverso para *.
5a) * es conmutativa. -- (A, *) es un grupo abeliano
1b) es una operacin interna.
2b) es asociativa. -- (A, ) es un semigrupo ---
1c) La segunda operacin, , es distributiva respecto de la primera *.
a (b * c) = (a b) * (a c)
ANILLO CONMUTATIVO:
Es un conjunto A con dos operaciones *, , (A, *, ), que verifica las propiedades:
1a) * es una operacin interna.
2a) * es asociativa.
3a) Hay elemento neutro para *.
4a) Todo elemento de A tiene su inverso para *.
5a) * es conmutativa. -- (A, *) es un grupo abeliano--
1b) es una operacin interna.
2b) es asociativa. -- (A, ) es un semigrupo ---
3b) es conmutativa.
1c) La segunda operacin, , es distributiva respecto de la primera *.
a (b * c) = (a b) * (a c)
CUERPO/CAMPO:
Es un conjunto C con dos operaciones *, , (A, *, ), que verifica las propiedades:
1a) * es una operacin interna.
2a) * es asociativa.
3a) Hay elemento neutro para *.
4a) Todo elemento de A tiene su inverso para *.
5a) * es conmutativa. -- (C, *) es un grupo abeliano
1b) es una operacin interna.
2b) es asociativa.
3b) Hay elemento neutro para .
4b) Todo elemento de A (excepto el neutro para *) tiene su inverso para . -- (C, ) es un grupo (si exceptuamos
al elemento neutro para *)
1c) La segunda operacin, , es distributiva respecto de la primera *.
a (b * c) = (a b) * (a c)
CUERPO/CAMPO CONMUTATIVO:
Es un conjunto C con dos operaciones *, , (A, *, ), que verifica las propiedades:
1a) * es una operacin interna.
2a) * es asociativa.
3a) Hay elemento neutro para *.
4a) Todo elemento de A tiene su inverso para *.
5a) * es conmutativa. -- (C, *) es un grupo abeliano--
1b) es una operacin interna.
2b) es asociativa.
3b) Hay elemento neutro para .
4b) Todo elemento de A (excepto el neutro para *) tiene su inverso para .
5b) es conmutativa. -- (si exceptuamos al elemento neutro para *) (C, *) es un grupo abeliano--
1c) La segunda operacin, , es distributiva respecto de la primera *.
a (b * c) = (a b) * (a c).
MONOIDE
Un monoide es un magma (i.e. un par (M,*), donde M es un conjunto, y * una operacin binaria) que cumple:
Es cerrada en M, esto es, el resultado de a*b pertenece a M para cualesquiera a y b de M.
Existe una identidad, esto es, un elemento "e" tal que cumple a*e=e*a=a.
La operacin * es asociativa.
BIBLIOGRAFA:
Jimnez Arteaga Aldo. (2012). VII. Estructuras Algebraicas. En lgebra(126). UV: Digital.
Annimo. (2013). Monoide. 17/08/2017, de Algebral Sitio web:
[Link]
Gorostizaga Juan Carlos. (2017). Estructuras Algebraicas. 17/08/2017, de ESCUELA TCNICA SUPERIOR DE
NUTICA Y MQUINAS NAVALES Sitio web:
[Link]