Grupos y Subgrupos


 Lección 1.  
   Leyes de Composición - Definición y Ejemplos

En esta sección definimos el concepto de operación entre elementos de un conjunto; concepto que hemos utilizado tácitamente en todas nuestras matemáticas elementales. Se dará además una definición precisa de las propiedades más comunes de las que gozan estas operaciones. Esto permitirá introducir posteriormente la noción de grupo.

Definición 1. Sea $G$ un conjunto no vacío. Cualquier función MATH del producto cartesiano de $G$ por $G$ en el mismo conjunto $G$ se denomina ley de composición interna definida en el conjunto $G$. Así pues, a cada par ordenado $(x,y)$ de elementos de $G$ se le asigna un único elemento de $G$. La imágen del par $(x,y)$ mediante la función $\bigtriangleup $ se denota por $x\bigtriangleup y$ . $x\bigtriangleup y$ se denomina también resultado de operar $x$ e $y$ (en ese orden).

Ejemplo 1. La adición de números naturales es una ley de composición :

MATH

$(a,b)$ \ $a+b$

Ejemplo 2. En $N$ podemos definir la función $\bigtriangleup $ como sigue:

MATH

MATH

$\bigtriangleup$ es una ley de composición interna en $N$. Por ejemplo, 3$\bigtriangleup$4=3 , 5$\bigtriangleup$2=2, 3$\bigtriangleup$3=3.

Ejemplo 3. Sea $X$ un conjunto finito y sea $P(X)$ el conjunto de todos los subconjuntos de $X$. La intersección de conjuntos define una operación binaria interna en $P(X)$:

MATH

$(A,B)$ \ $A\cap B$

Ejemplo 4. En el conjunto de los números naturales $N$ definamos la función:

MATH

MATH

donde la operación $\bigtriangleup$ es como en el Ejemplo 2.

Así pues,

$5\ast 3$ = (5$\bigtriangleup$3) + 2 = 3 + 2 =5

$4\ast 4$ = (4$\bigtriangleup$4) + 2 = 4 + 2 = 6

Ejemplo 5. La función MATH, dada por MATH , no define en $\QTR{bf}{Z}$ una operación binaria interna.

Dado un conjunto $G$ con una operación binaria interna $\Delta$ y dados 3 elementos $a$,$b$ y $c$ del conjunto $G$, podemos preguntarnos las maneras de operar estos tres elementos en ese orden e investigar si los resultados de estas formas de operar coinciden. Así pues, en el Ejemplo 1 sean 2,5, 7 $\in$ N.

Entonces 2+5=7 7+7=14

5+7=12 2+12=14

Es decir, (2+5) +7 = 2+(5+7), donde los paréntesis indican la secuencia en que se han efectuado las operaciones.

Es bien conocido que para la adición de números naturales esta propiedad es válida, es decir que cualesquiera que sean $a$,$b$,$c$ $\in$ $\QTR{bf}{N}$ , se cumple que $(a+b)+c = a+(b+c)$. Nótese sin embargo en el Ejemplo 4, que sobre el mismo conjunto $\QTR{bf}{N}$ se definió la operación $\ast $ que no cumple esta propiedad:

MATH

MATH

7 $\neq\qquad$5

Esto permite clasificar las operaciones binarias de acuerdo a esta propiedad o condición.

Definición 2. Sea $\ast $ una operación binaria definida sobre un conjunto $G$. Se dice que la operación $\ast $ tiene la propiedad asociativa, o que * es una operación asociativa, si para cualesquiera elementos $a$,$b$,$c$ de $G$ se cumple la igualdad MATH.

De esta definición surge una pregunta inmediata: En el caso de que sean dados 4, 5, ó $n$ elementos (en un orden determinado) la secuencia en que se efectuen las operaciones influye en el resultado? Se puede probar que si la operación es asociativa, es decir si para el caso de 3 elementos se tiene la propiedad exigida, entonces la misma propiedad tendrá lugar para cualesquiera $n$ elementos dados en un orden determinado, es decir, que si se dan $n$ elementos $a_{1},\dots ,a_{n}$ del conjunto $G$ y suponiendo que la operación $\ast$ de $G$ es asociativa, los paréntesis que indican la secuencia de como se realizan las operaciones en la expresión $a_{1},\dots,a_{n}$ pueden ser colocados donde se quiera y el resultado no varía.

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

Aviso Legal - Copyright