Está en la página 1de 4

ESTRUCTURAS ALGEBRAICAS Una Introduccin

Por Miguel Cruz Santos


1. Grupos y Homomorfismos Toda estructura algebraica consiste de una o ms operaciones binarias en un conjunto. Estas operaciones binarias obedecen determinadas reglas, tambin llamadas axiomas. Por definicin, una operacin binaria en un conjunto C, asigna a cada par ordenado (g,h) de elementos de C un nico elemento en ese conjunto. Se tiene entonces aqu un mapa que va dirigido del conjunto producto, o producto cartesiano, C x C al conjunto C; es decir, en notacin simblica, una operacin binaria en C es un mapa C x C C A) Grupos La estructura ms bsica y al mismo tiempo la ms importante en un conjunto es la estructura de grupo. Definicin 1.1a. Un grupo es un par (C, ) consistente de un conjunto no vaco C y una operacin binaria definida en ese conjunto; es decir, la operacin binaria es un mapa CCC : (g,h) g h, entendindose que tanto g y h como g h son elementos de C, y que el par ordenado (g,h) es un elemento del conjunto producto C x C C . Es necesario que se satisfagan los siguientes axiomas: G1: g,h,k C, (g h) k = g (h k). Este es el Axioma de asociatividad. G2: e C : g C, e g = g. Existe un elemento del conjunto C, llamado elemento neutro, e, tal que para todo elemento g de ese conjunto, la aplicacin de la operacin binaria a esos elementos, e y g, da como resultado el mismo elemento g. Axioma de la existencia de un elemento neutral (o neutro), o elemento identidad. G3: g C, g C : g g = e. Un elemento con la propiedad de g es llamado elemento inverso. Segn este Axioma de la existencia de elementos inversos, todo elemento g del conjunto C tiene asociado un elemento inverso que tambin pertenece a C. Definicin 1.1b. Grupo Abeliano El grupo (C, ) , cumpliendo por definicin con los axiomas G1, G2 y G3, es abeliano o conmutativo si satisface el siguiente axioma: G4: g,h C, g h = h g. Este es el Axioma de conmutatividad.

Definicin 1.1c. Grupo Finitos y Grupos Infinitos Un grupo (C, ) es finito si |C| <. Si esto no se cumple el grupo es infinito. |C| es el orden de l conjunto C; es decir, el nmero de elementos de C. Para muchas aplicaciones las nociones de grupo son muy restrictivas, por lo que presentamos las siguientes definiciones:
1

Si el par (C, ) satisface solamente el axioma G1 (axioma de asociatividad), tenemos un semigrupo. Si cumple solamente con los axiomas G1 y G2, (asociatividad y existencia de elemento neutro) es un monoide. Los definiciones de abeliano, finito, infinito y orden se aplican en los semigrupos y en los monoides de la misma manera que en los grupos.

Ejemplo 1.1a (Z,+), (Q,+) y (R,+) son grupos abelianos con la suma convencional como operacin binaria. En cada uno de estos casos el nmero cero es el elemento neutro y para todo nmero g, el opuesto g es el elemento inverso. Ejemplo 1.1b. Tanto (Q \ {0},) como (R \ {0},) con la multiplicacin usual como operacin binaria son grupos abelianos - tomndose en cuenta que C \ {a} es el conjunto C sin el elemento a -. En cada uno de estos casos, con C = Q \ {0} en el primero como con C = R \ {0} en el segundo, el elemento neutro es el nmero uno. El elemento inverso de cada nmero g del conjunto C es 1/g, que tambin pertenece a C. Puede verse aqu claramente porqu el nmero cero no puede ser elemento del conjunto C en ninguno de estos dos grupos. Ejemplo 1.1c (Z \ {0},) con la multiplicacin convencional como operacin binaria es solo un monoide abeliano. El nmero uno es aqu el elemento neutro. No se cumple el axioma G3 ya que los enteros g = 1 and g = 1 son los nicos que tienen elementos inversos en el conjunto in Z \ {0}. . Ejemplo 1.1d. (N,+) con la suma usual como operacin binaria es un monoide abeliano. El nmero cero es el elemento neutral. Para todo elemento g de N, tal que g > 0, no existe un elemento inverso en N.

Ejemplo 1.1e El grupo ms simple es el que contiene un solo elemento, C = {e}, con la operacin de grupo definida por e e.

Lema 1.1 (Unicidad del neutro o de la identidad) Sea (C, ) un grupo. El elemento neutro e C es nicamente determinado. Adems, tiene la propiedad g e = g, g C.

Una manera de plantear el Lema de la Unicidad del neutro es la siguiente: Sea G = (C, ). Supongamos que e y e* son ambos elementos identidad (neutro) en G. Por la definicin de elemento
2

identidad (Axioma G2), para todo g C, tenemos que g = e g = g e = e* g = g e*. Entonces, e = e*. Demostracin: dado que e* es un elemento identidad, entonces e* e = e Ademas, dado que e es elemento identidad, entonces e e* = e*. Juntando ambas ecuaciones tenemos que e = e*-. Nota: Se requiere mas elaboracin en esta demostracin

Otra demostracin del Lema 1.1. El Lema plantea que: Hay exactamente un elemento identidad en un grupo. Sean e y f dos elementos identidades en el grupo. Entonces f e = e f = e = f, y el resultado se sigue.

Lema 1.2 (Unicidad de los elementos inversos) Sea g G. El elemento inverso g de g es nicamente determinado (para cada g). Adems, tiene la propiedad g g = e. Otra manera de plantear el Lema de la Unicidad de los elementos inversos es la siguiente: Sea G un grupo tal que G = (C, ) de modo que g, h C. Si h g = e, entonces h = g. De igual forma, si g h = e, entonces h = g. Demostracin: Suponga que h g = e (premisa). Por la definicin de elemento neutro tenemos que h = h e A su vez, por la definicin de elemento inverso tenemos que h e = h (g g). Si aplicamos el principio de asociatividad (axioma G1) tenemos que h (g g) = (h g) g. De la premisa, se infiere que (h g) g = e g, por lo que se concluye que e g = g (definicin de elemento identidad). La segunda parte de la demostracin: si g h = e, entonces h = g, es similar a la primera y se le deja como ejercicio al lector. Otra demostracin del Lema 1.2 El Lema 1.2. plantea que : Un elemento g de un grupo G tiene exactamente un inverso. Existe al menos un g tal que g g = g g = e. Si h es otro elemento tal que g h = e, entonces h = e h = (g g) h = g (g h) = g e = g, y anlogamente ocurre si h g = e. De aqu se infiere que el elemento inverso de cada elemento de G esta univocamente determinado.

Lema 1.3 Sea (C, ) un grupo con g, h C. (g) = g, Lema 1.4 Sea (C, ) un grupo con g, h C. (g h ) = h g Lema 1.5 (Regla de cancelacin) Sea (C, ) un grupo con a, b, g C.
3

(i) (ii)

Si g a = g b, entonces, a = b. Si a g = b g, entonces, a = b.