Grupos y Subgrupos


 Lección 6.  
   Grupos - Más Ejemplos sobre Grupos

Ejemplo 12. El grupo de elementos invertibles del semigrupo $Aplc(X)$ , denotado por $S(X)$, está constituido por las funciones MATH tales que existe MATH para la cual MATH. En otras palabras, $f\in S(X)$ si y sólo si $f$ es una función biyectiva. $S(X)$ es pues el grupo de todas las funciones biyectivas definidas de $X$ en $X$. En el caso en que $X$ sea un conjunto finito de $n\geq 1$ elementos, $S(X)$ se denota por $S_{n}$ . Este grupo será estudiado en detalle en el Capítulo VI. Para el caso $n=3$ vamos a ilustrar todos los elementos de $S_{3}$:

MATH

MATH

Observe que este grupo no es conmutativo.

Ejemplo 13. Sea $X$ un conjunto no vacío y sea $<G,.>$ un grupo con elemento identidad $1$. Sea $Aplc(X,G)$ el conjunto de funciones de $X$ en $G$. Se define en este conjunto la siguiente operación:

MATH

MATH

donde $f,g$ son elementos de $Aplc(X,G)$ y $x\in X$. Esta operación convierte a $Aplc(X,G)$ en un grupo. Nótese que el elemento identidad es la función $i$ que asigna a cada elemento $x$ de $X$ el elemento identidad $1$ de $G$. El inverso de la función $f$ es una función $f^{-1}$ tal que MATH, para cada $x\in X$.

Ejemplo 14. Del álgebra lineal podemos tomar el siguiente ejemplo: Sea MATH el conjunto de matrices rectangulares de $n$ filas y $m$ columnas con la \textoperación habitual de suma definida sobre las entradas de las matrices. Esta operación convierte a MATH en un grupo conmutativo, en el cual el elemento identidad es la matriz nula y el inverso aditivo de una matriz $A$ es la matriz con entradas de signo contrario a las entradas de la matriz $A$.

Ejemplo 15. En álgebra elemental se consideran los polinomios MATH con coeficientes reales, la colección de todos estos polinomios ($n$ no es fijo !) se denota por $\QTR{Bbb}{R}[x]$ y constituye un grupo respecto a la adición de polinomios mediante reducción de términos semejantes. El polinomio nulo es el elemento identidad y el inverso aditivo de un polinomio se obtiene cambiandole el signo a cada uno de sus coeficientes.

Universidad Nacional de Colombia
Carrera 30 No 45-03 - Edificio 477
Bogotá D.C. - Colombia

Aviso Legal - Copyright