---
title: "Estructuras algebraicas"
book: "Matemáticas universitarias — Grado 1"
subject: math
language: es
chapter: 7
exercises: 12
source: https://one-course.com/books/math/3/es/chapter/7-estructuras-algebraicas
---

# Capítulo 7 — Estructuras algebraicas

Las mismas reglas de cálculo reaparecen una y otra vez: enteros, números reales, números complejos, clases de [congruencia](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#def-b1-arith-congruence) y, pronto, polinomios ([Capítulo 8](https://one-course.com/books/math/3/es/chapter/8-polinomios#ch-b1-poly)), vectores y matrices (Capítulos [18](https://one-course.com/books/math/3/es/chapter/18-espacios-vectoriales#ch-b1-vspaces) y [21](https://one-course.com/books/math/3/es/chapter/21-matrices#ch-b1-matrices)). El álgebra extrae los patrones comunes y les pone nombre: *[grupo](#def-b1-structures-group)*, *[anillo](#def-b1-structures-ring)*, *[cuerpo](#def-b1-structures-field)*. Demostrar un hecho una sola vez, al nivel de la estructura, lo demuestra de golpe para todos los ejemplos.

## 7.1 Leyes de composición

**Definición 7.1.**

Una *ley de composición* en un [conjunto](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) $E$ es una [aplicación](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-map) $E \times E \to E$, escrita $(x, y) \mapsto x * y$. Es *asociativa* cuando $(x*y)*z = x*(y*z)$ siempre, y *conmutativa* cuando $x * y = y * x$ siempre. Un elemento $e$ es *neutro* cuando $e * x = x * e = x$ para todo $x$; entonces $x'$ es un *inverso* de $x$ cuando $x * x' = x' * x = e$.

**Proposición 7.2 (Unicidad).**

Una ley tiene a lo sumo un elemento neutro; para una ley asociativa con neutro, cada elemento tiene a lo sumo un inverso.

**Demostración.** Si $e$ y $e'$ son neutros: $e = e * e' = e'$. Si $x'$ y $x''$ invierten $x$: $x' = x' * e = x' * (x * x'') = (x' * x) * x'' = e * x''
= x''$. ∎

## 7.2 Grupos

**Definición 7.3 (Grupo).**

Un *grupo* $(G, *)$ es un [conjunto](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) con una ley asociativa que admite neutro y en la que todo elemento tiene inverso. El grupo es *abeliano* cuando la ley es conmutativa.

**Ejemplo 7.4.**

