Matemticas de la simetra

BAJO CONSTRUCCION ESTE ES U N TRABAJO QUE APENAS HA C OMENZADO

MIRCOLES, 14 DE DICIEMBRE DE 2011

Grupos numricos

ARCHIVO DEL BLOG

2011 (17)
diciembre (17)
Indice

Aunque las matemticas de la simetra son en su aplicacin ms general

Un problema clsico del lgebra

matemticas sin nmeros, ello no significa que no existan grupos cuyos

Matemticas sin nmeros

elementos sean nmeros. Sin embargo, construr un grupo usando nmeros

Los grupos cclicos

en donde la operacin binaria () sea una de las operaciones usuales de la

Subgrupos

aritmtica como la suma (+) o la multiplicacin () no es un asunto fcil,

tomando en cuenta los requisitos de que debe existir un elemento identidad

Grupos numricos

dentro del grupo, de que todo elemento debe tener un inverso, y de que la

Los grupos de permutacin

operacin binaria no debe producir ningn elemento que est fuera del grupo.

Los trasladados (cosets)

Considrese por ejemplo el conjunto de nmeros {1, 2, 3} bajo la operacin de

Los subgrupos normales

suma. Su tabla ser:

Las series de composicin

El cubo de Rubik
Los grupos Galois
La imposibilidad de una frmula
quntica
El producto de dos grupos
Generadores de grupos. Grafos
de Cayley
Desarrollos posteriores
Referencias de inters

Aunque el nmero 1 forma parte del conjunto, ste no nos sirve como
elemento identidad, porque al actuar inclusive sobre s mismo no produce el
mismo elemento. Peor an, se generan tres elementos, los nmeros {4, 5, 6}
que no forman parte del conjunto original de nmeros; el conjunto no est

DATOS PERSONALES

cerrado bajo la adicin. Y peor an, no existe inverso alguno para ninguno de
los nmeros que forman parte del conjunto. Definitivamente, esto ni
remotamente llena las expectativas de un grupo.
Considrese ahora el mismo conjunto de elementos bajo la operacin de

A RM A N DO M AR T NE Z T LL E Z
V ER TO D O M I P ER F I L

multiplicacin. Su tabla ser:

Tampoco en este caso tenemos algo que se parezca remotamente a un grupo.

Aunque s existe el elemento identidad, que en este caso es el nmero 1, cuya
operacin binaria con cualquiera de los otros elementos nos produce el mismo
nmero, no existen elementos inversos para los dems nmeros del conjunto;
no existe un elemento que multiplicado por el nmero 2 nos produzca el
elemento identidad 1, como tampoco existe un elemento que multiplicado
por el nmero "3" nos produzca el elemento identidad. Y por si esto fuera
poco, se generan tres nmeros {4, 6, 9} que no forman parte del conjunto
original, razn por la cual no hay cerradura.
Lo anterior nos puede dejar con la impresin de que no es posible construr un
grupo a partir de los nmeros cardinales que forman parte de la aritmtica
elemental.
Sin embargo, s existen conjuntos de nmeros que s forman un grupo. Uno de
ellos, el ms sencillo de todos, es el conjunto {1, -1}, bajo la operacin de
multiplicacin:

La nica manera en la cual podemos construr grupos finitos usando nmeros

bajo operaciones usuales tales como la suma o la multiplicacin es recurriendo
al aritmtica de reloj o aritmtica modular. Recordemos primero lo que
ocurre en la cartula de cualquier reloj conforme empieza a contar desde cero:

El conteo procede en forma ascendente pasando por 1, 2, 3, 4, 5, 6, 7, 8, 9, 10,

11, y 12; tras lo cual ya no hay un nmero como el 13 el 14 el 15 sino que la
cuenta empieza nuevamente a partir de cero. Esto impide que la numeracin
se vaya acumulando en forma creciente hasta el infinito.
Esta forma de medir el tiempo que hoy nos puede parecer una gran idea de
hecho fue concebida desde los tiempos de los Babilonios, para la cual
dividieron el tiempo en 12 horas para cronometrar la mitad de un da. Sin
embargo, no hay nada especial en la seleccin del nmero 12 como punto
lmite de conteo, los Babilonios podran haber utilizado cualquier otro nmero
como el nmero 10, el cual es ms afn a nuestro sistema decimal. Si hubieran
hecho tal cosa, los relojes de pared habran tenido el siguiente aspecto:

Esta aritmtica de reloj es lo que en matemticas recibe el nombre ms

sofisticado (que quiere decir lo mismo) de aritmtica modular. Para el
manejo simblico de la aritmtica modular, utilizamos la siguiente definicin:

a bmod(n)

que leemos de la siguiente manera:

a es congruente a b mdulo n
y cuyo significado llano es:

La diferencia a-b es dividida exactamente por n (sin dejar

residuo)
Bajo esta definicin, el ltimo reloj sera un reloj descrito por una aritmtica
modular mdulo-10. El nmero n es el nmero lmite en la aritmtica
modular despus del cual el conteo comienza nuevamente a partir de cero.
Con un reloj de pared basado en la divisin de la mitad de un da en 12 horas
en mente, veamos cmo representaramos en un conteo ascendente varias de
las horas dadas por dicho reloj, comenzando por las dos de la maana, seguido
por las cinco de la maana, y as sucesivamente:

22mod(12)
55mod(12)
77mod(12)
1111mod(12)
13=1mod(12)
15=3mod(12)
208mod(12)
Obsrvese que al llegar al nmero 13 dicho nmero 13 es convertido por la
aritmtica modular en el nmero 1, con lo cual el conteo comienza de nuevo.
Del mismo modo, al llegar la manecilla principal del reloj (la que marca la
hora) a lo que vendra siendo la quinceava posicin, la aritmtica modular
convierte el nmero 15 en el nmero 3, con lo cual estaramos leyendo las
3:00 P.M. o tres de la tarde (de cualquier manera, es importante tomar nota
que la medicin del tiempo tambin se acostumbra llevar a cabo en muchas
partes dividiendo un da completo en 24 horas; sin embargo despus de la
hora 24 el conteo empieza otra vez desde cero, por lo cual tambin seguimos
teniendo una aritmtica de reloj, en este caso una aritmtica mdulo-24.) Bajo
la aritmtica modular, una suma mdulo-12. jams exceder dicho nmero 12,
razn por la cual tenemos las siguientes relaciones modulares:
5+712mod(12)
5+81mod(12)
7+116mod(12)

Con la aritmtica modular, podemos tener una aritmtica finita, con un

conjunto finito de elementos que pueden formar un grupo.

Pero la artimtica modular no slo nos permite construr grupos mediante la

operacin binaria de adicin; tambin nos permite construr grupos bajo la
operacin binaria de multiplicacin numrica. Para ello, no es necesario
agregar nuevos conceptos, todo lo que basta es aplicar el reajuste cuando el
resultado de una multiplicacin excede el mdulo de la aritmtica. Es as como
tenemos lo siguiente bajo una aritmtica mdulo-12:

2x24mod(12)
3x39mod(12)
4x312mod(12)
5x48mod(12)
6x56mod(12)
P U B L I C A D A S P O R A RM A ND O M A R T N EZ T L L EZ A L A / S 2 3: 2 0

N O H AY C O M E N TA R I O S :
Publicar un comentario en la entrada

Entrada ms reciente

Pgina principal

Suscribirse a: Enviar comentarios (Atom)

Entrada antigua