En álgebra abstracta, un grupo es un conjunto en el que se define una operación binaria, que satisface ciertos axiomas detallados más abajo. La rama de la matemática que estudia los grupos se llama teoría de grupos.
Definición
Sea una estructura algebraica formada por un conjunto G, sobre cuyos elementos se ha definido una operación o ley de composición interna binaria denotada por "O". Se dice que la estructura (G;O) es un grupo con respecto a la operación si satisface las siguientes propiedades:
Asociatividad: para cualesquiera elementos del grupo no importa el orden en que se operen las parejas de elementos, mientras no se cambie el orden de los elementos (ver grupo abeliano), siempre dará el mismo resultado. Es decir,
x o (y o z)= (x o y)o z para toda x,y,z E G
Existencia del elemento neutro o elemento identidad (comúnmente denotado como e, letra inicial de la palabra alemana einheit, que significa "unidad"): en todo grupo existe un elemento que al ser operado con cualquier otro, no lo modifica, (como el cero en la suma o el 1 en la multiplicación). Es decir, existe elemento neutro (e!) si pertenece a G tal que para todo x E G x o e!= e! o x= x
Existencia de elemento opuesto (o inverso): Todos los elementos del grupo tienen un elemento opuesto (o inverso), con el que al operarse dan por resultado el elemento neutro e. Es decir, para todo x E G esiste y E G: x o y= y o x= e!
Algunos textos incluyen para los grupos la propiedad de la cerradura, pero generalmente se la obvia al ser propiedad de la operación binaria. Esta ley se la formula de la siguiente manera:
Cerradura: para cualesquiera dos elementos del grupo G operados bajo " ", el resultado siempre pertenece al mismo grupo G. Es decir, para toda x, y E G, x o y E G
La propiedad de la cerradura del grupo se expresa generalmente como GxG->G
Notación
Es frecuente utilizar a la hora de definir grupos dos notaciones:
La notación multiplicativa.
Operación: *, llamada producto. También escrita como " "
Elemento neutro: 1.
Elemento inverso: x − 1.
Como en la multiplicación normal, el signo puede en muchas ocasiones no ser escrito, es decir .
La notación aditiva.
Operación: +, llamada suma.
Elemento neutro: 0.
Elemento opuesto de un elemento x del grupo: -x.
Históricamente la terminología multiplicaiva precedió a la aditiva. La operación de grupo no es necesariamente una adición o una multiplicación en el sentido que nos es familiar en la aritmética elemental. Por ejemplo, una operación de grupo puede ser una sustitución o una rotación. Cualquier conjunto de cosas y una operación que a dos cosas asocie una tercera en el conjunto puede ser un grupo si cumple con las condiciones o propiedades de grupo pedidas.
Sus elementos no son siempre números en el sentido ordinario de la aritmética elemental. Asimismo en algunos casos puede ser más cómodo utilizar alguna de las dos notaciones y en otros resulta indiferente. Es posible que se utilicen indistintamente, siempre y cuando esto no mueva a confusión. Cuando se trata de las operaciones familiares de suma y multiplicación, es impropio usar una notación opuesta a la operación.
Tipos de grupos
Grupo abeliano (o conmutativo). Se denomina grupo conmutativo o abeliano a aquel grupo que verifica la Propiedad conmutativa, es decir a.b=b.a para toda a, b E G.
Grupo abeliano con torsión
Definición de torsión: Diremos que un elemento a E A posee torsión o, que es de torsión, si para algún n E N n.a=0
Si a es de torsión, entonces el menor número natural n con la propiedad n.a = 0, coincide con el orden de a. Definición de grupo abeliano con torsión: Un grupo abeliano A se dice con torsión si es igual a 0 o si posee elementos no nulos de torsión.
Grupo abeliano de torsión. Un grupo abeliano A se dice de torsión si todo elemento de A es de torsión.
Grupo finito. Es un grupo con un número finito de elementos.
Grupo de Lie. Es un grupo que además tiene estructura de variedad diferenciable.
Grupo cíclico. Es un grupo conmutativo, finito o infinito, que puede ser generado por multiplicación reiterada de un sólo elemento.
Ejemplos
La suma define estructura de grupo conmutativo en el conjunto de los números enteros (Z), en los numeros racionales (Q), en los numeros reales (R) y en los umeros complejos (C).
Los vectores libres del espacio, con la suma de vectores, forman un grupo conmutativo. La suma de matrices define una estructura de grupo conmutativo en las matrices con coeficientes reales (digamos) con un número de columnas y filas prefijado. Las funciones reales de variable real, con la suma de funciones, también forman un grupo conmutativo, al igual que las sucesiones de números reales con la suma de sucesiones.
El producto define estructura de grupo conmutativo en los números racionales no nulos, los números reales positivos, los números complejos de módulo 1, etc.
Las matrices cuadradas de n columnas con coeficientes reales y determinante distinto de cero forman un grupo con el producto de matrices, grupo que no es conmutativo cuando n>1.
Otros ejemplos de grupos no conmutativos se obtienen al considerar grupos de transformaciones, donde la operación es la composición de aplicaciones y el elemento neutro es la identidad:
El grupo de los movimientos del espacio o grupo de isometría del espacio euclídeo, el grupo de las semejanzas del plano o el grupo de las afinidades de una recta (las aplicaciones de la forma x-->ax+b con a distinto de cero).
El grupo de Galileo, formado por las transformaciones del espacio y el tiempo que conservan los sistemas de referencia inerciales).
El grupo de Lorentz de la teoría de la relatividad, etc.
Todos estos últimos ejemplos lo son del concepto de Grupo de Lie, que son los grupos definidos por operaciones continuas sobre curvas superficies o variedades de dimensión mayor.
La importancia crucial de la teoría de grupos tanto en Física como en Matemática radica en que los isomorfismos de cualquier estructura, de cualquier teoría, forman siempre un grupo y que, en los casos más importantes, los grupos están clasificados: se conocen listas que agotan todos los que hay. La clasificación de los grupos de Lie, llevada a cabo esencialmente por Elie Cartan, es un punto culminante de la matemática europea, sólo comparable a la construcción de los 5 poliedros regulares realizada por la matemática griega. Al igual que ésta última es la determinación de todas las figuras geométricas simétricas posibles, la clasificación de grupos es la determinación de todas las posibles simetrías de cualquier estructura. Así, podemos conocer a priori los grupos de automorfismos de cualquier teoría geométrica. Además, de acuerdo con el Programa de Erlangen de Felix Klein, este grupo de automorfismos reconstruye la correspondiente teoría geométrica.
Definición
Sea una estructura algebraica formada por un conjunto G, sobre cuyos elementos se ha definido una operación o ley de composición interna binaria denotada por "O". Se dice que la estructura (G;O) es un grupo con respecto a la operación si satisface las siguientes propiedades:
Asociatividad: para cualesquiera elementos del grupo no importa el orden en que se operen las parejas de elementos, mientras no se cambie el orden de los elementos (ver grupo abeliano), siempre dará el mismo resultado. Es decir,
x o (y o z)= (x o y)o z para toda x,y,z E G
Existencia del elemento neutro o elemento identidad (comúnmente denotado como e, letra inicial de la palabra alemana einheit, que significa "unidad"): en todo grupo existe un elemento que al ser operado con cualquier otro, no lo modifica, (como el cero en la suma o el 1 en la multiplicación). Es decir, existe elemento neutro (e!) si pertenece a G tal que para todo x E G x o e!= e! o x= x
Existencia de elemento opuesto (o inverso): Todos los elementos del grupo tienen un elemento opuesto (o inverso), con el que al operarse dan por resultado el elemento neutro e. Es decir, para todo x E G esiste y E G: x o y= y o x= e!
Algunos textos incluyen para los grupos la propiedad de la cerradura, pero generalmente se la obvia al ser propiedad de la operación binaria. Esta ley se la formula de la siguiente manera:
Cerradura: para cualesquiera dos elementos del grupo G operados bajo " ", el resultado siempre pertenece al mismo grupo G. Es decir, para toda x, y E G, x o y E G
La propiedad de la cerradura del grupo se expresa generalmente como GxG->G
Notación
Es frecuente utilizar a la hora de definir grupos dos notaciones:
La notación multiplicativa.
Operación: *, llamada producto. También escrita como " "
Elemento neutro: 1.
Elemento inverso: x − 1.
Como en la multiplicación normal, el signo puede en muchas ocasiones no ser escrito, es decir .
La notación aditiva.
Operación: +, llamada suma.
Elemento neutro: 0.
Elemento opuesto de un elemento x del grupo: -x.
Históricamente la terminología multiplicaiva precedió a la aditiva. La operación de grupo no es necesariamente una adición o una multiplicación en el sentido que nos es familiar en la aritmética elemental. Por ejemplo, una operación de grupo puede ser una sustitución o una rotación. Cualquier conjunto de cosas y una operación que a dos cosas asocie una tercera en el conjunto puede ser un grupo si cumple con las condiciones o propiedades de grupo pedidas.
Sus elementos no son siempre números en el sentido ordinario de la aritmética elemental. Asimismo en algunos casos puede ser más cómodo utilizar alguna de las dos notaciones y en otros resulta indiferente. Es posible que se utilicen indistintamente, siempre y cuando esto no mueva a confusión. Cuando se trata de las operaciones familiares de suma y multiplicación, es impropio usar una notación opuesta a la operación.
Tipos de grupos
Grupo abeliano (o conmutativo). Se denomina grupo conmutativo o abeliano a aquel grupo que verifica la Propiedad conmutativa, es decir a.b=b.a para toda a, b E G.
Grupo abeliano con torsión
Definición de torsión: Diremos que un elemento a E A posee torsión o, que es de torsión, si para algún n E N n.a=0
Si a es de torsión, entonces el menor número natural n con la propiedad n.a = 0, coincide con el orden de a. Definición de grupo abeliano con torsión: Un grupo abeliano A se dice con torsión si es igual a 0 o si posee elementos no nulos de torsión.
Grupo abeliano de torsión. Un grupo abeliano A se dice de torsión si todo elemento de A es de torsión.
Grupo finito. Es un grupo con un número finito de elementos.
Grupo de Lie. Es un grupo que además tiene estructura de variedad diferenciable.
Grupo cíclico. Es un grupo conmutativo, finito o infinito, que puede ser generado por multiplicación reiterada de un sólo elemento.
Ejemplos
La suma define estructura de grupo conmutativo en el conjunto de los números enteros (Z), en los numeros racionales (Q), en los numeros reales (R) y en los umeros complejos (C).
Los vectores libres del espacio, con la suma de vectores, forman un grupo conmutativo. La suma de matrices define una estructura de grupo conmutativo en las matrices con coeficientes reales (digamos) con un número de columnas y filas prefijado. Las funciones reales de variable real, con la suma de funciones, también forman un grupo conmutativo, al igual que las sucesiones de números reales con la suma de sucesiones.
El producto define estructura de grupo conmutativo en los números racionales no nulos, los números reales positivos, los números complejos de módulo 1, etc.
Las matrices cuadradas de n columnas con coeficientes reales y determinante distinto de cero forman un grupo con el producto de matrices, grupo que no es conmutativo cuando n>1.
Otros ejemplos de grupos no conmutativos se obtienen al considerar grupos de transformaciones, donde la operación es la composición de aplicaciones y el elemento neutro es la identidad:
El grupo de los movimientos del espacio o grupo de isometría del espacio euclídeo, el grupo de las semejanzas del plano o el grupo de las afinidades de una recta (las aplicaciones de la forma x-->ax+b con a distinto de cero).
El grupo de Galileo, formado por las transformaciones del espacio y el tiempo que conservan los sistemas de referencia inerciales).
El grupo de Lorentz de la teoría de la relatividad, etc.
Todos estos últimos ejemplos lo son del concepto de Grupo de Lie, que son los grupos definidos por operaciones continuas sobre curvas superficies o variedades de dimensión mayor.
La importancia crucial de la teoría de grupos tanto en Física como en Matemática radica en que los isomorfismos de cualquier estructura, de cualquier teoría, forman siempre un grupo y que, en los casos más importantes, los grupos están clasificados: se conocen listas que agotan todos los que hay. La clasificación de los grupos de Lie, llevada a cabo esencialmente por Elie Cartan, es un punto culminante de la matemática europea, sólo comparable a la construcción de los 5 poliedros regulares realizada por la matemática griega. Al igual que ésta última es la determinación de todas las figuras geométricas simétricas posibles, la clasificación de grupos es la determinación de todas las posibles simetrías de cualquier estructura. Así, podemos conocer a priori los grupos de automorfismos de cualquier teoría geométrica. Además, de acuerdo con el Programa de Erlangen de Felix Klein, este grupo de automorfismos reconstruye la correspondiente teoría geométrica.
