(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

Cuando se estudian campos vectoriales u otras estructuras algebraicas primero se definen ciertas propiedades básicas y después, otras propiedades importantes que se desprenden de las primeras. Ahora, vamos a ver propiedades de los grupos. Dentro de los grupos mencionamos la existencia de un neutro, asociatividad e inverso. Pero de ahí se desprenden otras propiedades que vamos a usar como la cancelación, la unicidad de los neutros, etc.

Propiedades de grupos

Propiedades. Sea $(G,\ast )$ un grupo, entonces

1. Para cualesquiera $x,a,b\in G$, se tiene que $$x\ast a=x\ast b\Rightarrow a=b,$$ también se vale cancelar por la derecha, $$a\ast x=b\ast x\Rightarrow a=b.$$ Estas propiedades son conocidas como las leyes de cancelación.
2. El neutro en $(G,\ast )$ es único.
3. Cada $a\in G$ tiene un único inverso y se denota por $a^{-1}$.
4. Para toda $a\in G$, $(a^{-1}{)}^{-1}=a$.

Demostración. 1. Sean $x,a,b\in G$.
Supongamos que $x\ast b=x\ast b$. Sea $\tilde{x}\in G$ inverso de $x$. Tenemos que

La cancelación por la derecha es análoga y se deja como ejercicio.

2. Sean $e,e^{\prime }\in G$ neutros

$\begin{array}{rlr}e=& e\ast e^{\prime }& \text{ por ser }{e}^{\prime }\text{ un neutro}\\ =& e^{\prime }& \text{ por ser }e\text{ un neutro}\end{array}$

$\therefore e=e^{\prime }$

3. Sea $a\in G$. Supongamos que $\hat{a},\tilde{a}\in G$ son inversos de a, entonces:

$\begin{array}{rlr}\hat{a}=& e\ast \hat{a}& \text{ por ser }e\text{ el neutro}\\ =& (\tilde{a}\ast a)\ast \hat{a}& \text{ por ser }\tilde{a}\text{ un inverso de }a\\ =& \tilde{a}\ast (a\ast \hat{a})& \text{ por la asociatividad}\\ =& \tilde{a}\ast e& \text{por ser }\hat{a}\text{ un inverso de }a\\ =& \tilde{a}& \text{ por ser }e\text{ el neutro}\end{array}$

$\therefore \hat{a}=\tilde{a}$

4. Sea $a\in G$.
Como $(a^{-1}{)}^{-1}$ es el inverso de $a^{-1}$ tenemos que

$a^{-1}\ast (a^{-1}{)}^{-1}=e$

Como $a^{-1}$ es el inverso de $a$ tenemos que

$a^{-1}\ast a=e$

Así $a^{-1}\ast (a^{-1}{)}^{-1}=a^{-1}\ast a$, entonces por la propiedad 1 podemos cancelar el elemento $a^{-1}$ por la izquierda y concluir que $(a^{-1}{)}^{-1}=a$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Definición débil de grupo

Teorema. Sea $G$ un conjunto, $\ast$ una operación binaria en $G$. Supongamos que

1. $\ast$ es asociativa,
2. existe $e\in G$ tal que $e\ast a=a$ para toda $a\in G$ y
3. $\mathrm{\forall }a\in G$ existe $\tilde{a}\in G$ tal que $\tilde{a}\ast a=e$,

entonces $(G,\ast )$ es un grupo. A partir de ahora, a las propiedades $2$ y $3$ de la definición débil de grupo las denotaremos como $2^{\prime }$ y $3^{\prime }$ respectivamente para dejar que los números $2$ y $3$ denoten las propiedades de la definición de grupo.

Demostración. Supongamos que $(G,\ast )$ cumple $1,2^{\prime }$ y $3^{\prime }$.
Sea $a\in G$, por $3^{\prime }$, existe $\tilde{a}\in G$ tal que $\tilde{a}\ast a=e$.
Tenemos que $\tilde{a}$ es un inverso izquierdo de $a$. Veamos primero que $\tilde{a}$ es también un inverso derecho de $a$, es decir que $a\ast \tilde{a}=e$.

$\begin{array}{rlr}\tilde{a}\ast (a\ast \tilde{a})=& (\tilde{a}\ast a)\ast \tilde{a}& \text{por la asociatividad}\\ =& e\ast \tilde{a}& \text{por la propiedad }{3}^{\prime }\\ =& \tilde{a}& \text{ por la propiedad }{2}^{\prime }\end{array}$

$\Rightarrow \tilde{a}\ast (a\ast \tilde{a})=\tilde{a}$.

Por $3^{\prime }$ existe $b\in G$ tal que $b\ast \tilde{a}=e$. Multiplicando $\tilde{a}\ast (a\ast \tilde{a})=\tilde{a}$ a la izquierda por $b$ tenemos que

Así, $\tilde{a}$ es también un inverso derecho de $a$.

Por $2^{\prime }$, $e\ast a=a$ para toda $a\in G$, es decir $e$ es un neutro izquierdo. Veamos ahora que $e$ también es un neutro derecho probando que $a\ast e=a$ para toda $a\in G$.

Sea $a\in G$, por $3^{\prime }$ existe $\tilde{a}\in G$ tal que $\tilde{a}\ast a=e$, y por lo que acabamos de probar $a\ast \tilde{a}=e$. Usando estas igualdades y la propiedad asociativa tenemos que

$a\ast e=a\ast (\tilde{a}\ast a)=(a\ast \tilde{a})\ast a=e\ast a$

y como $e$ es un neutro por la izquierda, $e\ast a=a$. Así $a\ast e=a$.

Por lo tanto $(G,\ast )$ es un grupo.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Tarea moral

1. Usando la Definición débil de grupo, determina cuáles de estos conjuntos son un grupo.
   • $G=\mathbb{R}\setminus \{-1\}$, $a\ast b:=a+b+ab$.
   • $G={\mathbb{R}}^{\ast }$, $a\ast b=|a|b$.
   • $G=\{r\in \mathbb{Q}|r=\frac{p}{q}\text{ con }(p,q)=1\text{ y }q\text{ impar}\}$, $a\ast b=a+b$ (la adición usual).
   • Sea $X$ un conjunto. Considera $G=\mathcal{P}(X)$ el conjunto potencia de $X$ con la operación binaria $A\mathrm{△}B=(A\cup B)\setminus (A\cap B)$ para todo $A,B\in \mathcal{P}(X)$.
2. Muestra que $G={\mathbb{R}}^{\ast }$ con la operación $a\ast b=|a|b$, tiene un neutro izquierdo $e$ y para cada elemento $a$ existe $\tilde{a}$ tal que $a\ast \tilde{a}=e$ ¿qué puedes concluir con respecto a la definición débil de un grupo?
3. Para el conjunto $\mathcal{S}:=\{★,▾,⧫,\mathrm{♣}\}$, considera las operaciones que creaste en la tarea moral de una entrada anterior.
   • Si definiste una operación tal que $(\mathcal{S},\ast )$ es un grupo, comprueba las propiedades vistas en esta entrada y verifica la definición débil.
   • Si no, observa si alguna de las propiedades analizadas se cumplen con tu operación.
4. Si quieres conocer el grupo de transformaciones lee la sección 3.1.1 del libro Introducción analítica a la geometría de Javier Bracho (página 112 a la 115).
5. Si quieres conocer el grupo diédrico puedes ver el video Dihedral Group de Socratica. El video está en inglés. De todas maneras, después usaremos el grupo diédrico, así que lo definiremos más adelante.

Más adelante…

En la siguiente entrada generalizaremos la propiedad de la asociatividad porque hasta ahora sólo la manejamos con tres elementos. Además, seguiremos formalizando conceptos que ya conocemos intuitivamente: definiremos qué es una potencia, escribiremos las leyes de los exponentes y las demostraremos.

Entradas relacionadas

• Ir a Álgebra Moderna I.
• Entrada anterior del curso: Definición de grupos.
• Siguiente entrada del curso: Asociatividad Generalizada y Leyes de los Exponentes.
• Resto de cursos: Cursos.