$(\Z, +)$, $(\Q, +)$, $(\R, +)$, $(\C, +)$; $(\Q^*, \times)$, $(\R^*, \times)$, $(\C^*, \times)$, $(\mathbb{U}_n, \times)$ ([raíces de la unidad](https://one-course.com/books/math/3/es/chapter/3-numeros-complejos#def-b1-complex-unity), [Definición 3.17](https://one-course.com/books/math/3/es/chapter/3-numeros-complejos#def-b1-complex-unity)); el [conjunto](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) $\mathfrak{S}(E)$ de las biyecciones de un [conjunto](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) $E$ en sí mismo, con la composición — el *grupo simétrico* de $E$, no [abeliano](#def-b1-structures-group) en cuanto $\abs E \geq 3$. No son [grupos](#def-b1-structures-group): $(\N, +)$ (faltan inversos), $(\Z, \times)$ (solo $\pm 1$ es invertible).

**Proposición 7.5 (Reglas de cálculo).**

En un [grupo](#def-b1-structures-group) $G$ (escrito multiplicativamente, con neutro $e$):

1. simplificación: $ax = ay \implies x = y$ y $xa = ya \implies  x = y$ ;
2. $(ab)^{-1} = b^{-1} a^{-1}$ y $(a^{-1})^{-1} = a$ ;
3. para $a, b \in G$ , cada una de las ecuaciones $ax = b$ y $xa = b$ tiene solución única ( $x = a^{-1}b$ , resp. $x = b a^{-1}$ ).

**Demostración.** (1) Multiplíquese por $a^{-1}$ por el lado adecuado, usando la asociatividad. (2) $(b^{-1}a^{-1})(ab) = b^{-1}(a^{-1}a)b = b^{-1}b =
e$ y simétricamente; la unicidad del inverso concluye; el segundo punto es la [Proposición 7.2](#prop-b1-structures-unique) aplicada a $a^{-1}$. (3) Sustitúyase y úsese (1) para la unicidad. ∎

**Ejemplo 7.6 (Las simetrías de un rectángulo).**

Un rectángulo (no cuadrado) admite exactamente cuatro isometrías en sí mismo: la identidad $e$, la simetría respecto del eje horizontal $h$, la simetría respecto del eje vertical $v$ y el giro de media vuelta $r$ alrededor del centro. La composición hace de este [conjunto](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) de cuatro elementos un [grupo](#def-b1-structures-group): cada elemento es su propio inverso ($h^2 = v^2 = r^2 = e$) y el producto de dos elementos distintos y distintos del neutro es el tercero ($hv = vh = r$: reflejar en los dos ejes es el giro de media vuelta). La tabla completa es simétrica, luego el [grupo](#def-b1-structures-group) es [abeliano](#def-b1-structures-group) — y, sin embargo, *no* es el mismo [grupo](#def-b1-structures-group) que las rotaciones $\mathbb U_4$ del [Ejemplo 7.15](#ex-b1-structures-order): allí $\iu$ tiene [orden](#def-b1-structures-order) $4$, mientras que aquí todo elemento tiene [orden](#def-b1-structures-order) $\leq 2$. Dos [grupos](#def-b1-structures-group) del mismo tamaño pueden, pues, tener estructuras multiplicativas genuinamente distintas — la figura de más abajo muestra las dos tablas una al lado de la otra. Este [grupo](#def-b1-structures-group) de cuatro elementos vuelve como $\{\pm1\} \times \{\pm1\}$, y el [Ejercicio 7.7](#exo-b1-structures-7) explica por qué todo [grupo](#def-b1-structures-group) con todos los cuadrados triviales debe ser, como este, [abeliano](#def-b1-structures-group).

![Dos grupos de cuatro elementos: U_4 = \e, , -1, - \ (izquierda) y el grupo del rectángulo (derecha), con las posiciones del neutro sombreadas. A la izquierda, el neutro serpentea (un elemento de orden 4 lo genera todo); a la derecha, llena la diagonal (todo elemento eleva al cuadrado a e). Ningún reetiquetado puede convertir una tabla en la otra: los grupos no son isomorfos.](https://one-course.com/images/onecourse/chapters/math-3/b1-structures/fig-b3780f21ef36.svg)

*Dos [grupos](#def-b1-structures-group) de cuatro elementos: $\mathbb U_4 = \{e, \iu,
-1, -\iu\}$ (izquierda) y el [grupo](#def-b1-structures-group) del rectángulo (derecha), con las posiciones del neutro sombreadas. A la izquierda, el neutro serpentea (un elemento de [orden](#def-b1-structures-order) $4$ lo genera todo); a la derecha, llena la diagonal (todo elemento eleva al cuadrado a $e$). Ningún reetiquetado puede convertir una tabla en la otra: los [grupos](#def-b1-structures-group) no son isomorfos.*

**Definición 7.7 (Subgrupo).**

Un subconjunto $H$ de un [grupo](#def-b1-structures-group) $G$ es un *subgrupo* (se escribe $H \leq G$) cuando contiene $e$ y es estable por la ley y por la inversión. Entonces $H$ es a su vez un [grupo](#def-b1-structures-group).

*Criterio:* un $H \subseteq G$ no vacío es un subgrupo si y solo si

$$
\forall x, y \in H, \quad x y^{-1} \in H .
$$

**Demostración del criterio.** Un [subgrupo](#def-b1-structures-subgroup) lo cumple obviamente. Recíprocamente, sea $H \neq \emptyset$ que lo cumpla y tómese $x_0 \in H$. Entonces $e = x_0 x_0^{-1} \in H$; para $y \in H$, $y^{-1} = e\,y^{-1} \in H$; y para $x, y \in H$, $xy =
x (y^{-1})^{-1} \in H$. ∎

**Ejemplo 7.8.**

$\mathbb{U}_n \leq (\C^*, \times)$: es no vacío y, para $z, w \in
\mathbb{U}_n$, $(zw^{-1})^n = z^n (w^n)^{-1} = 1$. Los [subgrupos](#def-b1-structures-subgroup) de $(\Z, +)$ son exactamente los $n\Z$ (demostrado en el [Teorema 6.4](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#thm-b1-arith-gcd)). Una intersección de [subgrupos](#def-b1-structures-subgroup) es siempre un [subgrupo](#def-b1-structures-subgroup), pero una unión casi nunca lo es ([Ejercicio 7.6](#exo-b1-structures-6)).

**Observación 7.9 (Errores frecuentes con las estructuras).**

1. *No basta con la estabilidad por la ley.* $\N$ es estable por la suma dentro de $\Z$ y contiene $0$ y, sin embargo, no es [subgrupo](#def-b1-structures-subgroup) : faltan los inversos. El criterio $xy^{-1} \in H$ lo comprueba todo de una vez — pero solo después de verificar que $H \neq \emptyset$ .
2. *Reflejos no [abelianos](#def-b1-structures-group).* En un [grupo](#def-b1-structures-group) general, $(ab)^2 = abab$ , que es $a^2b^2$ solo cuando $a$ y $b$ conmutan; del mismo modo, $(ab)^{-1} = b^{-1}a^{-1}$ , con el [orden](#def-b1-structures-order) invertido. Toda identidad importada del álgebra escolar hay que rededucirla de los axiomas o marcarla como conmutativa.
3. *[Núcleo](#def-b1-structures-morphism) frente a imagen.* $\ker f$ vive en el *espacio de partida* ; $\operatorname{im} f$ , en el de llegada; « $f$ es [inyectiva](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj) si y solo si $\ker f$ es trivial» ( [Proposición 7.11](#prop-b1-structures-kernel) ) no tiene análogo con la imagen ( $\operatorname{im} f = G'$ es la [sobreyectividad](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj) ).
4. *Los [anillos](#def-b1-structures-ring) no son [grupos](#def-b1-structures-group) para $\times$.* En un [anillo](#def-b1-structures-ring) , la mayoría de los elementos no tienen por qué ser invertibles, y simplificar por $a$ exige que $a$ sea una unidad o que el [anillo](#def-b1-structures-ring) sea un [dominio de integridad](#def-b1-structures-field) : en $\Z/12\Z$ , $\overline3\,\overline2 =  \overline3\,\overline6$ yet $\overline2 \neq \overline6$ ( [Ejemplo 7.27](#ex-b1-structures-zncomputation) ).

**Definición 7.10 (Morfismo de grupos).**

Sean $(G, *)$ y $(G', \star)$ [grupos](#def-b1-structures-group). Una [aplicación](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-map) $f \colon G \to G'$ es un *morfismo* cuando

$$
\forall x, y \in G, \qquad f(x * y) = f(x) \star f(y).
$$

Entonces $f(e_G) = e_{G'}$ y $f(x^{-1}) = f(x)^{-1}$. El *núcleo* y la *imagen* de $f$ son

$$
\ker f = f^{-1}(\{e_{G'}\}) \leq G,
\qquad
\operatorname{im} f = f(G) \leq G' .
$$

Un morfismo [biyectivo](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj) es un *isomorfismo*; su [aplicación](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-map) inversa es entonces automáticamente un morfismo.

**Demostración de las afirmaciones.** $f(e) = f(e * e) = f(e)\star f(e)$ y, simplificando $f(e)$, se obtiene $e_{G'} = f(e)$. Después, $f(x)\star f(x^{-1}) = f(x x^{-1}) = e_{G'}$ identifica $f(x^{-1})$ como el inverso. [Núcleo](#def-b1-structures-morphism): $e \in \ker f$; si $x, y \in \ker f$, $f(xy^{-1}) = f(x)f(y)^{-1} = e$; se aplica el criterio. Imagen: el mismo criterio con $f(x)f(y)^{-1} = f(xy^{-1})$. Inversa de un isomorfismo: para $u, v \in G'$, escríbanse $u = f(x)$, $v = f(y)$; entonces $f^{-1}(u \star v) = f^{-1}(f(xy)) = xy =
f^{-1}(u) f^{-1}(v)$. ∎

**Proposición 7.11 (Inyectividad mediante el núcleo).**

Un [morfismo](#def-b1-structures-morphism) de [grupos](#def-b1-structures-group) $f$ es [inyectivo](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj) si y solo si $\ker f =
\{e\}$.

**Demostración.** Si $f$ es [inyectivo](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj), $\ker f$ solo puede contener la única [imagen recíproca](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-map) de $e_{G'}$, que es $e$. Recíprocamente, si $\ker f = \{e\}$ y $f(x) = f(y)$, entonces $f(xy^{-1}) = f(x) f(y)^{-1}
= e_{G'}$, luego $xy^{-1} = e$, i.e. $x = y$. ∎

**Ejemplo 7.12.**

$\exp \colon (\R, +) \to (\R_+^*, \times)$ es un [morfismo](#def-b1-structures-morphism) ($\eu^{x+y} = \eu^x \eu^y$) y es [biyectivo](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj) ([Proposición 4.1](https://one-course.com/books/math/3/es/chapter/4-funciones-usuales#prop-b1-functions-expln)): las estructuras aditiva y multiplicativa son isomorfas — la razón de ser histórica de los logaritmos. Otro [morfismo](#def-b1-structures-morphism): $\theta \mapsto \eu^{\iu\theta}$ de $(\R, +)$ sobre la circunferencia unidad $(\mathbb{U}, \times)$, con [núcleo](#def-b1-structures-morphism) $2\pi\Z$.

**Ejemplo 7.13 (El morfismo del signo).**

La [aplicación](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-map) $s \colon (\R^*, \times) \to (\{\pm1\}, \times)$ que envía $x$ a su signo es un [morfismo](#def-b1-structures-morphism): el signo de un producto es el producto de los signos. Su [núcleo](#def-b1-structures-morphism) es $\intoo0{+\infty}$ (un [subgrupo](#def-b1-structures-subgroup), como promete la [Definición 7.10](#def-b1-structures-morphism)) y su imagen es todo $\{\pm1\}$: [sobreyectivo](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj) y masivamente no [inyectivo](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj). Dos lecciones generales en miniatura. Primera: un [morfismo](#def-b1-structures-morphism) puede aplastar información; $s$ no recuerda nada de $x$ salvo un bit, y esa es su virtud — los argumentos de signo son exactamente los cálculos que pasan por $s$. Segunda: los [morfismos](#def-b1-structures-morphism) en $\{\pm1\}$ son los «invariantes» más simples; la signatura de las permutaciones, construida en el problema del fin de semana de este capítulo, es el mismo fenómeno sobre el [grupo](#def-b1-structures-group) $\mathfrak S_n$, y todos los argumentos de paridad que mueve descienden por un [morfismo](#def-b1-structures-morphism) bivaluado así.

**Definición 7.14 (Potencias, orden de un elemento).**

En un [grupo](#def-b1-structures-group) $G$ (notación multiplicativa), póngase $x^0 = e$, $x^{k+1} =
x^k x$ and $x^{-k} = (x^k)^{-1}$ for $k \in \N$; then $x^{k+l} = x^k
x^l$ for all $k, l \in \Z$, so $k \mapsto x^k$ is a morphism $(\Z,
+) \to G$ cuya imagen $\langle x \rangle = \{x^k : k \in \Z\}$ es un [subgrupo](#def-b1-structures-subgroup), el [subgrupo](#def-b1-structures-subgroup) *generado* por $x$. El *orden* de $x$ es el menor $m \geq
1$ with $x^m = e$ if one exists (then $\langle x\rangle = \{e, x,
\dots, x^{m-1}\}$ has exactly $m$ elements, and $x^k = e \iff m
\mid k$), y $\infty$ en caso contrario.

**Ejemplo 7.15.**

En $(\C^*, \times)$: $\iu$ tiene [orden](#def-b1-structures-order) $4$, con $\langle \iu \rangle
= \{1, \iu, -1, -\iu\} = \mathbb{U}_4$; more generally $\omega =
\eu^{2\iu\pi/n}$ has order $n$ and $\langle\omega\rangle =
\mathbb{U}_n$. En $(\Z, +)$, todo $x \neq 0$ tiene [orden](#def-b1-structures-order) infinito. Por qué valen las afirmaciones de la definición: si $x$ tiene [orden](#def-b1-structures-order) $m$, divídase cualquier $k$ entre $m$ ($k = mq + r$, $0 \leq r < m$, [Teorema 6.2](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#thm-b1-arith-division)): $x^k = (x^m)^q x^r = x^r$, de modo que las potencias se repiten con período $m$, los elementos enumerados son distintos dos a dos por minimalidad de $m$, y $x^k = e$ obliga a $r = 0$. Los órdenes de las permutaciones se calculan en el problema del fin de semana.

**Ejemplo 7.16 (Órdenes dentro de U12\mathbb U_{12}U12​).**

¿Cuál es el [orden](#def-b1-structures-order) de $\omega^k$ en $\mathbb U_n$, para $\omega =
\eu^{2\iu\pi/n}$? Se tiene $(\omega^k)^m = 1$ si y solo si $n \mid km$ y, escribiendo $d = \gcd(n, k)$, $n = dn'$, $k = dk'$ con $\gcd(n', k') = 1$: $n \mid km \iff n' \mid k'm \iff n' \mid m$ (lema de Gauss, [Teorema 6.8](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#thm-b1-arith-gauss)). El menor $m \geq 1$ así es $n' = \frac{n}{\gcd(n,k)}$. En $\mathbb U_{12}$, por ejemplo, $\omega^8$ tiene [orden](#def-b1-structures-order) $\frac{12}{\gcd(12,8)} = 3$ (en efecto, $\omega^8 = \eu^{4\iu\pi/3} \in \mathbb U_3$), mientras que $\omega^5$ tiene [orden](#def-b1-structures-order) $12$: genera todo el [grupo](#def-b1-structures-group), aunque no sea el generador «estándar». Contar los generadores — los $k$ con $\gcd(k, n) = 1$ — recupera los recuentos de [coprimos](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#cor-b1-arith-bezout) del [Ejemplo 2.25](https://one-course.com/books/math/3/es/chapter/2-combinatoria#ex-b1-counting-coprime): la teoría de [grupos](#def-b1-structures-group) y la combinatoria se encuentran.

## 7.3 Anillos y cuerpos

**Definición 7.17 (Anillo).**

Un *anillo* $(A, +, \times)$ es un [conjunto](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) con dos leyes tales que: $(A, +)$ es un [grupo abeliano](#def-b1-structures-group) (con neutro $0$); $\times$ es asociativa con elemento neutro $1$; y $\times$ es distributiva respecto de $+$ por los dos lados. El anillo es *conmutativo* cuando lo es $\times$. Un elemento $a$ es *invertible* (una *unidad*) cuando $ab = ba = 1$ para algún $b$; las unidades forman un [grupo](#def-b1-structures-group) $(A^\times, \times)$.

**Demostración de que las unidades forman un grupo.** Estabilidad: si $a, a'$ son unidades con inversos $b, b'$, entonces

$$
(aa')(b'b) = a(a'b')b = a\,1\,b = ab = 1,
\qquad (b'b)(aa') = 1
$$

y simétricamente, luego $aa'$ es una unidad. El elemento $1$ es una unidad (su propio inverso), la asociatividad se hereda de $A$, y el inverso $b$ de una unidad $a$ es a su vez una unidad (con inverso $a$). Así pues, $(A^\times, \times)$ cumple todos los axiomas de [grupo](#def-b1-structures-group). Todo [grupo](#def-b1-structures-group) de este libro que no esté construido con permutaciones surge así: $\Q^* = \Q^\times$, $\R^*$, $\C^*$, las unidades de $\Z/n\Z$ de más abajo y, más adelante, las matrices invertibles ([Capítulo 21](https://one-course.com/books/math/3/es/chapter/21-matrices#ch-b1-matrices)). ∎

**Ejemplo 7.18.**

$\Z, \Q, \R, \C$ son [anillos](#def-b1-structures-ring) conmutativos; $\Z^\times = \{1, -1\}$, $\Q^\times = \Q^*$. Más adelante: [anillos](#def-b1-structures-ring) de polinomios $K[X]$ ([Capítulo 8](https://one-course.com/books/math/3/es/chapter/8-polinomios#ch-b1-poly)), [anillos](#def-b1-structures-ring) de matrices (no conmutativos, [Capítulo 21](https://one-course.com/books/math/3/es/chapter/21-matrices#ch-b1-matrices)) y $\Z/n\Z$ más abajo. En todo [anillo](#def-b1-structures-ring), $0 \times a = 0$ (por distributividad: $0a = (0+0)a = 0a + 0a$), y $(-1)a = -a$.

**Ejemplo 7.19 (Idempotentes: fenómenos nuevos en anillos nuevos).**

En $\Z$, la ecuación $x^2 = x$, es decir, $x(x - 1) = 0$, solo tiene las soluciones $0$ y $1$. En $\Z/6\Z$, probando todas las clases: $\overline0^2 = \overline0$, $\overline1^2 = \overline1$, $\overline3^2 = \overline9 = \overline3$ y $\overline4^2 =
\overline{16} = \overline4$ — *cuatro* idempotentes. Los dos exóticos vienen de los divisores de cero: $\overline3\,(\overline3 -
\overline1) = \overline3 \times \overline2 = \overline6 =
\overline0$ sin que ninguno de los factores sea cero. Cálculos así calibran la intuición: los hechos familiares sobre ecuaciones sobreviven en los [dominios de integridad](#def-b1-structures-field) y en los [cuerpos](#def-b1-structures-field), pero un [anillo](#def-b1-structures-ring) general puede comportarse de otro modo, y lo hace — véanse también los [anillos](#def-b1-structures-ring) booleanos del [Ejercicio 7.10](#exo-b1-structures-10), donde *todo* elemento es idempotente.

**Proposición 7.20 (Teorema del binomio en un anillo conmutativo).**

Si $a, b$ son elementos de un [anillo](#def-b1-structures-ring) conmutativo (más en general, si $ab = ba$), entonces, para $n \in \N$:

$$
(a+b)^n = \sum_{k=0}^n \binom nk a^k b^{n-k},
\qquad
a^n - b^n = (a - b) \sum_{k=0}^{n-1} a^k b^{\,n-1-k} .
$$

**Demostración.** Las demostraciones del [Teorema 2.16](https://one-course.com/books/math/3/es/chapter/2-combinatoria#thm-b1-counting-binomial) y de la identidad geométrica solo usan la asociatividad, la conmutatividad de los dos elementos y la distributividad — se aplican literalmente. ∎

**Ejemplo 7.21 (El teorema del binomio en un anillo poco familiar).**

Dos réditos rápidos de la generalidad. En $\Z/p\Z$ ($p$ [primo](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#def-b1-arith-prime)), los [coeficientes binomiales](https://one-course.com/books/math/3/es/chapter/2-combinatoria#def-b1-counting-objects) intermedios se anulan (primer paso del [Teorema 6.23](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#thm-b1-arith-fermat)), de modo que el teorema se reduce al *sueño del novato*

$$
(a + b)^p = a^p + b^p \qquad \text{en } \Z/p\Z ,
$$

identidad genuina allí, por criminal que parezca sobre $\R$. Y en cualquier [anillo](#def-b1-structures-ring) conmutativo que contenga un elemento $\varepsilon$ con $\varepsilon^2 = 0$, el teorema se trunca: $(a + \varepsilon)^n = a^n + n\,a^{n-1}\varepsilon$, pues todos los términos superiores llevan un factor $\varepsilon^2 = 0$. El coeficiente $n\,a^{n-1}$ de $\varepsilon$ es la derivada de $x^n$ — no es casualidad, y es un primer indicio de que las derivadas son álgebra tanto como análisis (compárese con la derivada formal de [Capítulo 8](https://one-course.com/books/math/3/es/chapter/8-polinomios#ch-b1-poly)).

**Definición 7.22 (Dominio de integridad, cuerpo).**

Un [anillo](#def-b1-structures-ring) conmutativo $A \neq \{0\}$ es un *dominio de integridad* cuando no tiene divisores de cero: $ab = 0 \implies a = 0$ o $b = 0$. Es un *cuerpo* cuando todo elemento no nulo es invertible. Todo cuerpo es un dominio de integridad ($ab = 0$ y $a \neq 0$ dan $b = a^{-1}ab = 0$).

**Ejemplo 7.23.**

$\Q$, $\R$, $\C$ son [cuerpos](#def-b1-structures-field); $\Z$ es un [dominio de integridad](#def-b1-structures-field) pero no un [cuerpo](#def-b1-structures-field). En un [dominio de integridad](#def-b1-structures-field) vale la simplificación para $\times$: $ab = ac$ y $a \neq 0$ implican $b = c$.

## 7.4 El anillo $\Z/n\Z$

**Definición 7.24.**

Fíjese $n \in \N^*$. Las clases de [congruencia](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#def-b1-arith-congruence) [módulo](https://one-course.com/books/math/3/es/chapter/3-numeros-complejos#def-b1-complex-field) $n$ ([Ejemplo 1.32](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#ex-b1-logic-congruence)) forman un [conjunto](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) $\Z/n\Z$ de $n$ elementos, escritas $\overline 0,
\overline 1, \dots, \overline{n-1}$. Las operaciones

$$
\overline a + \overline b = \overline{a + b},
\qquad
\overline a \times \overline b = \overline{ab}
$$

están bien definidas — las clases de los resultados no dependen de los representantes, precisamente porque la [congruencia](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#def-b1-arith-congruence) es compatible con $+$ y $\times$ ([Definición 6.18](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#def-b1-arith-congruence)) — y hacen de $\Z/n\Z$ un [anillo](#def-b1-structures-ring) conmutativo.

**Teorema 7.25 (Unidades de Z/nZ\Z/n\ZZ/nZ; los cuerpos Z/pZ\Z/p\ZZ/pZ).**

1. $\overline a$ es invertible en $\Z/n\Z$ si y solo si $\gcd(a, n) = 1$ .
2. $\Z/n\Z$ es un [cuerpo](#def-b1-structures-field) si y solo si $n$ es [primo](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#def-b1-arith-prime) .

**Demostración.** (1) es la [Proposición 6.20](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#prop-b1-arith-invmod) reescrita con clases.

(2) Si $n = p$ es [primo](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#def-b1-arith-prime), todo $\overline a \neq \overline 0$ tiene $p
\nmid a$, so $\gcd(a, p) = 1$: invertible by (1) — a field. If $n =
ab$ con $1 < a, b < n$, entonces $\overline a\, \overline b = \overline
n = \overline 0$ with $\overline a, \overline b \neq \overline 0$: divisores de cero, así que ni siquiera es un [dominio de integridad](#def-b1-structures-field); y $n = 1$ da el [anillo](#def-b1-structures-ring) nulo, excluido. ∎

**Ejemplo 7.26 (¿Cuántas raíces cuadradas de 111?).**

Resuélvase $x^2 = \overline 1$ en $\Z/8\Z$ y en $\Z/7\Z$. Probando las ocho clases [módulo](https://one-course.com/books/math/3/es/chapter/3-numeros-complejos#def-b1-complex-field) $8$: $1^2 = 1$, $3^2 = 9 \equiv 1$, $5^2 = 25
\equiv 1$, $7^2 = 49 \equiv 1$ — *cuatro* soluciones $\{\overline1, \overline3, \overline5, \overline7\}$, aunque el polinomio $X^2 - 1$ tenga grado $2$. En el [cuerpo](#def-b1-structures-field) $\Z/7\Z$, en cambio, $x^2 = \overline1$ significa $(x - \overline1)(x +
\overline1) = \overline0$, and a field has no zero divisors: $x =
\pm\overline1$, solo dos soluciones. El fallo [módulo](https://one-course.com/books/math/3/es/chapter/3-numeros-complejos#def-b1-complex-field) $8$ es rastreable: $(3-1)(3+1) = 2 \times 4 = 8 \equiv 0$ sin que se anule ninguno de los factores. Moraleja: la regla familiar «una ecuación de grado $d$ tiene a lo sumo $d$ raíces» es un teorema sobre *[dominios de integridad](#def-b1-structures-field)* (el [Corolario 8.8](https://one-course.com/books/math/3/es/chapter/8-polinomios#cor-b1-poly-nroots) lo demuestra sobre [cuerpos](#def-b1-structures-field)); en los [anillos](#def-b1-structures-ring) con divisores de cero falla en silencio — que es exactamente por lo que la demostración por emparejamiento del teorema de Wilson ([Ejercicio 6.11](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#exo-b1-arith-11)) necesitaba $p$ [primo](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#def-b1-arith-prime).

**Ejemplo 7.27 (Calcular en Z/nZ\Z/n\ZZ/nZ).**

En $\Z/12\Z$: las unidades son $\overline 1, \overline 5, \overline 7,
\overline{11}$ (las clases coprimas con $12$), y cada una es su propio inverso ($5^2 = 25 \equiv 1$, $7^2 = 49 \equiv 1$, $11^2 = 121
\equiv 1$). La ecuación $\overline 3\, x = \overline 6$ tiene *tres* soluciones ($x \in \{\overline 2, \overline 6,
\overline{10}\}$): sin invertibilidad no hay simplificación. En $\Z/11\Z$, en cambio, toda ecuación $\overline a x = \overline b$ con $\overline a \neq \overline 0$ tiene exactamente una solución.

**Ejemplo 7.28 (Los axiomas de grupo como licencia para resolver).**

En el [grupo](#def-b1-structures-group) $\bigl((\Z/7\Z)^*, \times\bigr)$, resuélvase $\overline
3\,x = \overline 5$. Por la [Proposición 7.5](#prop-b1-structures-rules) (3), la solución existe, es única y vale $\overline3^{-1}\,
\overline5$; since $\overline3 \times \overline5 = \overline{15}
= \overline1$, el inverso de $\overline 3$ es $\overline 5$, luego

$$
x = \overline5 \times \overline5 = \overline{25} = \overline4,
\qquad\text{comprobación: } \overline3 \times \overline4 =
\overline{12} = \overline5 .
$$

Lo importante no es tanto la respuesta como la garantía: en un [grupo](#def-b1-structures-group), toda ecuación así tiene solución única *antes* de cualquier cálculo, de modo que un procedimiento de resolución nunca puede toparse con «no hay solución» o «hay varias». Compárese con $\overline3\,x = \overline6$ en $\Z/12\Z$ de más arriba, donde la garantía falla — saber en qué estructura se está es saber qué se puede dar por supuesto.

**Ejemplo 7.29 (Productos directos).**

Si $G$ y $H$ son [grupos](#def-b1-structures-group), el [conjunto](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) producto $G \times H$ con la ley componente a componente $(g, h)(g', h') = (gg', hh')$ es un [grupo](#def-b1-structures-group): los axiomas se comprueban coordenada a coordenada, con neutro $(e_G, e_H)$ e inversos $(g^{-1}, h^{-1})$. Los órdenes se combinan por el mcm: $(g, h)^m = (g^m, h^m)$ es el neutro si y solo si el [orden](#def-b1-structures-order) de $g$ y el de $h$ [dividen](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#def-b1-arith-divides) los dos a $m$. Así, en $\Z/2\Z
\times \Z/2\Z$ (additive) every nonzero element has order $2$ — que es exactamente el [grupo](#def-b1-structures-group) del rectángulo del [Ejemplo 7.6](#ex-b1-structures-klein) en coordenadas —, mientras que $\Z/4\Z$ tiene un elemento de [orden](#def-b1-structures-order) $4$: una segunda demostración, sin cálculo alguno, de que los dos [grupos](#def-b1-structures-group) de tamaño $4$ no son isomorfos (un isomorfismo conserva los órdenes). Los productos son la manera más fácil de fabricar [grupos](#def-b1-structures-group) nuevos a partir de otros viejos, y el plano $\R^2 = \R \times \R$ del [Capítulo 18](https://one-course.com/books/math/3/es/chapter/18-espacios-vectoriales#ch-b1-vspaces) es la instancia más importante de esta construcción.

**Observación 7.30 (Fermat, estructuralmente).**

En el [cuerpo](#def-b1-structures-field) $\Z/p\Z$, las clases no nulas forman un [grupo](#def-b1-structures-group) multiplicativo de $p - 1$ elementos, y el pequeño teorema de Fermat ([Teorema 6.23](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#thm-b1-arith-fermat)) dice: todo elemento $x$ de ese [grupo](#def-b1-structures-group) cumple $x^{p-1} = \overline 1$. Es un caso particular de un hecho general sobre [grupos](#def-b1-structures-group) finitos (el teorema de Lagrange), demostrado en el segundo año; la demostración por emparejamiento del teorema de Wilson ([Ejercicio 6.11](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#exo-b1-arith-11)) ya tenía este sabor de teoría de [grupos](#def-b1-structures-group).

**Observación 7.31 (Interludio: qué compra la abstracción).**

Es legítimo preguntarse qué se ha ganado demostrando, por ejemplo, la [Proposición 7.2](#prop-b1-structures-unique) para una ley abstracta en lugar de para números. La respuesta es apalancamiento. Ese argumento de dos líneas cubre ya, de golpe: los inversos de funciones para la composición ([Teorema 1.24](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#thm-b1-logic-inverse), cuya demostración de unicidad repite palabra por palabra), los inversos [módulo](https://one-course.com/books/math/3/es/chapter/3-numeros-complejos#def-b1-complex-field) $n$ ([Proposición 6.20](https://one-course.com/books/math/3/es/chapter/6-aritmetica-de-los-enteros#prop-b1-arith-invmod)), los inversos de los reales no nulos, los de las unidades de cualquier [anillo](#def-b1-structures-ring) y — sin haberlas visto todavía — los de las matrices invertibles del [Capítulo 21](https://one-course.com/books/math/3/es/chapter/21-matrices#ch-b1-matrices), donde la unicidad de $A^{-1}$ no necesitará ni una línea de demostración. La misma economía vale para la [Proposición 7.11](#prop-b1-structures-kernel) (un solo criterio de [inyectividad](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj), reutilizado para las aplicaciones lineales en el [Capítulo 20](https://one-course.com/books/math/3/es/chapter/20-aplicaciones-lineales#ch-b1-linmaps)) y para el criterio de [subgrupo](#def-b1-structures-subgroup). La abstracción no es aquí generalidad porque sí: es la negativa a demostrar cinco veces el mismo lema con cinco nombres distintos. El precio — llevar la cuenta de qué axiomas usa realmente cada [enunciado](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-statement) — es exactamente lo que entrenan los ejercicios de este capítulo.

**Observación 7.32 (Dónde se usa este capítulo).**

El vocabulario de este capítulo es la gramática del resto del volumen. Los [anillos](#def-b1-structures-ring) y los [cuerpos](#def-b1-structures-field) organizan el [Capítulo 8](https://one-course.com/books/math/3/es/chapter/8-polinomios#ch-b1-poly) ($K[X]$ es un [anillo](#def-b1-structures-ring) que imita a $\Z$) y el [Capítulo 9](https://one-course.com/books/math/3/es/chapter/9-fracciones-racionales#ch-b1-fractions) ($K(X)$ es su [cuerpo](#def-b1-structures-field) de fracciones); los espacios vectoriales ([Capítulo 18](https://one-course.com/books/math/3/es/chapter/18-espacios-vectoriales#ch-b1-vspaces)) son [grupos abelianos](#def-b1-structures-group) sobre los que actúa un [cuerpo](#def-b1-structures-field); las matrices ([Capítulo 21](https://one-course.com/books/math/3/es/chapter/21-matrices#ch-b1-matrices)) forman el primer [anillo](#def-b1-structures-ring) seriamente no conmutativo del volumen, y sus elementos invertibles un [grupo](#def-b1-structures-group) cuyo estudio es el álgebra lineal misma. Los [morfismos](#def-b1-structures-morphism) y los [núcleos](#def-b1-structures-morphism) vuelven como aplicaciones lineales y [núcleos](#def-b1-structures-morphism) en el [Capítulo 20](https://one-course.com/books/math/3/es/chapter/20-aplicaciones-lineales#ch-b1-linmaps) — la [Proposición 7.11](#prop-b1-structures-kernel) *es* el criterio de [inyectividad](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj) de aquel capítulo, demostrado aquí de una vez por todas. El [grupo simétrico](#ex-b1-structures-groups), protagonista del problema del fin de semana, suministra la signatura sobre la que se construyen los determinantes en el [Capítulo 22](https://one-course.com/books/math/3/es/chapter/22-determinantes-y-sistemas-lineales#ch-b1-det).

## 7.5 Ejercicios

**Ejercicio 7.1 ★.**

En $E = \R \setminus \{1\}$ se define $x * y = x + y - xy$. Demuéstrese que $(E, *)$ es un [grupo abeliano](#def-b1-structures-group). *(Identifíquense el neutro y el inverso de $x$; compruébese la estabilidad: ¿por qué $x * y \neq 1$?)*

**Solución de Ejercicio 7.1.**

*Estabilidad:* $x * y = 1 \iff x + y - xy = 1 \iff (1-x)(1-y) = 0$, imposible para $x, y \neq 1$. De hecho, la identidad clave es

$$
1 - x * y = (1 - x)(1 - y):
$$

la [aplicación](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-map) $\varphi(x) = 1 - x$ envía $(E, *)$ en $(\R^*, \times)$ con $\varphi(x * y) = \varphi(x)\varphi(y)$ — un [morfismo](#def-b1-structures-morphism) [biyectivo](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj). Todos los axiomas se transportan ahora: la asociatividad y la conmutatividad se siguen de las de $\times$; el neutro es $\varphi^{-1}(1) = 0$ (compruébese: $x * 0 = x$); el inverso de $x$ es $\varphi^{-1}\bigl((1-x)^{-1}\bigr) = 1 - \frac{1}{1-x} =
\frac{x}{x - 1}$ (que es $\neq 1$). Así pues, $(E, *)$ es un [grupo abeliano](#def-b1-structures-group).

**Ejercicio 7.2 ★.**

¿Cuáles de los siguientes son [grupos](#def-b1-structures-group)?

1. $(\intoo{0}{+\infty}, \times)$ ;
2. $(\{-1, 0, 1\}, +)$ ;
3. $(\Q^*, \times)$ ;
4. el [conjunto](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) de los enteros impares con la suma.

**Solución de Ejercicio 7.2.**

1. Sí: el producto de positivos es positivo, neutro $1$ , inverso $\frac 1x$ , asociatividad heredada de $\R^*$ .
2. No: no es estable ( $1 + 1 = 2 \notin \{-1,0,1\}$ ).
3. Sí: el ejemplo estándar.
4. No: no es estable (impar $+$ impar $=$ par) y no hay neutro ( $0$ es par).

**Ejercicio 7.3 ★.**

Escríbase la tabla de composición del [grupo simétrico](#ex-b1-structures-groups) $\mathfrak{S}_3$ de $\{1,2,3\}$ (seis biyecciones: la identidad, tres transposiciones y dos $3$-ciclos), y exhíbanse dos elementos que no conmuten.

**Solución de Ejercicio 7.3.**

Escríbanse $\mathrm{id}$, las transposiciones $\tau_{12}, \tau_{13},
\tau_{23}$ (que intercambian los dos puntos indicados) y los ciclos $c = (1\,2\,3)$ (es decir, $1 \mapsto 2 \mapsto 3 \mapsto 1$) y $c^2 = (1\,3\,2)$. La tabla de $\sigma\rho$ (fila $\sigma$, columna $\rho$, aplicando primero $\rho$):

| $\sigma\backslash\rho$ | $\mathrm{id}$ | $c$ | $c^2$ | $\tau_{12}$ | $\tau_{13}$ | $\tau_{23}$ |
| --- | --- | --- | --- | --- | --- | --- |
| $\mathrm{id}$ | $\mathrm{id}$ | $c$ | $c^2$ | $\tau_{12}$ | $\tau_{13}$ | $\tau_{23}$ |
| $c$ | $c$ | $c^2$ | $\mathrm{id}$ | $\tau_{13}$ | $\tau_{23}$ | $\tau_{12}$ |
| $c^2$ | $c^2$ | $\mathrm{id}$ | $c$ | $\tau_{23}$ | $\tau_{12}$ | $\tau_{13}$ |
| $\tau_{12}$ | $\tau_{12}$ | $\tau_{23}$ | $\tau_{13}$ | $\mathrm{id}$ | $c^2$ | $c$ |
| $\tau_{13}$ | $\tau_{13}$ | $\tau_{12}$ | $\tau_{23}$ | $c$ | $\mathrm{id}$ | $c^2$ |
| $\tau_{23}$ | $\tau_{23}$ | $\tau_{13}$ | $\tau_{12}$ | $c^2$ | $c$ | $\mathrm{id}$ |

Par que no conmuta: $\tau_{12}\tau_{13} = c^2$ mientras que $\tau_{13}\tau_{12} = c$. (Para comprobar una entrada: $\tau_{12}\tau_{13}$ envía $1 \xmapsto{\tau_{13}} 3
\xmapsto{\tau_{12}} 3$, $3 \mapsto 1 \mapsto 2$, $2 \mapsto 2 \mapsto
1$: es decir, $1 \mapsto 3 \mapsto 2 \mapsto 1$, el ciclo $c^2 =
(1\,3\,2)$.)

**Ejercicio 7.4 ★.**

Demuéstrese que $H = \{z \in \C^* : \abs z = 1\}$ es un [subgrupo](#def-b1-structures-subgroup) de $(\C^*,
\times)$, y que $\R_+^*$ es otro; ¿es $H \cup \R_+^*$ un [subgrupo](#def-b1-structures-subgroup)?

**Solución de Ejercicio 7.4.**

$H$: $1 \in H$; para $z, w \in H$, $\abs{zw^{-1}} = \abs z / \abs w =
1$: se aplica el criterio. $\R_+^*$: igual, con $\abs{xy^{-1}}$ sustituido por la positividad. Unión: $\iu \in H$ y $2 \in \R_+^*$, pero $2\iu$ tiene [módulo](https://one-course.com/books/math/3/es/chapter/3-numeros-complejos#def-b1-complex-field) $2 \neq 1$ y no es un real positivo: $2\iu \notin H \cup \R_+^*$, luego la unión no es estable — no es un [subgrupo](#def-b1-structures-subgroup) (como predice el [Ejercicio 7.6](#exo-b1-structures-6), pues ninguno de los dos [subgrupos](#def-b1-structures-subgroup) contiene al otro).

**Ejercicio 7.5 ★★.**

Sea $f \colon (\R, +) \to (\C^*, \times)$, $\theta \mapsto
\eu^{\iu\theta}$. Demuéstrese que $f$ es un [morfismo](#def-b1-structures-morphism), calcúlense $\ker f$ e $\operatorname{im} f$ y dedúzcase de la [Proposición 7.11](#prop-b1-structures-kernel) que $f$ no es [inyectivo](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj). Restrínjase el dominio para hacerlo [inyectivo](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj) en un intervalo lo mayor posible.

**Solución de Ejercicio 7.5.**

[Morfismo](#def-b1-structures-morphism): $\eu^{\iu(\theta + \varphi)} =
\eu^{\iu\theta}\eu^{\iu\varphi}$ ([Teorema 3.7](https://one-course.com/books/math/3/es/chapter/3-numeros-complejos#thm-b1-complex-funceq)). [Núcleo](#def-b1-structures-morphism): $\eu^{\iu\theta} = 1 \iff \theta \in 2\pi\Z$, luego $\ker f = 2\pi\Z \neq \{0\}$: no es [inyectivo](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj). Imagen: todo complejo unimodular es $\eu^{\iu\theta}$ para algún $\theta$ (forma polar), luego $\operatorname{im} f = \mathbb{U}$, la circunferencia unidad. La restricción de $f$ a un intervalo semiabierto de longitud $2\pi$, como $\intco{0}{2\pi}$ o $\intoc{-\pi}{\pi}$, es [inyectiva](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj) (dos ángulos con la misma imagen difieren en un múltiplo de $2\pi$, y solo un representante de cada clase cabe en el intervalo); ningún intervalo de longitud mayor sirve, pues contiene dos puntos a distancia $2\pi$.

**Ejercicio 7.6 ★★.**

Sean $H, K$ [subgrupos](#def-b1-structures-subgroup) de $G$. Demuéstrese que $H \cap K$ es un [subgrupo](#def-b1-structures-subgroup) y que $H \cup K$ es un [subgrupo](#def-b1-structures-subgroup) *solo* cuando $H \subseteq K$ o $K \subseteq H$. *(Si $h \in H \setminus K$ y $k \in K \setminus H$, ¿dónde puede vivir $hk$?)*

**Solución de Ejercicio 7.6.**

Intersección: $e \in H \cap K$, y $x, y \in H \cap K$ da $xy^{-1}$ tanto en $H$ como en $K$. Unión: si $H \subseteq K$, la unión es $K$, un [subgrupo](#def-b1-structures-subgroup) (y simétricamente). Recíprocamente, supóngase que no se da ninguna de las dos inclusiones: tómense $h \in H \setminus K$ y $k \in K \setminus H$, y supóngase que $H \cup K$ fuese un [subgrupo](#def-b1-structures-subgroup); entonces $hk \in H \cup K$. Si $hk \in H$, entonces $k = h^{-1}(hk) \in H$: contradicción. Si $hk \in K$, entonces $h = (hk)k^{-1} \in K$: contradicción. Luego $H \cup K$ no es un [subgrupo](#def-b1-structures-subgroup).

**Ejercicio 7.7 ★★.**

Un [grupo](#def-b1-structures-group) $G$ cumple $x^2 = e$ para todo $x \in G$. Demuéstrese que $G$ es [abeliano](#def-b1-structures-group). *(Desarróllese $(xy)^2$.)*

**Solución de Ejercicio 7.7.**

Obsérvese primero que $x^2 = e$ significa $x^{-1} = x$ para todo $x$. Entonces, para $x, y \in G$:

$$
xy = (xy)^{-1} = y^{-1} x^{-1} = yx ,
$$

usando la [Proposición 7.5](#prop-b1-structures-rules) (2). Luego $G$ es [abeliano](#def-b1-structures-group).

**Ejercicio 7.8 ★★.**

En $\Z/18\Z$: enumérense las unidades y hállese el inverso de $\overline 5$; resuélvase $\overline 5\, x = \overline 7$; resuélvase $\overline 6\, x =
\overline 3$ and $\overline 6\, x = \overline{12}$.

**Solución de Ejercicio 7.8.**

Unidades de $\Z/18\Z$: las clases coprimas con $18 = 2 \times 3^2$: $\overline 1, \overline 5, \overline 7, \overline{11}, \overline{13},
\overline{17}$. Inverso de $\overline 5$: $5 \times 11 = 55 = 3\times
18 + 1$, luego $\overline 5^{-1} = \overline{11}$.

$\overline 5 x = \overline 7$: multiplíquese por $\overline{11}$: $x = \overline{77} = \overline 5$ (pues $77 = 4\times 18 + 5$). Solución única.

$\overline 6 x = \overline 3$: la ecuación $6x \equiv 3 \pmod{18}$ significa $18 \mid 6x - 3$. Pero $6x - 3 = 3(2x - 1)$ es impar, mientras que $18$ es par: un número par no puede dividir a uno impar. No hay solución.

$\overline 6 x = \overline{12}$: $6x \equiv 12 \pmod{18} \iff x
\equiv 2 \pmod 3$: soluciones $x \in \{\overline 2, \overline 5,
\overline 8, \overline{11}, \overline{14}, \overline{17}\}$ — seis en total.

**Ejercicio 7.9 ★★.**

Demuéstrese que el [conjunto](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) $\Z[\sqrt 2] = \{a + b\sqrt 2 : a, b \in \Z\}$ es un [anillo](#def-b1-structures-ring) (un subanillo de $\R$), y que $1 + \sqrt 2$ es una unidad suya con infinitas potencias distintas — de modo que $\Z[\sqrt 2]^\times$ es infinito, a diferencia de $\Z^\times$.

**Solución de Ejercicio 7.9.**

$\Z[\sqrt 2]$ contiene $0$ y $1$, y es estable por resta y por producto:

$$
(a + b\sqrt 2)(c + d\sqrt 2) = (ac + 2bd) + (ad + bc)\sqrt 2 ,
$$

luego es un subanillo de $\R$ (la conmutatividad, la asociatividad y la distributividad se heredan). Unidad: $(1 + \sqrt 2)(-1 + \sqrt 2) =
2 - 1 = 1$, así que $1 + \sqrt 2$ es invertible con inverso $\sqrt 2 - 1 \in \Z[\sqrt 2]$. Sus potencias $(1 + \sqrt 2)^n$ son estrictamente crecientes (la base es $> 1$), luego distintas dos a dos, y cada una es una unidad ($\bigl((1+\sqrt2)^n\bigr)^{-1} = (\sqrt 2 - 1)^n$): el [grupo](#def-b1-structures-group) de unidades es infinito.

**Ejercicio 7.10 ★★★.**

([Anillos](#def-b1-structures-ring) booleanos) Sea $A$ un [anillo](#def-b1-structures-ring) en el que $x^2 = x$ para todo $x$. Demuéstrese que $x + x = 0$ para todo $x$ y que $A$ es conmutativo. *(Desarróllense $(x+x)^2$ y $(x+y)^2$.)* Dese un ejemplo de un [anillo](#def-b1-structures-ring) así con $\mathcal{P}(E)$, tomando la diferencia simétrica como suma y la intersección como producto.

**Solución de Ejercicio 7.10.**

$x + x = (x + x)^2 = x^2 + x^2 + x^2 + x^2 = 4x^2 = 4x$ — luego $2x = 4x$, de donde $2x = 0$, es decir, $x + x = 0$ (cada elemento es su propio inverso aditivo). Entonces

$$
x + y = (x+y)^2 = x^2 + xy + yx + y^2 = x + xy + yx + y ,
$$

luego $xy + yx = 0$, es decir, $xy = -yx = yx$ (usando $-z = z$). Por tanto, $A$ es conmutativo.

Ejemplo: en $\mathcal{P}(E)$, defínanse $A + B = (A \cup B) \setminus
(A \cap B)$ (diferencia simétrica) y $A \times B = A \cap B$. Se comprueba que $(\mathcal{P}(E), +)$ es un [grupo abeliano](#def-b1-structures-group) con neutro $\emptyset$ y cada [conjunto](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) como su propio inverso; que $\cap$ es asociativa y conmutativa, con neutro $E$; y que vale la distributividad $A \cap (B + C) = (A \cap B) + (A \cap C)$ (un elemento está en el miembro izquierdo si y solo si está en $A$ y en exactamente uno de $B, C$). Y $A \cap A = A$: todo elemento es idempotente, como se pedía.

**Ejercicio 7.11 ★★★.**

Sea $G$ un [grupo](#def-b1-structures-group) en el que, para cierto $n \geq 1$ fijo, $(xy)^n = x^n y^n$, $(xy)^{n+1} = x^{n+1}y^{n+1}$ y $(xy)^{n+2} = x^{n+2}y^{n+2}$ para todos $x, y$. Demuéstrese que $G$ es [abeliano](#def-b1-structures-group). *(De las tres identidades dedúzcase primero $y^n x = x y^n$, después $y^{n+1} x = x y^{n+1}$, y conclúyase.)*

**Solución de Ejercicio 7.11.**

Escríbase la hipótesis para $n$ y para $n+1$:

$$
(xy)^{n+1} = x^{n+1} y^{n+1}
\quad\text{and}\quad
(xy)^{n+1} = (xy)(xy)^n = xy\,x^n y^n .
$$

Igualando: $x^{n+1} y^{n+1} = x\,y\,x^n\,y^n$; simplifíquese $x$ por la izquierda e $y^n$ por la derecha: $x^n y = y x^n$. El mismo cálculo un grado más arriba ($n+1$ y $n+2$) da $x^{n+1} y = y x^{n+1}$. Entonces

$$
y\,x^{n+1} = x^{n+1} y = x\,(x^n y) = x\,y\,x^n ,
$$

y, simplificando $x^n$ por la derecha en $y x \cdot x^n = x y \cdot x^n$: $yx = xy$. Luego $G$ es [abeliano](#def-b1-structures-group).

**Ejercicio 7.12 ★★.**

1. Determínense todos los [morfismos](#def-b1-structures-morphism) de [grupos](#def-b1-structures-group) de $(\Z, +)$ en $(\Z, +)$ .
2. Demuéstrese que el único [morfismo](#def-b1-structures-morphism) de [grupos](#def-b1-structures-group) de $(\Q, +)$ en $(\Z, +)$ es el [morfismo](#def-b1-structures-morphism) nulo. *(Para $x \in \Q$ y $n \in \N^*$, compárense $f(x)$ y $n\,f(x/n)$.)*

**Solución de Ejercicio 7.12.**

1. Sea $f \colon \Z \to \Z$ aditiva y $a = f(1)$ . Por inducción, $f(k) = ka$ para $k \in \N$ , y $f(-k) = -f(k) = -ka$ : así pues, $f$ es la multiplicación por $a$ . Recíprocamente, toda [aplicación](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-map) $k \mapsto ak$ es un [morfismo](#def-b1-structures-morphism) : los [morfismos](#def-b1-structures-morphism) $(\Z,+) \to (\Z,+)$ son exactamente las multiplicaciones por un entero fijo.
2. Sea $f \colon \Q \to \Z$ un [morfismo](#def-b1-structures-morphism), $x \in \Q$ y $n \in \N^*$. Entonces $$f(x) = f\Bigl(\underbrace{\tfrac xn + \dots +  \tfrac xn}_{n}\Bigr) = n\,f\Bigl(\frac xn\Bigr) ,$$ de modo que el entero $f(x)$ es divisible por todo $n \geq 1$. El único entero así es $0$: $f \equiv 0$.

## 7.6 Problema: el grupo simétrico y el rompecabezas del 8

**Problema 7.1.**

El [grupo](#def-b1-structures-group) $\mathfrak S_n$ de las permutaciones de $\intint1n$ es el [grupo](#def-b1-structures-group) más antiguo de las matemáticas y sigue siendo el más instructivo. Este problema construye su teoría de estructura desde cero — ciclos, generación por transposiciones, el [morfismo](#def-b1-structures-morphism) *signatura* $\varepsilon \colon \mathfrak S_n \to \{\pm1\}$ (cuya existencia no es en absoluto trivial) y el [grupo alternado](#pb-b1-structures-1) $\mathfrak A_n$ generado por los $3$-ciclos — y lo rentabiliza después en un rompecabezas clásico: en el juego de fichas deslizantes $3 \times 3$, ninguna sucesión de movimientos puede intercambiar dos fichas y dejar todo lo demás en su sitio. Las permutaciones actúan sobre $\intint1n$; los productos $\sigma\tau$ significan «aplíquese primero $\tau$»; $[\,v_1, \dots,
v_n]$ denota la [permutación](https://one-course.com/books/math/3/es/chapter/2-combinatoria#def-b1-counting-objects) que envía $i$ a $v_i$.

**Parte I — Ciclos y transposiciones.**

1. Justifíquese $\abs{\mathfrak S_n} = n!$ ( [Teorema 2.12](https://one-course.com/books/math/3/es/chapter/2-combinatoria#thm-b1-counting-counts) ). En $\mathfrak S_3$ , calcúlense los dos productos de $\sigma = [2, 3, 1]$ y $\tau = [1, 3, 2]$ , y conclúyase que $\mathfrak S_3$ no es [abeliano](#def-b1-structures-group) .
2. Un *$k$-ciclo* $(a_1\ a_2\ \dots\ a_k)$ ( $k \geq 2$ , con los $a_i$ distintos dos a dos) envía $a_1 \mapsto a_2  \mapsto \dots \mapsto a_k \mapsto a_1$ y deja fijo todo lo demás; su *soporte* es $\{a_1, \dots, a_k\}$ . Demuéstrese que dos ciclos de soportes disjuntos conmutan.
3. Demuéstrese que toda $\sigma \in \mathfrak S_n$ es producto de ciclos de soportes disjuntos dos a dos, y que esa descomposición es única salvo el [orden](#def-b1-structures-order) de los factores. *(Considérese, para cada $i$, la sucesión $i, \sigma(i),  \sigma^2(i), \dots$: tiene que volver a $i$; las *órbitas* resultantes parten $\intint1n$, y $\sigma$ actúa sobre cada una como un ciclo.)*
4. Descompóngase $\sigma = [4, 1, 5, 2, 3, 7, 8, 6] \in  \mathfrak S_8$ en ciclos disjuntos. Definiendo el *[orden](#def-b1-structures-order)* de $\sigma$ como en el [Definición 7.14](#def-b1-structures-order) , demuéstrese que el [orden](#def-b1-structures-order) de un producto de ciclos disjuntos es el mcm de sus longitudes, y calcúlese el [orden](#def-b1-structures-order) de esta $\sigma$ .
5. Demuéstrese la identidad telescópica $$(a_1\ a_2\ \dots\ a_k)  = (a_1\ a_k)(a_1\ a_{k-1})\cdots(a_1\ a_2) ,$$ y conclúyase que toda [permutación](https://one-course.com/books/math/3/es/chapter/2-combinatoria#def-b1-counting-objects) es producto de transposiciones. Escríbase la $\sigma$ de la pregunta 4 como un producto así.
6. Véase además que bastan las transposiciones *contiguas* $(i\ \ i{+}1)$: para $a < b$, $$(a\ b) = (a\ \ a{+}1)(a{+}1\ \ a{+}2)\cdots(b{-}1\ \ b)  \cdots(a{+}1\ \ a{+}2)(a\ \ a{+}1),$$ un producto de $2(b - a) - 1$ transposiciones contiguas — un número *impar* (esta paridad importará dos veces más abajo).

**Parte II — La signatura existe.** Para $\sigma
\in \mathfrak S_n$, sea

$$
N(\sigma) = \#\bigl\{(i, j) : i < j,\ \sigma(i) >
\sigma(j)\bigr\}
$$

su número de *inversiones*, y póngase $\varepsilon(\sigma) =
(-1)^{N(\sigma)}$.

7. Calcúlense $N$ y $\varepsilon$ para la identidad, para una transposición $(i\ \ i{+}1)$ y para $[2, 3, 1]$ .
8. Demuéstrese que, para toda $\sigma$ y toda transposición contigua $\tau = (i\ \ i{+}1)$ : $N(\sigma\tau) = N(\sigma) \pm  1$ . *(Componer con $\tau$ por la derecha intercambia los valores de las posiciones $i$ e $i + 1$; exactamente un par cambia su condición de inversión.)*
9. Dedúzcase, usando la pregunta 6, que para *cualquier* transposición $\tau$ se tiene $\varepsilon(\sigma\tau) =  -\varepsilon(\sigma)$ ; conclúyase que si $\sigma$ es producto de $p$ transposiciones, entonces $\varepsilon(\sigma) =  (-1)^p$ — en particular, la paridad de $p$ solo depende de $\sigma$ y no de la factorización elegida — y que $\varepsilon \colon \mathfrak S_n \to \{\pm 1\}$ es un [morfismo](#def-b1-structures-morphism) de [grupos](#def-b1-structures-group) .
10. Véase que un $k$ -ciclo tiene signatura $(-1)^{k-1}$ y que, en general, $\varepsilon(\sigma) = (-1)^{n - c(\sigma)}$ , donde $c(\sigma)$ es el número de órbitas de $\sigma$ (incluidos los puntos fijos).
11. El *[grupo alternado](#pb-b1-structures-1)* es $\mathfrak A_n =  \ker\varepsilon$ . Justifíquese que es un [subgrupo](#def-b1-structures-subgroup) y demuéstrese que $\abs{\mathfrak A_n} = \frac{n!}2$ para $n \geq 2$ . *(Fíjese una transposición $\tau_0$ y considérese $\sigma  \mapsto \sigma\tau_0$.)*
12. Comprobación de coherencia sobre $\sigma = [4, 1, 5, 2, 3, 7,  8, 6]$ : calcúlese $\varepsilon(\sigma)$ de tres maneras — contando inversiones, a partir del tipo cíclico con la pregunta 10, y con el recuento de transposiciones de la pregunta 5.

**Parte III — $\mathfrak A_n$ está generado por $3$-ciclos.**

13. Sean $a, b, c, d$ distintos dos a dos. Compruébense las dos identidades $$(a\ b)(a\ c) = (a\ c\ b),  \qquad  (a\ b)(c\ d) = (a\ c\ b)(a\ c\ d) .$$
14. Demuéstrese que, para $n \geq 3$ , todo elemento de $\mathfrak A_n$ es producto de $3$ -ciclos. *(Una [permutación](https://one-course.com/books/math/3/es/chapter/2-combinatoria#def-b1-counting-objects) par es producto de un número par de transposiciones; absórbanse de dos en dos.)*
15. Escríbanse $(1\ 2)(3\ 4)$ y el $5$ -ciclo $(1\ 2\ 3\ 4\ 5)$ explícitamente como productos de $3$ -ciclos.
16. Demuéstrese la fórmula de conjugación: para toda $\sigma \in  \mathfrak S_n$, $$\sigma\,(a_1\ \dots\ a_k)\,\sigma^{-1}  = \bigl(\sigma(a_1)\ \dots\ \sigma(a_k)\bigr) .$$

**Parte IV — El rompecabezas del 8.** Las fichas $1, \dots, 8$ se deslizan en un marco $3 \times 3$ con una casilla vacía; un *movimiento* desliza a la casilla vacía una ficha contigua a ella. Numérense las casillas $1, \dots, 9$ (fila a fila; la posición resuelta tiene la ficha $i$ en la casilla $i$ y la casilla vacía en la casilla $9$). Trátese la casilla vacía como una novena ficha, de modo que una posición es una [permutación](https://one-course.com/books/math/3/es/chapter/2-combinatoria#def-b1-counting-objects) $\sigma \in \mathfrak
S_9$ (tile $\sigma(i)$ sits in cell $i$).

17. Véase que un movimiento sustituye $\sigma$ por $\sigma \circ \tau$ , donde $\tau$ es la transposición de las dos casillas implicadas; dedúzcase que cada movimiento cambia el signo de $\varepsilon(\sigma)$ .
18. Sea $d(\sigma)$ la distancia de taxi (filas más columnas) entre la casilla que ocupa el hueco y su casilla de destino $9$. Véase que cada movimiento cambia $d$ en $\pm1$, de modo que cada movimiento también cambia el signo de $(-1)^{d(\sigma)}$. Conclúyase que $$I(\sigma) = \varepsilon(\sigma)\cdot(-1)^{d(\sigma)}$$ es *invariante* bajo todo movimiento.
19. Demuéstrese la imposibilidad clásica del rompecabezas: la posición que intercambia las fichas $7$ y $8$ y deja todo lo demás (incluida la casilla vacía) en su sitio no se puede alcanzar desde la posición resuelta.
20. Admitimos el recíproco (su demostración es una inducción instructiva pero larga): toda posición con $I = +1$ es alcanzable. Dedúzcase que exactamente la mitad de las $8!$ posiciones con la casilla vacía en su sitio son resolubles, es decir, $\frac{8!}2 = 20\,160$ .
21. Dedúzcase de la pregunta 20 que las disposiciones de fichas alcanzables con la casilla vacía en su sitio forman exactamente el [subgrupo](#def-b1-structures-subgroup) $\mathfrak A_8 \leq \mathfrak S_8$ .
22. Aplicaciones del invariante: ¿se puede alcanzar (a) la posición en la que las fichas $1, 2, 3$ están permutadas cíclicamente y todo lo demás, incluida la casilla vacía, está en su sitio? ¿(b) la posición en la que la ficha $5$ y la casilla vacía han intercambiado sus lugares y todas las demás fichas están en su sitio? Justifíquense las dos respuestas con $I$ .

**Parte V — Síntesis.**

23. Demuéstrese que, para $n \geq 3$ , los únicos [morfismos](#def-b1-structures-morphism) de [grupos](#def-b1-structures-group) $f \colon \mathfrak S_n \to \{\pm 1\}$ son el [morfismo](#def-b1-structures-morphism) constante y $\varepsilon$ . *(Usando la pregunta 16 y la conmutatividad de $\{\pm1\}$, véase que $f$ toma el mismo valor en todas las transposiciones.)*
24. ¿Dónde ha usado exactamente el problema: (i) el concepto de [morfismo](#def-b1-structures-morphism) y la [Proposición 7.11](#prop-b1-structures-kernel) ; (ii) los principios de recuento del [Capítulo 2](https://one-course.com/books/math/3/es/chapter/2-combinatoria#ch-b1-counting) ; (iii) la cuestión de la buena definición que resuelven las preguntas 8–9? Una frase para cada uno.
25. Síntesis, en un párrafo breve: una sola función de paridad, demostrada bien definida una única vez, organiza a la vez la estructura interna de $\mathfrak S_n$ (el [subgrupo](#def-b1-structures-subgroup) $\mathfrak A_n$ ), decide un rompecabezas físico y — mediante la fórmula $\det = \sum_\sigma  \varepsilon(\sigma)\cdots$ — definirá los determinantes en el [Capítulo 22](https://one-course.com/books/math/3/es/chapter/22-determinantes-y-sistemas-lineales#ch-b1-det) . Coméntese el patrón recurrente: los invariantes convierten «pruébense todas las sucesiones de movimientos» en un único cálculo.

**Solución de Problema 7.1.**

**1.** Una [permutación](https://one-course.com/books/math/3/es/chapter/2-combinatoria#def-b1-counting-objects) es una [biyección](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj) de $\intint1n$, es decir, una $n$-variación de $n$ objetos: hay $n!$ ([Teorema 2.12](https://one-course.com/books/math/3/es/chapter/2-combinatoria#thm-b1-counting-counts)). Con $\sigma = [2,3,1]$, $\tau = [1,3,2]$: $\sigma\tau$ envía $1 \mapsto 1 \mapsto 2$, $2 \mapsto 3 \mapsto 1$, $3 \mapsto 2 \mapsto 3$: $\sigma\tau = [2,1,3]$; y $\tau\sigma$ envía $1 \mapsto 2 \mapsto 3$, $2 \mapsto 3 \mapsto 2$, $3 \mapsto 1 \mapsto 1$: $\tau\sigma = [3,2,1] \neq \sigma\tau$.

**2.** Sean $\gamma, \gamma'$ de soportes disjuntos $S, S'$. Para $x \in S$: $\gamma'(x) = x$ y $\gamma(x) \in S$, luego $\gamma\gamma'(x) = \gamma(x) = \gamma'\gamma(x)$. Simétricamente para $x \in S'$; y los dos miembros dejan fijo todo $x \notin S \cup S'$. Luego $\gamma\gamma' = \gamma'\gamma$.

**3.** Para $i \in \intint1n$, los valores $i, \sigma(i),
\sigma^2(i), \dots$ viven en un [conjunto finito](https://one-course.com/books/math/3/es/chapter/2-combinatoria#def-b1-counting-card), luego $\sigma^a(i) = \sigma^b(i)$ para ciertos $a < b$; la [inyectividad](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj) da $\sigma^{b-a}(i) = i$: la sucesión vuelve a $i$. Llámese *órbita* de $i$ al [conjunto](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) $\{i, \sigma(i), \dots, \sigma^{k-1}(i)\}$ con $k \geq 1$ mínimo tal que $\sigma^k(i) = i$. Dos órbitas que se cortan en un punto coinciden (las dos son las imágenes sucesivas de ese punto por $\sigma$), de modo que las órbitas parten $\intint1n$; $\sigma$ actúa sobre cada órbita de tamaño $k \geq 2$ como el $k$-ciclo $(i\ \sigma(i)\ \cdots\ \sigma^{k-1}(i))$ y deja fijos los [conjuntos](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) unitarios. El producto de esos ciclos disjuntos coincide con $\sigma$ en todas partes. Unicidad: en cualquier descomposición en ciclos disjuntos, el ciclo que pasa por $i$ tiene que ser $(i\ \sigma(i)\ \cdots)$ — los ciclos están forzados a ser las órbitas con su acción inducida.

**4.** Siguiendo las órbitas: $1 \to 4 \to 2 \to 1$, $3 \to 5 \to 3$, $6 \to 7 \to 8 \to 6$:

$$
\sigma = (1\ 4\ 2)(3\ 5)(6\ 7\ 8) .
$$

Si $\sigma = \gamma_1\cdots\gamma_r$ con ciclos disjuntos de longitudes $k_1, \dots, k_r$, la conmutación (pregunta 2) da $\sigma^m = \gamma_1^m\cdots\gamma_r^m$ y, como los soportes son disjuntos, $\sigma^m = \mathrm{id}$ si y solo si cada $\gamma_i^m = \mathrm{id}$, si y solo si $k_i \mid m$ para todo $i$ (un $k$-ciclo tiene [orden](#def-b1-structures-order) $k$: $\gamma^m$ envía $a_1$ a $a_{1 + (m \bmod k)}$). El menor $m$ así es $\operatorname{lcm}(k_1, \dots, k_r)$. Aquí: $\operatorname{lcm}(3, 2, 3) = 6$.

**5.** Aplíquese el miembro derecho a cada punto, empezando por el factor de más a la derecha. $a_1 \mapsto a_2$ por $(a_1\ a_2)$, y después todos los factores posteriores dejan fijo $a_2$: en total, $a_1 \mapsto a_2$. Para $2 \leq i < k$: $a_i$ queda intacto hasta que $(a_1\ a_i)$ lo envía a $a_1$, y el factor inmediatamente siguiente $(a_1\ a_{i+1})$ envía $a_1$ a $a_{i+1}$, después de lo cual nada lo mueve: en total, $a_i \mapsto a_{i+1}$. Por último, $a_k$ queda fijo por todos los factores salvo por el de más a la izquierda, que lo envía a $a_1$. Eso es exactamente el ciclo. Como toda [permutación](https://one-course.com/books/math/3/es/chapter/2-combinatoria#def-b1-counting-objects) es producto de ciclos (pregunta 3), es producto de transposiciones. Para la $\sigma$ de la pregunta 4:

$$
\sigma = (1\ 2)(1\ 4)\;(3\ 5)\;(6\ 8)(6\ 7),
$$

cinco transposiciones.

**6.** Inducción sobre $b - a$. Para $b = a + 1$ la identidad es trivial ($1 = 2\cdot1 - 1$ factor). Para $b > a + 1$, compruébese directamente que $(a\ b) = (a\ \ a{+}1)\,(a{+}1\ \ b)\,(a\ \ a{+}1)$: el miembro derecho envía $a \mapsto a{+}1 \mapsto b \mapsto b$, $b \mapsto b \mapsto a{+}1 \mapsto a$, $a{+}1 \mapsto a \mapsto a \mapsto a{+}1$, y deja fijo el resto. Por inducción, $(a{+}1\ \ b)$ es un producto palindrómico de $2(b - a - 1) - 1$ transposiciones contiguas, luego $(a\ b)$ lo es de $2(b - a) - 1$: un número impar.

**7.** $N(\mathrm{id}) = 0$, $\varepsilon = +1$. Para $(i\ \ i{+}1)$, el único par invertido es $(i, i+1)$: $N = 1$, $\varepsilon = -1$. Para $[2, 3, 1]$: los pares invertidos son $(1, 3)$ (valores $2 > 1$) y $(2, 3)$ (valores $3 > 1$): $N = 2$, $\varepsilon = +1$.

**8.** Las listas de valores de $\sigma$ y de $\sigma\tau$ solo difieren en el intercambio de las posiciones $i$ e $i + 1$. Para un par de posiciones que no involucre a $i, i+1$, nada cambia. Para $k < i$, los dos pares $(k, i)$ y $(k, i+1)$ intercambian su condición de inversión (se comparan los mismos dos valores con $\sigma(k)$, en el otro [orden](#def-b1-structures-order) de posiciones): su contribución total no varía; lo mismo para $k > i + 1$. El único par restante, $(i, i+1)$, cambia de condición. Por tanto, $N(\sigma\tau) = N(\sigma) \pm 1$.

**9.** Sea $\tau = (a\ b)$ una transposición cualquiera: por la pregunta 6 es producto de un número impar de transposiciones contiguas, de modo que multiplicar por $\tau$ por la derecha cambia $N$ en un total impar (pregunta 8, aplicada repetidamente): $\varepsilon(\sigma \tau) = -\varepsilon(\sigma)$. Ahora bien, si $\sigma = \tau_1\cdots \tau_p$ (transposiciones), constrúyase desde la identidad mediante $p$ multiplicaciones por la derecha: $\varepsilon(\sigma) = (-1)^p\varepsilon(\mathrm{id}) = (-1)^p$. Como $\varepsilon(\sigma)$ se define por inversiones — independientemente de toda factorización —, la paridad de $p$ es un invariante de $\sigma$. [Morfismo](#def-b1-structures-morphism): escribiendo $\sigma$ con $p$ y $\sigma'$ con $q$ transposiciones, $\sigma\sigma'$ usa $p + q$: $\varepsilon(\sigma\sigma') = (-1)^{p+q} =
\varepsilon(\sigma)\varepsilon(\sigma')$.

**10.** Un $k$-ciclo es producto de $k - 1$ transposiciones (pregunta 5): $\varepsilon = (-1)^{k-1}$. Para $\sigma$ general con órbitas de tamaños $k_1, \dots, k_r$ ($k_i \geq 2$) más $f$ puntos fijos, $c(\sigma) = r + f$ y $n = k_1 + \dots + k_r + f$, luego

$$
\varepsilon(\sigma) = \prod_{i=1}^r (-1)^{k_i - 1}
= (-1)^{\sum_i k_i - r} = (-1)^{n - f - r} = (-1)^{n -
c(\sigma)} .
$$

**11.** $\mathfrak A_n = \ker\varepsilon$ es un [subgrupo](#def-b1-structures-subgroup) por ser el [núcleo](#def-b1-structures-morphism) de un [morfismo](#def-b1-structures-morphism) ([Definición 7.10](#def-b1-structures-morphism)). Fíjese una transposición $\tau_0$ (existe para $n \geq 2$). La [aplicación](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-map) $\sigma \mapsto \sigma\tau_0$ es una [biyección](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-inj) de $\mathfrak S_n$ (su propia inversa) que intercambia $\mathfrak A_n$ con el [conjunto](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) de las permutaciones impares (pregunta 9). Los dos [conjuntos](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) parten $\mathfrak S_n$ y tienen el mismo tamaño: $\abs{\mathfrak A_n} = \frac{n!}2$.

**12.** *Inversiones* de $[4, 1, 5, 2, 3, 7, 8, 6]$: del valor $4$, sobre $1, 2, 3$: tres; de $5$, sobre $2, 3$: dos; de $7$, sobre $6$: una; de $8$, sobre $6$: una. $N = 7$, $\varepsilon = -1$. *Tipo cíclico*: $c = 3$ órbitas, $n = 8$: $\varepsilon = (-1)^{8-3} = -1$. *Recuento de transposiciones*: cinco en la pregunta 5: $(-1)^5 = -1$. Las tres coinciden.

**13.** $(a\ b)(a\ c)$ (empezando por la derecha): $a \mapsto c \mapsto c$; $c \mapsto a \mapsto b$; $b \mapsto b \mapsto
a$: el $3$-ciclo $(a\ c\ b)$. Y $(a\ c\ b)(a\ c\ d)$: $a \mapsto c \mapsto b$; $b \mapsto b \mapsto a$; $c \mapsto d \mapsto
d$; $d \mapsto a \mapsto c$: es decir, $(a\ b)(c\ d)$, como se afirmaba.

**14.** Sea $\sigma \in \mathfrak A_n$: por la pregunta 9, $\sigma = \tau_1\cdots\tau_{2m}$ con un número par de transposiciones. Agrúpense en parejas consecutivas $\tau_{2i-1}\tau_{2i}$: si las dos son iguales, la pareja es la identidad y desaparece; si comparten exactamente un punto, la primera identidad de la pregunta 13 escribe la pareja como un $3$-ciclo; si son disjuntas, la segunda identidad la escribe como dos $3$-ciclos. Por tanto, $\sigma$ es producto de $3$-ciclos (o la identidad, un producto vacío — y, para $n \geq 3$, también $(1\ 2\ 3)^3$).

**15.** $(1\ 2)(3\ 4) = (1\ 3\ 2)(1\ 3\ 4)$ (pregunta 13 con $a{=}1, b{=}2, c{=}3, d{=}4$). Para el $5$-ciclo: por la pregunta 5, $(1\ 2\ 3\ 4\ 5) = (1\ 5)(1\ 4)(1\ 3)(1\ 2)$ y, emparejando: $(1\ 5)(1\ 4) = (1\ 4\ 5)$, $(1\ 3)(1\ 2) = (1\ 2\ 3)$:

$$
(1\ 2\ 3\ 4\ 5) = (1\ 4\ 5)(1\ 2\ 3) .
$$

(Compruébese en $3$: $(1\ 2\ 3)$ envía $3 \to 1$, y después $(1\ 4\ 5)$ envía $1 \to 4$: en total $3 \to 4$, correcto.)

**16.** Aplíquense los dos miembros a un punto cualquiera. Para $i = \sigma(a_j)$: el miembro izquierdo da $\sigma\bigl((a_1\ \dots\ a_k)(a_j)\bigr) = \sigma(a_{j+1})$ (índices [módulo](https://one-course.com/books/math/3/es/chapter/3-numeros-complejos#def-b1-complex-field) $k$), que es lo que el miembro derecho hace con $\sigma(a_j)$. Para $i$ que no sea de esa forma: $\sigma^{-1}(i)$ queda fuera del soporte, luego el miembro izquierdo deja fijo $i$, y el derecho también. Coinciden en todas partes.

**17.** Deslizar la ficha de la casilla $c'$ al hueco $c$ intercambia los contenidos de las casillas $c$ y $c'$ (la ficha $9$, el hueco, pasa a $c'$). Si la ficha $\sigma(i)$ estaba en la casilla $i$, la nueva posición es $\sigma' = \sigma \circ (c\ c')$: los mismos contenidos salvo que las casillas $c, c'$ leen cada una el contenido anterior de la otra. Por la pregunta 9, $\varepsilon(\sigma') = -\varepsilon(\sigma)$.

**18.** Un movimiento lleva el hueco a una casilla contigua: su fila o su columna cambia en exactamente $1$, luego la distancia de taxi $d$ a la casilla $9$ cambia en $\pm1$ y $(-1)^d$ cambia de signo. Como cada movimiento cambia el signo tanto de $\varepsilon(\sigma)$ como de $(-1)^{d(\sigma)}$, su producto $I(\sigma)$ no varía con ningún movimiento: es un invariante.

**19.** La posición resuelta tiene $\varepsilon = +1$, $d = 0$: $I = +1$. La posición objetivo (fichas $7, 8$ intercambiadas, hueco en su sitio) es la transposición de los contenidos de las casillas $7$ y $8$: $\varepsilon = -1$, $d = 0$: $I = -1$. Como $I$ es invariante y los dos valores difieren, ninguna sucesión de movimientos las une.

**20.** Una posición con el hueco en su sitio es una [permutación](https://one-course.com/books/math/3/es/chapter/2-combinatoria#def-b1-counting-objects) de las $8$ fichas entre las casillas $1, \dots, 8$, es decir, un elemento de $\mathfrak S_8$; tiene $d = 0$, luego $I = \varepsilon(\sigma)$. Ser alcanzable obliga a $I = +1$, es decir, $\sigma \in \mathfrak A_8$; y el recíproco admitido dice que se alcanza todo $\mathfrak A_8$. Recuento: $\abs{\mathfrak A_8} = \frac{8!}2 =
20\,160$ (pregunta 11).

**21.** Por la pregunta 20, las disposiciones alcanzables con el hueco en su sitio forman exactamente $\mathfrak A_8$ — en particular, un *[subgrupo](#def-b1-structures-subgroup)* de $\mathfrak S_8$: componer dos revueltos resolubles, o invertir uno, sigue siendo resoluble, algo nada evidente razonando solo sobre el rompecabezas.

**22.** (a) Un $3$-ciclo de fichas con el hueco en su sitio: $\varepsilon = +1$ (pregunta 10), $d = 0$, luego $I = +1$: alcanzable (por el recíproco admitido) — sí se pueden ciclar tres fichas. (b) Ficha $5$ y hueco intercambiados: la posición es la transposición de los contenidos de las casillas $5$ y $9$, luego $\varepsilon = -1$; el hueco queda en el centro, a distancia de taxi $d = 2$ de su sitio, luego $(-1)^d = +1$ e $I = -1$: inalcanzable. No se puede simplemente «aparcar el hueco en el centro» dejando las fichas por lo demás ordenadas.

**23.** Sea $f \colon \mathfrak S_n \to \{\pm1\}$ un [morfismo](#def-b1-structures-morphism). Para dos transposiciones cualesquiera $\tau, \tau'$, la pregunta 16 proporciona una $\sigma$ con $\sigma\tau\sigma^{-1} = \tau'$ (envíense los dos puntos movidos sobre los otros dos; $n \geq 3$ garantiza espacio para hacerlo, aunque incluso $n = 2$ es trivial aquí). Entonces $f(\tau') = f(\sigma)f(\tau)f(\sigma)^{-1} = f(\tau)$, pues $\{\pm1\}$ es [abeliano](#def-b1-structures-group): $f$ es constante sobre las transposiciones. Si esa constante es $+1$, entonces $f = 1$ sobre todos los productos de transposiciones, es decir, en todas partes (pregunta 5). Si es $-1$, entonces $f(\sigma) = (-1)^p = \varepsilon(\sigma)$ sobre un producto de $p$ transposiciones. Luego $f \in \{1, \varepsilon\}$.

**24.** (i) La condición de [morfismo](#def-b1-structures-morphism) de $\varepsilon$ y la maquinaria del [núcleo](#def-b1-structures-morphism) dieron a $\mathfrak A_n$ su estructura de [subgrupo](#def-b1-structures-subgroup) y su tamaño, y los razonamientos al estilo de la [Proposición 7.11](#prop-b1-structures-kernel) recorren las preguntas 11 y 21. (ii) Recuentos: $\abs{\mathfrak S_n} = n!$, el argumento de la mitad de la pregunta 11 y el recuento $20\,160$ de la pregunta 20 son el [Capítulo 2](https://one-course.com/books/math/3/es/chapter/2-combinatoria#ch-b1-counting) en acción. (iii) Las preguntas 8–9 resuelven un genuino problema de buena definición — «la paridad del número de transposiciones» presupone que esa paridad no depende de la factorización, exactamente igual que las operaciones de $\Z/n\Z$ exigían independencia del representante en [Definición 7.24](#def-b1-structures-zn).

**25.** La signatura es un único cálculo con valores en $\{\pm1\}$, demostrado bien definido una sola vez, y hace tres trabajos a la vez: internamente, corta $\mathfrak S_n$ por la mitad y aísla $\mathfrak A_n$ con sus generadores $3$-ciclos; externamente, decide en una línea una pregunta («¿se pueden intercambiar estas dos fichas?») que ninguna búsqueda ingenua podría zanjar, pues ninguna lista finita de secuencias fallidas demuestra la imposibilidad; y estructuralmente, es el motor de signos alternados que hay dentro de la fórmula $\det A = \sum_\sigma \varepsilon(\sigma)\, a_{1\sigma(1)}\cdots
a_{n\sigma(n)}$ del [Capítulo 22](https://one-course.com/books/math/3/es/chapter/22-determinantes-y-sistemas-lineales#ch-b1-det). El patrón — búsquese una magnitud conservada por todo movimiento elemental, calcúlese al principio y en el objetivo — es el arma estándar del matemático contra las preguntas de tipo «¿es posible?», y volverá siempre que un [grupo](#def-b1-structures-group) actúe sobre un [conjunto](https://one-course.com/books/math/3/es/chapter/1-logica-conjuntos-y-aplicaciones#def-b1-logic-sets) de estados.