Teoría de grupos


Teoría de grupos
Diagrama de Cayley del grupo libre de orden dos.

En álgebra abstracta, la teoría de grupos estudia las estructuras algebraicas conocidas como grupos. Sus objetivos son, entre otros, la clasificación de los grupos, sus propiedades y sus aplicaciones tanto dentro como fuera de las matemáticas.

Los grupos sirven como pilar a otras estructuras algebraicas más elaboradas como los anillos, los cuerpos o los espacios vectoriales. La teoría de grupos tiene muchas aplicaciones en el campo de la física y la química, y es potencialmente aplicable en situaciones caracterizadas por la simetría.

El orden de un grupo es su cardinalidad; en base a él, los grupos pueden clasificarse en grupos de orden finito de orden infinito. La clasificación de los grupos simples de orden finito es uno de los mayores logros matemáticos del siglo XX.

Contenido

Historia

Las raíces históricas de la teoría de grupos son la teoría de las ecuaciones algebraicas, la teoría de números y la geometría. Euler, Gauss, Lagrange, Abel y Galois fueron los investigadores iniciadores de esta ciencia. Galois es reconocido como el primer matemático que relacionó esta teoría con la teoría de cuerpos resultando en la teoría de Galois. Otros importantes matemáticos en este campo incluyen a Cayley, Emil Artin, Emmy Noether, Sylow entre muchos otros. Fue Walter von Dick quién en 1882, dio la moderna definición de grupo.

Definiciones

Grupos

Un grupo (G, \circ) es un conjunto G en el que se ha definido una ley de composición interna \circ que satisface los siguientes axiomas:

  1. Asociatividad: a \circ (b \circ c)=(a \circ b) \circ c, \forall a,b,c \in G
  2. Elemento neutro: \exists e \in G : e \circ a=a \circ e=a
  3. Elemento simétrico: \forall a \in G\quad \exists a^{-1} \in G : a\circ a^{-1}=a^{-1} \circ a=e

Por lo tanto, un grupo está formado por un conjunto de objetos abstractos o símbolos, y por una ley de composición interna que los relaciona. Dicha ley de composición interna indica cómo deben ser manipulados los objetos del grupo.

Se dice que un grupo es abeliano o conmutativo cuando verifica además la propiedad conmutativa:

a \circ b = b \circ a \quad \forall a \in G


Notación

Se habla de notación aditiva cuando se representa la ley de composición interna como "a + b", y el elemento neutro como " 0 ". Por otro lado, la notación multiplicativa es aquella en la que la ley de composición interna se representa como "a \cdot b", o "ab", y el elemento neutro como " 1 ".

Ejemplos

  • (\mathbb{Z},+), el conjunto de números enteros con la suma usual, es un grupo abeliano; donde el elemento neutro es el 0, y el simétrico de x, es -x.
  • (\mathbb{R},+), el conjunto de los números reales con la suma usual, es un grupo abeliano; donde el elemento neutro es el 0, y el simétrico de x, es -x.
  • (\mathbb{R}\setminus\{0\},\cdot), el conjunto de los números reales (excluyendo al 0) con la multiplicación, es un grupo abeliano; donde el elemento neutro es el 1, y el simétrico de x es 1/x. Notar que al no tener el cero elemento simétrico multiplicativo, se lo debe excluir.
  • El conjunto de todas las biyecciones de un conjunto X - simbolizado por S(X) - junto con la composición de funciones, es un grupo no abeliano (si la cardinalidad de X es mayor que dos) y se llama grupo simétrico de X.
  • El conjunto de matrices rectangulares de dimensiones n\times m con la suma, es un grupo abeliano.
  • El conjunto de matrices cuadradas con determinante diferente de cero con la multiplicación (Grupo general lineal), no es abeliano.
  • Las clases de homotopía de trayectorias continuas S^1\to X en un espacio topológico X forman un grupo no necesariamente abeliano. Ésta construcción es el grupo fundamental de X.
    • El grupo fundamental de un círculo (circle, cercle, Kreis) es el grupo cíclico infinito; \mathbb{Z}.
    • El de la esfera S2 es trivial = 0.
    • De un toro es \mathbb{Z}\oplus \mathbb{Z}
    • De un toro sin un disco es el grupo libre de orden dos, F2. De un toro sin dos discos disjuntos; F3.
    • Del plano proyectivo es \mathbb{Z}_2
    • El de la botella de Klein tiene la presentación; \langle a,b: aba=b\rangle y que corresponde al producto semidirecto de \mathbb{Z} con \mathbb{Z}.

