Estructuras Algebraicas

Es un objeto matemtico: Conjunto no vaco Una relacin ley de composicin interna

Prsentat ion

Operacin binaria Ley de composicin interna

Est definida en un conjunto no vaco A Es una aplicacin o funcin:
x : A A A

(a1 , a2 )

a1 a2

Prsentat ion

Monoide :Es el par (A ,*)

donde : A es un conjunto no vaco * ley de composicin interna

SemiGrupo
El monoide (S,*) es un semigrupo si y solo si es asociativa.

Homomorfismo

Una aplicacin de conjuntos f: A B (A,*) y (B,&) son homomorfas si:

x , y A

f(x y )=f(x)

& f(y)

Isomorfismo En un homomorfismo de A en B que satisface: (i)x, y A, f (x) = f (y) x = y (ii) y B, x A tal que y = f (x)

Grupo Sea (G,*) un monoide es un grupo, si y solo si: 1.* es asociativa. 2.* tiene elemento neutro en G. 3.Todo a tiene inversa en G respecto de *.

Grupo Abeliano o conmutativo

(G,*) es un grupo "*" es conmutativa

Sub Grupo Un Subconjunto no vacio B del Conjunto G, es un SubGrupo de (G,*) Si y solo si (B,*) es un grupo

Producto de subconjuntos de un grupo G

Si S y T subconjuntos de G, se define su producto como: S.T={st/ s S y t T} Es asociativa? Cual es su elemento neutro? (P(G),.) es un monoide?

Grupo cociente de un grupo G por H:

G H ={gH/ g G}
Donde:

gH ={gh/ h H}