Teora de grupos

Teora de grupos
En lgebra abstracta, la teora de grupos estudia las estructuras algebraicas conocidas como grupos. Sus objetivos son, entre otros, la clasificacin de los grupos, sus propiedades y sus aplicaciones tanto dentro como fuera de las matemticas. Los grupos sirven como pilar a otras estructuras algebraicas ms elaboradas como los anillos, los cuerpos o los espacios vectoriales. La teora de grupos tiene muchas aplicaciones en el campo de la fsica y la qumica, y es potencialmente aplicable en situaciones caracterizadas por la simetra. Adems se aplican en astrofsica: quarks, solucin de acertijos: cubo de Rubik, en los cdigos binarios y en criptografa. El orden de un grupo es su cardinalidad; en base a l, los grupos pueden clasificarse en grupos de orden finito o de orden infinito. La clasificacin de los grupos simples de orden finito es uno de los mayores logros matemticos del siglo XX.
Diagrama de Cayley del grupo libre de orden dos.

Historia
Las races histricas de la teora de grupos son la teora de las ecuaciones algebraicas, la teora de nmeros y la geometra. Euler, Gauss, Lagrange, Abel y Galois fueron los creadores que ponen los cimientos de esta rama del lgebra abstracta. Evarist Galois es reconocido como el primer matemtico que relacion esta teora con la teora de cuerpos, de lo que surgi la teora de Galois. Adems, us la denominacin de grupo o " invent el trmino [...]" segn E.T.Bell. Otros importantes matemticos que contribuyen son Cayley, Emil Artin, Emmy Noether, Peter Ludwig Mejdell Sylow, A.G. Kurosch, Iwasawa entre muchos otros. Fue Walter Dick quien en 1882, dio la moderna definicin de grupo y fue "el primero en definir el grupo libre engendrado por un nmero finito de generadores", segn Nicols Bourbaki. A fines del siglo XIX, Frobenius defini grupo abstracto con un sistema de axiomas. Un grupo es un conjunto G en el que se ha definido una operacin binaria interna , que satisface los

siguientes axiomas: 1. Asociatividad: 2. Elemento neutro: 3. Elemento simtrico: Por lo tanto, un grupo est formado por un conjunto de elementos abstractos o smbolos, y por una ley de composicin interna (operacin binaria) que los relaciona. Dicha ley de composicin interna indica cmo deben ser manipulados los elementos del grupo. Se dice que un grupo es abeliano o conmutativo cuando verifica adems la propiedad conmutativa:

Teora de grupos

Definicin alternativa
Un grupo es un sistema algebraico que no es sino un conjunto no vaco provisto de una operacin binaria asociativa, donde las ecuaciones ax=b y ya=b tienen solucin.

Notacin
Se habla de notacin aditiva cuando se representa la ley de composicin interna como " ", y el elemento neutro como "0". Por otro lado, la notacin multiplicativa es aquella en la que la ley de composicin interna se representa como " ", o " ", y el elemento neutro como "1".

Ejemplos
, el conjunto de nmeros enteros con la suma usual, es un grupo abeliano; donde el elemento neutro es el 0, y el simtrico de x, es -x. , el conjunto de los nmeros reales con la suma usual, es un grupo abeliano; donde el elemento neutro es el 0, y el simtrico de x, es -x. , el conjunto de los nmeros reales (excluyendo al 0) con la multiplicacin, es un grupo abeliano;

donde el elemento neutro es el 1, y el simtrico de x es 1/x. Notar que al no tener el cero elemento simtrico multiplicativo, se lo debe excluir. El conjunto de todas las biyecciones de un conjunto X - simbolizado por S(X) - junto con la composicin de funciones, es un grupo no abeliano (si la cardinalidad de X es mayor que dos) y se llama grupo simtrico de X. El conjunto de matrices rectangulares de dimensiones con la suma, es un grupo abeliano. El conjunto de matrices cuadradas con determinante diferente de cero con la multiplicacin (Grupo general lineal), no es abeliano. Las clases de homotopa de trayectorias continuas en un espacio topolgico X forman un grupo no . necesariamente abeliano. sta construccin es el grupo fundamental de X. El grupo fundamental de un crculo (circle, cercle, Kreis) es el grupo cclico infinito; El de la esfera De un toro es es trivial = 0. . De un toro sin dos discos disjuntos; .

