INTRODUCCION Definimos aqui las estructuras algebraicas que aparecen en casi todas las ramas de la matematica. En particular, definimos lo que es un cuerpo (0 campo), concepto que aparece en la definicién de un espacio vectorial. Empezamos definiendo grupo, que es una estructura algebraica relativa- mente simple con Gnicamente una operacion y que se usa como una base para muchos otros sistemas algebraicos. GRUPOS Sea G un conjunto no vacio con una operacién binaria, esto es, a cada par de elementos a, be G se le asigna un elemento abeG. Entonces G se llama un grupo si se cumplen los siguientes axiomas’ 1G,| Para todo a, b, ce G, tenemos (ab)c = a(be) (la ley asociativa). |G,| Existe un elemento ¢¢G, llamado el elemento identidad, tal que ae =ea=a para todo aeG. |G3| Para cada aeG existe un elemento a~'eG, llamado el inverso de a, tal que aa”! =a"'a=e. Se dice que un grupo G es abeliano (0 también conmutativo) si cumple la ley conmutativa, esto es, si ab = ba para todo a, beG. Cuando la operacién binaria se representa por yuxtaposicién como antes, se dice que el gru- po G esta escrito multiplicativamente. Algunas veces, cuando G es abeliano, la operacién binaria se representa por + y se dice que G esta escrito aditivamente. En tal caso, el elemento identidad 535536 ALGEBRA LINEAL se denota por 0 y se llama el elemento cero; y el inverso se denota por —a y se llama el negativo dea. Si A y B son subconjuntos de un grupo G, entonces escribimos AB={ab:acd, beB} 0 A+B={atb:aed, beB) También escribimos a por {a} Un subconjunto H de un grupo G se lama un subgrupo de G si él mismo es un grupo para la operacién de G. Si H es un subgrupo de G y aeG, entonces el conjunto Ha se llama un cogrupo a derecha de H y el conjunto aH se llama un cogrupo a izquierda de H. Definicién: Un subgrupo H de G se llama un subgrupo normal si a~'Ha < H para todo aeG. En forma equivalente, H es normal si aH = Ha para todo a€6G, esto es, si los cogrupos a derecha ya izquierda de H coinciden. Observamos que todo subgrupo de un grupo abeliano es normal Teorema 1: Sea H un subgrupo normal de G. Entonces los cogrupos de H en G forman un grupo para la multiplicacién de cogrupos. Este grupo se llama el grupo cociente y se denota por G/H. EJEMPLO 1. El conjunto Z, de los enteros forma un grupo abeliano para la adicién. (Observamos que los enteros pares forman un subgrupo de Z pero lo enteros impares no.) Sea H el conjunto de los miiltiplos de 5, esto es, H = {..., ~10, ~5, 0, 5, 10, ...}. Entonces H es un subgrupo (necesariamente normal) de Z. Los cogrupos de H en Z son Para cualquier otro enter teorema anterior, Z/H = de adicion: hior ius werent Oo] 0 1] 7 2] 3 3 | 3 4,4 Este grupo cociente Z/H se conoce como el de jos enteros médulo 5 y se representa frecuentemente por Zs. Anilogamente, para todo entero positivo m existe el grupo cociente Z,, llamado los enteros médulo rn.