Introduccin a los grupos

Conjuntos
Conjunto de ropas: {calcetines, zapatos, faldas, ...} Conjunto de nmeros pares: {..., -4, -2, 0, 2, 4, ...} Mltiplos positivos de 3 que son menores que 10: {3, 6, 9}

Operaciones
Ahora que tenemos elementos en conjuntos estara bien hacer cosas con ellos. En concreto, nos gustara combinarlos de alguna manera. Esto es para lo que valen las operaciones. Una operacin toma elementos de un conjunto, los combina de alguna manera, y produce otro elemento. o, de manera ms simple:

Una operacin combina elementos de un conjunto.

Una operacin con las ropas de arriba podra ser "poner dentro de". Puedes poner los calcetines dentro de los zapatos. Hasta puedes poner los zapatos dentro de los calcetines. Y para los que seis un poco artistas, podemos usar la pintura como ejemplo. Digamos que tenemos el conjunto de colores {rojo, amarillo, azul}. Ahora tenemos que definir una operacin, y la que tiene ms sentido es mezclar. Por ejemplo, mezclar rojo y amarillo da azul, y rojo con azul da violeta. Pero decir "mezclar rojo y azul da violeta" es muy largo y molesta. Hay que escribir mucho, as que lo vamos a simplificar. Voy a indicar "mezclar"

con

+ y "da" con =.

As que "mezclar rojo y azul da violeta" se convierte en "rojo + azul = violeta".

Operaciones binarias
Hasta ahora hemos sido muy generales. Vamos a ser ms especficos. Una operacin binaria es slo una operacin, pero que toma 2 elementos, ni ms ni menos, y los combina en uno. Ya conoces unas cuantas operaciones binarias, aunque no sabas que las conoces: 5+3=8 4 3 = 12 10 - 4 = 6 5/5=1

Todas estas toman dos enteros y los combinan de diferentes maneras para conseguir un nmero. Fjate en el ltimo ejemplo, 5 / 5 = 1. Tambin toma dos elementos, incluso cuando son el mismo. Arriba parece que haya 4 operaciones. En un momento vers que en realidad hay slo dos!

Bien definidas
Algo importante con las operaciones es que tienen que estar bien definidas. O sea, hay que definirlas bien. Piensa en lo que significan las palabras "bien definida". Si una palabra est bien definida en espaol, sabes lo que significa exactamente cuando la dices.

La palabra "enfadado" est bien definida, porque sabes exactamente lo que significa cuando se usa. Pero si digo la palabra "casa", estoy hablando de donde vivo o de una boda?

Ahora aplicamos esto a las matemticas. Si te doy dos nmeros y una operacin bien definida, sers capaz de decirme exactamente cul es el resultado.

Por ejemplo, slo hay una respuesta para 5 + 3. Eso es porque la operacin + est bien definida. Pero hay otras operaciones que parecen bien definidas y no lo son. Por ejemplo, las races cuadradas. Cuando escribimos x2 = 25, o bien x = (25), hay dos respuestas a este problema. Si me dices que la respuesta es 5, yo puedo decir "no, la respuesta es -5. Te has equivocado." Porque 55 = 25 y (-5)(-5) = 25. Con operaciones bien definidas, slo hay una respuesta posible. Una cosa ms sobre operaciones, muchas veces usaremos * para escribir una operacin. No queremos decir multiplicacin, aunque tambin la escribimos as. Pero normalmente ser "alguna operacin". Cuando sea la multiplicacin estar bien claro.

Introduccin a los grupos

Ahora que entendemos bien los conjuntos y operadores, estas son las cosas que necesitamos para tener grupos. Simplemente:

Un grupo es un conjunto combinado con una operacin

Por ejemplo el conjunto de los enteros con la suma. Pero es ms complicado que eso. No podemos decir mucho si slo sabemos que hay un conjunto y una operacin. Qu ms podemos decir? Necesitamos ms informacin sobre el conjunto y la operacin. Por eso los grupos tienen que cumplir ms condiciones. Es decir, cumplen algunas propiedades.

Definicin formal de grupo

Un grupo es un conjunto G junto con una operacin * que cumple que: El grupo tiene un elemento neutro El grupo tiene inversos La operacin es asociativa El grupo es cerrado con respecto a la operacin.

Vamos a verlas una a una:

1. El grupo tiene un elemento neutro (tambin se le llama la identidad). Si usamos la operacin con el elemento neutro y otro elemento, siempre nos devuelve el otro elemento. Para los enteros y la suma, el elemento neutro es "0" porque 5+0 = 5 y 0+5 = 5

