QU ES UN GRUPO?

Y II
RESUMEN DE NUESTRO GRUPO
i consideramos las seis formas simples de barajar tres cartas de una baraja, que se ilustran en la imagen, (denominadas x1...x6) y establecemos como producto de ellas la operacin de aplicar una mezcla a continuacin de otra, observamos que siempre obtenemos un nuevo miembro de esta coleccin de seis transformaciones entre cartas. Estos seis elementos son lo que denominamos un grupo.

La semana pasada nos introdujimos en el mundo del lgebra Abstracta comenzando a estudiar una de sus ms sencillas estructuras: los grupos. Para ello estudiamos el caso particular de las distintas formas de barajar tres cartas de una baraja y nos convencimos de la existencia de una operacin interna entre unas formas simples de mezclar las cartas. Continuamos esta semana explorando algunas caractersticas de esta simple pero ambiciosa estructura algebraica.

por Lolita Brain

EL GRUPO DE PERMUTACIONES
X1: accin de no barajar

las cartas

X2: resultado de inter-

cambiar la primera y la segunda carta

X3: efecto de cambiar la

sota con el rey

X4: accin de intercam-

X5: resultado de cambiar

X6: efecto de cambiar la

biar la segunda y la tercera carta

la sota con el caballo, seguido de intercambiar aqulla con el rey

primera con la segunda carta, seguido de intercambiar la primera con la tercera

odo conjunto de transformaciones obtenidas al permutar cartas, letras o smbolos como el ejemplo de las cartas que hemos desarrollado son casos de un grupo general denominado grupo de permutaciones. El nmero de cartas o smbolos que se permutan se denomina orden del grupo. En nuestro ejemplo, el grupo est formado por seis elementos x1, x2, x3,x4, x5, x6 que se obtienen de intercambiar tres cartas. Se dice entonces que es un grupo de orden 3.

LA TABLA DE UN GRUPO
e hecho podemos resumir todas las posibles combinaciones entre estas seis formas de barajar las tres cartas en la tabla adjunta. Es la que se denomina Tabla de un Grupo, que nos informa de los resultados que obtenemos al combinar cualquiera de los elementos que lo constituyen. Seguro que recuerdas la tabla de sumar con la que aprendiste a sumar enteros. Lo que hacas era aprender la tabla de un grupo: el de los nmeros de contar con la suma.

UN GRUPO NUMRICO

xisten muchos ejemplos de conjuntos con operaciones que tienen estructura de grupo, algunos de los cuales son ampliamente conocidos por todos. Entre ellos, los conjuntos de nmeros ms sencillos, los nmeros de contar o las fracciones son grupos.

El conjunto de los nmeros enteros, los nmeros de contar y los negativos con la operacin de la suma es un grupo. Su elemento neutro es el 0.

UN GRUPO ES ASOCIATIVO

os grupos, adems de tener una ley de composicin interna, deben cumplir la propiedad asociativa. Esta propiedad obliga a que el resultado de aplicar varias transformaciones seguidas no dependa del orden en que se apliquen.

UN XITO DE LA TEORA DE GRUPOS

n 1891, el cristalgrafo y gemetra ruso E.S. Fedorov enunci su famoso Teorema de Fedorov de clasificacin de grupos cristalogrficos planos en el que proporcion una asombrosa aplicacin de la teora de grupos. En l demostr que slo existen 17 estructuras bsicas posibles para obtener mosaicos peridicos que decoren el plano. Estas decoraciones resultan de combinar cuatro movimientos simples: TRASLACIN. La nueva loseta que aadimos es una loseta anterior desplazada a una nueva posicin sin giros de ningn tipo. ROTACIN. La nueva loseta se obtiene por el giro de una anterior con centro en algn punto determinado y con un ngulo concreto. REFLEXIN. Cada nueva loseta es la imagen especular de otra, con un eje de simetra dado. SIMETRA CON DESLIZAMIENTO. Se trata de una reflexin seguida de una traslacin en la direccin del eje de reflexin. Cada uno de los 17 modos posibles recibe una denominacin que procede de la cristalografa.
Infografa y textos: Lolita Brain - [Link]

Lo ms asombroso es que los nazares que construyeron la Alhambra y que no conocan la teora de Fedorov realizaron mosaicos para decorar las paredes del palacio de todos los 17 grupos que, 400 aos despus, el ruso catalogara como los nicos posibles.

UN GRUPO TIENE ELEMENTO NEUTRO

n todo grupo debe existir un elemento singular, llamado elemento neutro, que tiene la propiedad especial de no hacer nada, es decir, que operado con cualquier elemento lo deja invariante. En nuestro ejemplo de las distintas formas de barajar tres cartas, el elemento x1 que deja igual el mazo de cartas es el neutro.