GRUPO ALGEBRAICO En lgebra dcese de la estructura algebraica conformada por el par <G,*>, tales que G es un conjunto no vaco y * es una

operacin binaria; entonces se cumple que * es cerrada y asociativa y que existe el elemento neutro en G y tambin los inversos segn * de cada elemento del conjunto e cuestin. En el caso que <G,*> sea grupo y la operacin sea conmutativa se dice que es un grupo conmutativo o abeliano. Sea un conjunto G y la operacin binaria * definida como *(x,y)=z y se satisfacen los siguientes axiomas: 1. Clausura: . * es cerrada. 2. Asociatividad: Para todo x, y, z de G, (x*y)*z=x*(y*z). 3. Existencia del neutro: Existe uno y solo un elemento e de G tal que para todo x de G se cumple que x*e=e*x=x. e es llamado neutro para * enG. 4. Existencia de los inversos: Para todo x en G, existe un nico elemento x" tambin en G, que satisface x*x"=x"*x=e. A x" se denomina inverso de x segn *. Se dice que G con la operacin * es un grupo. El incumplimiento de cualquiera de los axiomas precedentes inhabilita la condicin de grupo. Los grupos pueden clasificarse en finitos o infinitos. Ejemplos de Grupos Algebraicos: 1. Los nmeros enteros y la suma conforman un grupo pues la suma es cerrada y asociativa, el 0 es el neutro y para toda k entera su opuesto -k es el inverso. 2. En cambio los enteros y el producto no es un grupo pues no existe del inverso para cada elemento. 3. Sea Mn el conjunto de las matrices cuadradas de orden n, puede decirse que <Mn,+> es un grupo. 1. Para todas las matrices cuadradas de n filas A y B A+B tambin es una matriz cuadrada de n filas y columnas. 2. La suma de matrices cuadradas del mismo orden n es asociativa. 4. Tambin es un grupo <Mn,m,+>, donde Mn,m es el conjunto de matrices de n filas y m columnas. 5. El conjunto de matrices rectangulares de dimensiones abeliano. con la suma, es un grupo