Operaciones

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

\phi(ab)=\phi(a)\phi(b)\,

donde hemos hecho la convención de escribir ab para indicar la operación de a con b en G, y ϕ(a)ϕ(b) la operación de ϕ(a) con ϕ(b) en H.

El conjunto ϕS es un subgrupo en H cuando S es un subgrupo en G.

Si transformamos un conmutador: aba − 1b − 1 se obtiene: ϕ(aba − 1b − 1) = ϕ(a)ϕ(b)(ϕ(a)) − 1(ϕ(b)) − 1.

Categoría de grupos

Desde el punto de vista de la teoría de categorías, la teoría de grupos podría catalogarse como una categoría llamada categoría de grupos, debido a que en ella se estudia a los grupos y sus morfismos. La categoría de grupos es muy grande, pero puede armarse una relación de equivalencia en esta categoría para que se factorice: la relación entre grupos de ser isomorfos reduce cuestiones estructurales de la categoría de grupos a la categoría de grupos-módulo-los-isomorfos. En esta reducción la operación de unión disjunta la convierte en una categoría monoidal.

Teoría geométrica de los grupos

Los más actuales temas de investigación en la teoría de grupos tienen que ver con las modernas técnicas de la topología. Una manera estándar de construir nuevos grupos a partir de los conocidos son los

  • productos libres,
  • productos libres amalgamados y las
  • HNN-extensiones.

La gran variedad de técnicas topológicas pueden ser aplicadas desde que se sabe que es posible construir siempre un espacio topológico (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
  • Alexandroff, P. S. (1967). Introducción a la Teoría de los Grupos. Buenos Aires: Editorial Universitaria de Buenos Aires, Colección Cuadernos Nº 132, 152 páginas, en rústica. Traducción del ruso: Juana Elisa Quastler. 
  • Adler, Irving (1970). La Nueva Matemática. Buenos Aires: Editorial Universitaria de Buenos Aires, Colección Ciencia Joven, 288 páginas, en rústica. Traducción del inglés: Jorge Jáuregui. Original: The New Mathematics, The John Day Company, New York. 

Véase también


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Teoría de grupos — La teoría de grupos estudia las propiedades de los grupos, y uno de sus objetivos fundamentales es la clasificación de éstos. Un grupo es un magma (i.e. un par ), donde G es un conjunto no vacío y * una ley de composición interna, esto es ,… …   Enciclopedia Universal

  • Teorema de Lagrange (teoría de grupos) — En la teoría de grupos, el teorema de Lagrange es un resultado importante que relaciona el orden de un grupo finito G con el orden de cualquiera de sus subgrupos. Más precisamente, afirma que si G es un grupo finito y H es un subgrupo de G,… …   Wikipedia Español

  • Orden (teoría de grupos) — En la teoría de grupos, una de las ramas de las matemáticas, el término orden se utiliza en dos sentidos estrechamente relacionados: El orden de un grupo es su cardinalidad, es decir, el número de sus elementos; El orden, a veces período, de un… …   Wikipedia Español

  • Teorema de Cauchy (teoría de grupos) — El Teorema de Cauchy es un caso particular de los Teoremas de Sylow, este afirma que para todo grupo fínito G, si existe un primo p tal que p|o(G), (p divide al orden del grupo g, donde el orden del grupo es el número de elementos de G), entonces …   Wikipedia Español

  • Índice (Teoría de grupos) — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Teoría de Bass-Serre — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Teoría geométrica de grupos — La teoría geométrica de grupos es un área de las matemáticas que se dedica al estudio de los grupos finitamente generados mediante las exploraciones entre las propiedades de tales grupos y las propiedades topológicas o geométricas de los espacios …   Wikipedia Español

  • Teoría de Iwasawa — En teoría de números, la Teoría de Iwasawa es una teoría de módulo de Galois de los grupos de clases ideales, que fuera postulada por Kenkichi Iwasawa, hacia 1950, como parte de la teoría de los campos ciclotómicos. A comienzos de 1970, Barry… …   Wikipedia Español

  • Teoría de Galois — Évariste Galois (1811–1832) En matemáticas, la teoría de Galois es una colección de resultados que conectan la teoría de cuerpos con la teoría de grupos. La teoría de Galois tiene aplicación a diversos problemas de la teoría de cuerpos, que… …   Wikipedia Español

  • Teoría cuántica de campos — Dispersión de neutrones. La dispersión inelástica de …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.