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. ( N 0 , + ) 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
) * ( * * ) * ( , , c b a c b a A c b a 2. * posee elemento neutro en A. Es decir
3. Todo elemento de A es invertible en A respecto de * Es decir
a a e e a A a A e * * / e a a a a A a A a '* ' * / ' GRUPO ABELIANO Es cuando ademas de ser grupo la operacin es conmutativa Es decir
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.
a b b a A b a * * , , SUBGRUPO Un subconjunto no vaco B, del conjunto A es un subgrupo de ( A , *) si y solo s ( B , * ) es un grupo.
Por ejemplo, ( Z , + ) es un subgrupo de ( Q , + ).
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
) ( ) ( , , c b a c b a A c b a 2. + Posee elemento neutro, es decir
3. Todo elemento de A es invertible respecto de +, es decir
4. + es conmutativa
a a e e a A a A e / e a a a a A a A a ' ' / ' a b b a A b a , , Estas 4 propiedades muestran que ( A , +) es un grupo abeliano.
5. * es asociativa. Es decir
Esta propiedad muestra que ( A , *) es un semigrupo.
) * ( * * ) * ( , , c b a c b a A c b a 6. + distribuye con respecto a *, es decir
) * ( ) * ( ) ( * , , c a b a c b a A c b a Si adems
7. * conmutativa entonces tenemos un Anillo conmutativo.
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.