Professional Documents
Culture Documents
Byron Anleu
ESTRUCTURAS ALGEBRAICAS
MONOIDE
El par (A , ) donde A es un conjunto no vaco dotado de una operacin ley de composicin interna se denomina monoide.
Ejemplos de monoides ( N , + ) , ( Z , + ) , ( Q , + ) , son monoides. ( N , - ) No es un monoide porque la sustraccin no es ley de composicin interna en N. ( N , * ) donde est definido como a *b = mx.{a , b} es un monoide.
SEMIGRUPO
Un monoide asociativo se denomina semigrupo. Si la ley de composicin interna tambin es conmutativa se llama semigrupo conmutativo. Si existe el elemento neutro se dice que es un semigrupo con unidad semigrupo con identidad. El elemento neutro de llama identidad. Ejemplos de semigrupos ( N , + ) es un semigrupo conmutativo sin elemento neutro. ( N0 , + ) es un semigrupo conmutativo con elemento neutro, el 0. ( N , * ) es un semigrupo conmutativo con elemento neutro identidad igual a 1.
GRUPO
Sea el par (A , *) , donde A es un conjunto no vaco dotado de una ley de composicin interna binaria: (A , *) es un grupo se define sobre A una estructura de grupo s: 1. * es asociativa. Es decir
a, b, c A (a * b) * c a * (b * c)
2.
e A / a A a * e e * a a
3.
GRUPO ABELIANO
Es cuando ademas de ser grupo la operacin es conmutativa Es decir
a, b A, a *b b * a
Ejemplo: El par ( Z , *) donde Z es el conjunto de los nmeros enteros y * es una operacin definida como a * b = a + b + 3 forma un grupo abeliano.
SUBGRUPO
Si en estas estructuras se introduce una nueva ley de composicin interna con ciertas restricciones, se obtienen ternas ordenadas del tipo (A , * , + ) que tambin son estructuras algebraicas.
ANILLO
Dados, un conjunto no vaco A y dos leyes de composicin interna + y * , la terna ordenada (A , +,* ) tiene estructura de Anillo si y solo si 1. + es asociativa
a, b, c A (a b) c a (b c)
2.
e A / a A a e e a a
3.
a, b A, a b b a
* es asociativa. Es decir
a, b, c A (a *b) *c a * (b * c)
Esta propiedad muestra que ( A , *) es un semigrupo.
6.
a, b, c A a *(b c) (a *b) (a * c)
8. * posee elemento neutro en A. Entonces tenemos un Anillo con identidad Anillo con unidad.
9. Todo elemento de A distinto de cero es invertible en A respecto de * , entonces tenemos Anillo de divisin.