Universidad Nacional Autonoma De Honduras-VS Departamento De Fisica: Trabajo Final Del Curso De Latex Tema del trabajo: Generalidades

De La Teoria De Grupos Presentado por Marco Antonio Reyes Pagoada Introduccion Comencemos estudiando algunas deniciones sobre la teoria de grupos, Denicion1: Un grupo, G, es una coleccion de objetos los cuales pueden ser combinados por una operacion cerrada, la cual va ser denotada por el punto. Tal operacion cerrada cumple que a.b G. Esta operacion debe satisfacer los siguientes tres axiomas: 1. a.(b.c)=(a.b).c (Ley asociativa) 2. Existe un elemento identidad, e, tal que a.e= a para todo a G 3. Para cada a G, existe un elemento inverso, a1 , tal que a.a1 = e Denicion2: Un grupo G se dice que es abeliano si a.b= b.a para cualquier a, b G Denicion3: Un grupo con n elementos se dice que es un grupo de orden n. Denicion4: Dos grupos se dice que son isomorfos si existe una operacion uno a uno que preserve la correspondencia entre ellos. Suponga 1 que G tiene elementos a,b,c,..., y G tiene elementos a , b , c ,... si (a.b) =(a xb )para todo a, b G y a , b G , entonces los grupos {G, .} y {G, x} se dicen que son isomorcos. Denicion5: Un grupo en el cual sus elementos pueden ser escritos como {e, a, a2 , ..., an1 } es llamado un grupo ciclico de orden n. Denicion6: Un grupo de elementos H, los cuales estan contenidos en G, se dice que puede ser un subgrupo de G si: i) El producto de cualquier par de elementos en H esta en H. ii) Si a H, entonces a1 H Estudiemos uno de los grupos mas importantes en las matematicas y en sica, el grupo de las permutaciones de n objetos, llamado el grupo simetrico Sn . Hay n! permutaciones de n objetos, asi Sn es de orden n!. Un caso t pico de n! elementos puede ser denotado por: 1 2 3 ... n m1 m2 m3 ... mn Por ejemplo, la permutacion 1 2 3 4 5 6 p= 6 5 4 3 2 1

Actua sobre el arreglo: 1 2 3 4 5 6 produce el arreglo 6 5 4 3 2 1 p actuando sobre 2 5 3 4 6 1 produce 5 2 4 3 1 6 Denicion7: Tomemos A un subgrupo de G, con elementos e, a1 , a2 , ..., am donde m n, donde n es el orden de G y tomemos b G, pero b no pertenece a A. Entonces de m distintos elementos be=b, ba2 , ba3 ,...,bam forma un coset izquierdo de A, el cual denotamos simbolicamente por bA. Similarmente, b, a2 b, a3 b, ..., am b forma un coset derecho, Ab Notar que un coset no es un subgrupo, claramento podemos ver que no puede contener el elemento identidad. Si bai =e, entonces b=a1 , lo cual implica b A, contrario a lo asumido en la denicion7. Lema: Dos coset izquierdo de un subgrupo A no pueden contener los mismos elementos o puede que no tengan los mismos elementos. Denicion8: Un elemento b G se dice que puede ser conjugado a G si existen algunos x G tal que b= xax1 Lema: Si a es conjugado de b y b es el conjugado de c, entonces a es el conjugado de c. Denicion9: Todos los elementos de un grupo los cuales son el conjugado de otros forman una clase. De acuerdo a esta denicion cualquiera dos elementos de una clase deben ser

del mismo orden. Denicion10: Si para todo a G, ;aHa1 =H, H se dice que es un grupo invariante. Teorema: Una coleccion consiste de un subgrupo invariante H y de todos sus distintos cosets, es a la vez un grupo, llamado factor de grupo G, usualmente denotado por G/H. El rol de la teoria de grupos in sica esta fuertemente relacionado con las simetrias del mundo que nos rodea. La importancia de tales simetrias como traslaciones y rotaciones invariantes que surgen de la conservacion del momento lineal y angular son muy utlizadas al estudiar la mecanica clasica.Con el desarrollo de la mecanica cuantica en el cual el mundo sico es separado de nosotros y lo estudiamos a atraves de una cantidad, la funcion de onda, la teoria de grupos se vuelve se vuelve sumamente importante aqui. Primero estudiemos el signicado de traslaciones invariantes y rotaciones invariantes: suponga que tenemos un grupo,G, de opradores, U1 , U2 , U3 ,..., actuando sobre x,de un espacio vectorial, V. Por un grupo de operadores se quiere dar a entender que es una coleccion de operadores sobre V los cuales obedecen el grupo de axiomas de la denicion1. El resultado de U1 , U2 , U3 ,..., actuando sobre x de la forma usual puede ser denotado por U1 x, U2 x, U3 x,... En un espacio tridimensional un 2

ejemplo de dicho grupo es la coleccion mensional y Ta trabaja de acuerdo a Ta , donde a es cualquier vector tridi- la regla: Ta