Es decir, los otros elementos no cambian cuando se combinan con l. Slo hay un elemento neutro en cada grupo (pinsalo!) El smbolo para el elemento neutro es e, o a veces 0. Por eso tienes que empezar a pensar en 0 como un smbolo en lugar de un nmero. 0 es slo el smbolo de la identidad, igual que e. Se define as. De hecho, muchas veces los matemticos usan 0 en lugar de e porque es ms natural. Propiedad formal: Hay un elemento e en el conjunto G que cumple que a * e = a y e * a = a, para todos los elementos de G

2. El grupo tiene inversos. Si tomamos cualquier elemento en el grupo, hay otro elemento que cumple que al usar la operacin con ellos, obtenemos e, la identidad. Para los enteros y la suma, el inverso de 5 es -5 (porque 5 + -5 = 0)

De la misma manera, para los enteros negativos, los inversos son positivos. -5 + 5 = 0, as que el inverso de -5 es 5. De hecho, si a es el inverso de b, se cumple que b es el inverso de a. Los inversos son nicos. Por ejemplo, no existe ningn otro nmero x que cumpla que 5 + x = 0 aparte de -5. Fjate en que, aunque slo haya un elemento identidad para todos los elementos del grupo, cada uno tiene un inverso diferente. La notacin que se usa para los inversos es a-1. As que en el ejemplo de arriba, a-1 = b. De la misma manera, si hablamos de enteros y la suma, 5-1 = -5. Propiedad formal: Para cada a en G existe un b en G que cumple que a * b = e y b * a = e.

3. Asociatividad. Deberas haber aprendido la propiedad asociativa antes, en lgebra bsica. Slo significa que no importa el orden en que hacemos varias operaciones encadenadas.

a * (b * c) = (a * b) * c
Fjate en que sigue siendo a...b...c. Lo nico que cambia son los parntesis. Volveremos a esto luego... Propiedad formal: Para todos los a, b, y c en G, a * (b * c) = (a * b) * c

4. Cerrado con respecto a la operacin. Imagina que ests encerrado en una caja gigante. Como ests dentro, no puedes salir. De la misma manera, cuando tengas dos elementos cualquiera del grupo, no importa cules, la operacin no te sacar del grupo

Si tenemos dos elementos en el grupo, a y b, se tiene que cumplir que a*b est en el grupo. Esto es lo que significa cerrado. Se dice cerrado porque hacer operaciones no te saca del grupo. Igual que antes, los enteros y la suma cumplen esto. Si x e y son enteros, x + y = z, y entonces z tambin es entero. Propiedad formal: Para cualesquiera elementos a y b en G, a*b est en G

As que si tienes un conjunto y una operacin, y se cumplen todas las condiciones que hemos explicado, lo que tienes es un grupo.

Slo dos operaciones

Al principio del todo, te enseamos cuatro operaciones diferentes que se usan con nmeros:

+-/
Pero en realidad slo hay dos.

Cuando restamos nmeros, decimos "a menos b" porque es corto. Pero lo que queremos decir en realidad es "a ms el inverso aditivo de b". El signo menos slo indica el inverso aditivo (el inverso de la operacin suma). Pero se hace muy largo decirlo as todo el tiempo, as que slo decimos "menos".

Puedes adivinar qu es la divisin? De la misma manera, significa "multiplicacin por el inverso multiplicativo". As que slo hay la suma y la multiplicacin!

La hora de los ejemplos!

Uau! Confundido? Seguramente s. Aqu te damos unos ejemplos.

Ejemplo 1: Suma y {0}

Bueno, este ejemplo es un poco raro. Vamos a ver los cuatro pasos de todas maneras. Busquemos la identidad. Bueno, eso es fcil. Si sumamos 0 a cualquier cosa en el grupo, sale 0, porque es el nico elemento que existe. Es decir, 0 + 0 = 0, y ya tenemos la identidad. Ahora necesitamos encontrar inversos. Bueno, slo tenemos un elemento. Cul es el inverso de 0? Queremos que 0 + 0-1 = 0. Bien, 0 + 0 = 0, as que 0-1 = 0. Como esos eran todos los elementos, ya est. Asociativa? a + (b + c) = (b + c) + a? Bueno, como slo hay un elemento, a = b = c = 0. Es verdad que 0 + (0 + 0) = (0 + 0) + 0? Claro.

Finalmente, es cerrado? Si tomamos cualesquiera elementos a y b, a + b est en el grupo? Cmo slo hay un elemento, a = 0 y b = 0. Est 0 + 0 en el grupo? Claro que s. As que es cerrado. As que {0} es un grupo con respecto a la suma.