De un toro sin un disco es el grupo libre de orden dos, Del plano proyectivo es El de la botella de Klein tiene la presentacin; de con .

y que corresponde al producto semidirecto

Operaciones
Entre dos grupos G, H puede haber morfismos, i.e. funciones que son compatibles con las operaciones en cada uno de ellos. Si es un homomorfismo entonces obedece

donde hemos hecho la convencin de escribir operacin de El conjunto Si con en H. un

para indicar la operacin de a con b en G, y

la

es un subgrupo en H cuando S es un subgrupo en G. conmutador . del grupo: se obtiene:

transformamos

Teora de grupos

Categora de grupos
Desde el punto de vista de la teora de categoras, la teora de grupos podra catalogarse como una categora llamada categora de grupos, debido a que en ella se estudia a los grupos y sus morfismos. La categora de grupos es muy grande, pero puede armarse una relacin de equivalencia en esta categora para que se factorice: la relacin entre grupos de ser isomorfos reduce cuestiones estructurales de la categora de grupos a la categora de grupos-mdulo-los-isomorfos. En esta reduccin la operacin de unin disjunta la convierte en una categora monoidal.

Teora geomtrica de los grupos

Los ms actuales temas de investigacin en la teora de grupos tienen que ver con las modernas tcnicas de la topologa. Una manera estndar de construir nuevos grupos a partir de los conocidos son los productos libres, productos libres amalgamados y las HNN-extensiones. La gran variedad de tcnicas topolgicas pueden ser aplicadas desde que se sabe que es posible construir siempre un espacio topolgico (de hecho un CW-complejo dos-dimensional) de tal manera que el grupo fundamental de este espacio es el grupo dado.

Referencias
1. Referencia global en Encyclopaedia of Mathematics (http://eom.springer.de/G/g045210.htm) Alexandroff, P. S. (1967). Introduccin a la Teora de los Grupos. Buenos Aires: Editorial Universitaria de Buenos Aires, Coleccin Cuadernos N 132, 152 pginas, en rstica. Traduccin del ruso: Juana Elisa Quastler. Adler, Irving (1970). La Nueva Matemtica. Buenos Aires: Editorial Universitaria de Buenos Aires, Coleccin Ciencia Joven, 288 pginas, en rstica. Traduccin del ingls: Jorge Juregui. Original: The New Mathematics, The John Day Company, New York.

Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Teora de grupos. Commons

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Teora de grupos Fuente: http://es.wikipedia.org/w/index.php?oldid=70128528 Contribuyentes: Acratta, Akhram, Alberto Salguero, AlfonsoERomero, Allforrous, Carlos Alberto Carcagno, Cyberdelic, Davidsevilla, Diegusjaimes, Elwikipedista, Gerardo Noriega, GermanX, Gtz, Ivn, Jerowiki, Jkbw, Juan Antonio Cordero, Juan Marquez, Julio grillo, Kenrych, Keres, Magister Mathematicae, Marhaiden, Mariano12 1989, Meldor, Moriel, Osado, PaTo23, Porao, Richard8933, Roberto Fiadone, Romanm, Sabbut, Tano4595, Technopat, Wewe, 40 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:Cayley graph of F2.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Cayley_graph_of_F2.svg Licencia: Public Domain Contribuyentes: User:Dbenbenn Archivo:Commons-logo.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Commons-logo.svg Licencia: logo Contribuyentes: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version, created by Reidab.

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/