Ejemplo 2: Multiplicacin y {-1, 1}

De vuelta a los cuatro pasos. Primero, hay una identidad? Bueno, esto es fcil porque slo hay tres posibilidades: -1 es la identidad, 1 es la identidad, o no hay.

1*-1 = -1 y -1*1 = -1. Tambin 1*1 = 1. As que parece que 1 es la identidad. Nos lo podamos haber imaginado. Ahora buscamos inversos. Si tenemos a en el grupo, tenemos que encontrar a -1 que cumpla a * a-1 = 1 (o tambin podemos escribir e). Empezamos por 1. 1 * 1 = 1, as que si a = 1, a-1 = 1 tambin. Ahora, -1 * -1 = 1. As que si a = -1, a1 = -1 tambin! Como hemos encontrado inversos para todos los elementos del grupo, la segunda parte est completa. Es asociativo? a * (b * c) = (a * b) * c. Bien, como slo hay 2 nmeros, podemos probar todas las combinaciones. Si realmente quieres, puedes hacerlo. Pero debera estar bastante claro que es verdad. Finalmente, es cerrado? 1*1 est en el grupo? S. Y 1 * -1? S. Y -1 * -1? S. Y la ltima, -1 * 1? Claro. As que es cerrado con esta operacin. Y terminamos! {-1, 1} es un grupo con respecto a la multiplicacin.

Ejemplo 3: los enteros y la suma

Piensa en los enteros. Cul es la identidad cuando sumas enteros? Queremos encontrar un e que cumpla a + e = e + a = a. Vale, ya lo sabas. 0 es la identidad. Esto es porque a + 0 = 0 + a = a, para cualquier entero a. Siguiendo con los enteros, digamos que tenemos un nmero a. Puedes encontrar su inverso? Es decir, existe un a-1 que cumple que a + a-1 = a-1 + a = e? Por ejemplo, 5

+ 5-1 = 0? Qu nmero es 5-1? La respuesta es-5. Siempre es verdad que a + -a = e, para los enteros. Si sumamos dos enteros, la suma es un entero? S. As que es cerrado. Finalmente, a + (b + c) = (a + b) + c? S! As que ya ves, los enteros son un grupo con respecto a la suma.

Ejemplo 4: Enteros y multiplicacin

Volvamos a los cuatro pasos. Primero hay que encontrar la identidad. As que queremos que a * e = e * a = a. Por ejemplo 5 * e = 5. Qu sera e? 1, claro. Ahora tenemos que averiguar si los enteros con la multiplicacin tienen inversos. As que si tomamos un entero a, podemos encontrar a-1 que cumpla a * a-1 = e? Probamos otra vez con 5: 5 * 5-1 = 1. Qu es 5-1? Es 1/5. Pero no es entero! Ahhhh! No todos los enteros tienen inversos multiplicativos, as que no pueden ser un grupo con respecto a la multiplicacin. Hemos visto que con una operacin, los enteros son un grupo, y con otra operacin no.

Para qu grupos?
Qu nos importan los grupos? Bueno, es una pregunta difcil de contestar. No porque sea una pregunta mala, sino porque las aplicaciones de los grupos son muy avanzadas. Por ejemplo, se usan en las tarjetas de crdito para asegurarse de que los nmeros son correctos cuando se envan. Se usan en las sondas espaciales para saber si los datos que mandan tienen errores, y para corregirlos. Hasta se pueden usar para decir qu polinomios tienen soluciones que podamos calcular. Aqu tienes una buena razn:

Resolver ecuaciones
Resulta que las propiedades especiales de los grupos estn muy relacionadas con soluciones de ecuaciones. Si tenemos a*x = b, donde a y b estn en un grupo G, las propiedades del grupo nos eicen que slo hay una solucin x, y que esa solucin tambin est en G.

a*x=b a
-1

* a * x = a-1 * b

(a-1 * a) * x = a-1 * b (e) * x = a-1 * b x = a-1 * b Como a-1 y b estn en G, a-1 * b tambin debe estar en G. Tambin, como el operador * est bien definido, la solucin debe ser nica. Si no, el operador no estara definido con exactitud, verdad?

Un tipo especial de grupos: abelianos

Si a * e = a, no significa que e * a = a? Y tambin, si a * b = e, no es verdad que b * a = e? Bueno, de hecho, s que lo son. Pero hay que tener cuidado porque en general, no es verdad que a * b = b * a. Cuando es verdad que a * b = b * a para todos los a y b en el grupo, llamamos a ese grupo abeliano. Esto se cumple para los enteros con la suma, y por eso decimos que el grupo de los enteros con la suma es un grupo abeliano.