Facultad de Ciencias

Grado en Matemáticas
Trabajo de fin de grado
Curso académico 2015/2016

Trenzas y nudos
Miguel Ángel Navarro Pérez
Miguel Ángel Navarro Pérez 3

Resumen

El objetivo de este trabajo es mostrar al lector la fuerte relación entre la teoría de

trenzas y la teoría de nudos, dos ramas de la topología de baja de dimensión más próximas

de lo que parece.

La primera parte de este estudio está dedicada a los conceptos y resultados básicos

acerca de teoría de trenzas, que nos ayudarán a cumplir nuestro objetivo.

En segundo lugar, introduciremos la noción de nudo matemático y explicaremos có-

mo formarlos a partir de trenzas. En esta sección daremos dos grandes resultados: los

Teoremas de Alexander y de Markov.

Por último, nos aproximaremos a la construcción original del polinomio de Jones, un

invariante de nudos, a partir de grupos de trenzas, lo que pone de maniesto la estrecha

relación entre estas disciplinas.

Palabras clave: Trenza, Nudo, Polinomio de Jones.

4 Trenzas y nudos

Abstract

The main goal of this research is to show the reader the connection between Braid and

Knot Theories, two branches of Low-Dimensional Topology that are closer than they seem

to be.

The rst part of our study is devoted to the concepts and basic results about Braid

Theory, that will help us to fulll our aim.

Secondly, we will introduce the concept of mathematical knot and we will explain how

to build knots from braids. In this part, we will study two great results: Alexander's and

Markov's Theorems.

Finally, we will point out the original denition of the Jones polynomial, a knot inva-

riant, from braid groups, that shows the close connection between both disciplines.

Key words: Braid, Knot, Jones polynomial.

Miguel Ángel Navarro Pérez 5

Índice

1. Introducción 7

2. Trenzas: conceptos básicos 8

2.1. Deniciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

2.2. Equivalencia de trenzas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

2.3. Proyecciones y diagramas . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

3. Estructura de grupo 12
3.1. Trenzas elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

3.2. Presentación del grupo de trenzas . . . . . . . . . . . . . . . . . . . . . . . 18

4. Invariantes de trenza 22
4.1. El número de hebras de una trenza . . . . . . . . . . . . . . . . . . . . . . 22

4.2. La permutación asociada a una trenza . . . . . . . . . . . . . . . . . . . . 23

4.3. Subgrupo de trenzas puras . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

4.4. El exponente de una trenza . . . . . . . . . . . . . . . . . . . . . . . . . . 26

5. Algoritmo de peinado 28
5.1. El algoritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

5.2. Trenzas peinadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

6. Relación trenzas - nudos 35

6.1. Nudos: conceptos básicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

6.2. Invariantes de nudos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

6.3. Cerraduras de trenzas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

6.4. Equivalencia de Markov . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

7. El polinomio de Jones 47
7.1. Diagramas de Temperley-Lieb . . . . . . . . . . . . . . . . . . . . . . . . . 47

7.2. El álgebra de Temperley-Lieb . . . . . . . . . . . . . . . . . . . . . . . . . 50

7.3. La traza de Markov . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

6 Trenzas y nudos

7.4. La construcción del polinomio . . . . . . . . . . . . . . . . . . . . . . . . . 52

7.5. Cálculo del polinomio de Jones: ejemplo . . . . . . . . . . . . . . . . . . . 53

Referencias 57
Miguel Ángel Navarro Pérez 7

1. Introducción

Desde la antigüedad las trenzas y los nudos han sido utilizados como elementos deco-

rativos presentes en la arquitectura y el arte. La belleza de estos objetos geométricos dio

lugar al nacimiento de las teorías de trenzas y de nudos, ramas de la topología de baja

dimensión que generalizan los conceptos cotidianos de trenza y nudo.

En 1925, el matemático Emil Artin presentó sus trabajos sobre teoría de trenzas. El

primer y sorprendente resultado que veremos en este trabajo es que el conjunto de trenzas,

de un número de hebras prejado, dotado del producto de trenzas, que deniremos más

adelante, forma grupo. Este hecho facilitó el estudio y la clasicación de las trenzas desde

un punto de vista algebraico y no solo geométrico.

Hoy en día, el problema de clasicación de trenzas está resuelto y existen algoritmos

capaces de distinguir entre dos trenzas dadas o, por el contrario, decir si son iguales, es

decir, si su patrón de trenzado es el mismo.

Sin embargo, el problema de clasicación de trenzas según la equivalencia de Markov

sigue abierto.

La segunda parte de este trabajo se centra en la relación entre trenzas y nudos. Para

ello, daremos las nociones básicas de teoría de nudos necesarias para nuestro estudio e

inmediatamente veremos cómo construir nudos a partir de trenzas. Las preguntas que nos

plantemos son:

¾Podemos deshacer el proceso y obtener trenzas a partir de nudos?

¾Qué relación guardan las trenzas que generan nudos equivalentes?

Dos grandes teoremas nos dan las respuestas. En primer lugar, el Teorema de Alexander

establece que todo nudo proviene de cerrar una trenza. Por otra parte, el Teorema de

Markov responde a la segunda pregunta. Juntos ponen de maniesto la conexión entre

trenzas, nudos y sus respectivas relaciones de equivalencia.

Por último, estudiaremos la construcción del polinomio de Jones a partir de álgebras

de Temperley-Lieb y grupos de trenzas. Este polinomio, descubierto por el matemático

Vaughan Frederick Randal Jones en 1984, resultó ser un invariante de nudos. Así, el

problema de clasicación de nudos puede replantearse en función de trenzas. Este resultado

fue premiado con la Medalla Fields en el año 1990 y con él concluimos nuestro trabajo,

poniendo de maniesto cómo se complementan ambas, todavía abiertas, disciplinas.

8 Trenzas y nudos

2. Trenzas: conceptos básicos

2.1. Deniciones y ejemplos

Denición 2.1 Consideremos el cubo D = [0, 1]3 y jemos 2n puntos: {p1 , . . . , pn } en
0 0
la base superior y {p1 , . . . , pn } en la base inferior. Llamaremos trenza geométrica de n
hebras (o n-trenza) al objeto que resulta de unir los puntos p1 , . . . , p n con p01 , . . . , p0n , con

la condición de que cada plano horizontal, que divide al cubo en dos, corte a cada hebra

en un único punto.

Podemos pensar que cada n-trenza es una colección de n caminos que conectan los
0 0
puntos p1 , . . . , pn con p1 , . . . , pn (no necesariamente en este orden), uyendo siempre en

la misma dirección: de arriba a abajo. Nos referiremos a cada uno de estos caminos como

hebra o arco y los denotaremos por {di , i = 1, . . . , n}.

A la izquierda, una 3-trenza. La gura de la derecha no es una trenza.

Según esta denición, podemos aceptar como trenzas determinados objetos de trenza-

do innito, denominados trenzas salvajes. A partir de ahora, exluiremos estas trenzas

de nuestro estudio y nos centraremos en las trenzas dóciles, cuyas hebras pueden reem-

plazarse por segmentos poligonales. Por lo tanto, cada hebra puede verse como la unión

de un conjunto nito de puntos, a los que llamaremos vértices, y de segmentos abiertos

de recta.

Denición 2.2 Sea d una hebra de una n-trenza β y AB un segmento de d. Tomemos

un punto C en el interior del cubo D, de forma que:

el triángulo ABC no corta a ninguna hebra de β, salvo a d a lo largo de AB .

AC ∪ CB corta a cada plano horizontal en un punto.

Denotaremos por Ω a la sustitución de AB por AC ∪CB y por Ω−1 a la operación inversa.

Llamaremos movimiento elemental a cualquiera de las dos operaciones Ω, Ω−1 .

Miguel Ángel Navarro Pérez 9

Observación 2.3 Las condiciones expuestas en la denición anterior, aseguran que el

objeto obtenido tras aplicar movimientos elementales a una n-trenza sigue siendo una

n-trenza.

2.2. Equivalencia de trenzas

Intuitivamente, diremos que dos n-trenzas son equivalentes si sus hebras están entrela-
zadas del mismo modo, es decir, si podemos deformar una en la otra de manera continua

sin alterar la disposición de sus extremos. En la siguiente gura, podemos ver que tren-

zas aparentemente distintas pueden seguir el mismo patrón de trenzado; esto es, son la

misma trenza.

A continuación, daremos una denición formal de equivalencia de trenzas.

Denición 2.4 Diremos que dos n-trenzas β y β 0 son equivalentes y lo denotaremos

por β ∼ β 0 si existe una secuencia nita de n-trenzas β0 , β1 , . . . , βm de modo que β = β0 ,

β 0 = βm y cada par βi , βi+1 está relacionado por un único movimiento elemental, para

i = 0, . . . , m − 1, es decir, si podemos establecer la cadena

Ω±1 Ω±1 Ω±1

β = β0 −−→ β1 −−→ · · · −−→ βm = β 0 .
10 Trenzas y nudos

Observación 2.5 Es fácil probar que la equivalencia de trenzas (∼) constituye una rela-

ción de equivalencia sobre el conjunto de n-trenzas.

A partir de ahora, trenzas equivalentes serán consideradas como iguales, por lo que

denimos el conjunto Bn como sigue:

Denición 2.6 Denotaremos por Bn al cociente del conjunto de n-trenzas por la relación
de equivalencia de trenzas, ∼ . En otras palabras, Bn representa el conjunto de n-trenzas

no equivalentes.

Notemos que los elementos de Bn son las clases de equivalencia denidas por ∼. Las

trenzas de la gura anterior representan el mismo elemento del conjunto B3 .

2.3. Proyecciones y diagramas

Hasta este momento, hemos tratado las trenzas como objetos tridimensionales pero

para un estudio más sencillo de sus propiedades topológicas y algebraicas es necesario

hacer las siguientes precisiones.

Denición 2.7 Sea β una n-trenza en el espacio R3 y p : R3 −→ R2 una proyección.

Diremos que p(β) es una proyección regular de la n-trenza β en el plano si la preimagen
de cada punto contiene, a lo sumo, dos puntos.

Como podemos ver en la gura anterior, al pasar de un objeto en tres dimensiones a

otro en dos, se ha perdido cierta información del trenzado de β, por lo que el concepto

de proyección regular no es suciente para reducir la dimensión de las trenzas. Por ello,

daremos la siguiente denición:

Denición 2.8 Dada una n-trenza β , supongamos que p(β) es una proyección regular

de β. En cada punto de intersección de p(β) procedemos al borrado de parte de la hebra

más cercana al plano sobre el que se proyecta. De este modo, queda claro cómo están

entrelazadas las hebras de β en una gura bidimensional a la que llamaremos diagrama

Miguel Ángel Navarro Pérez 11

regular (o diagrama) de β . Los elementos del diagrama son:

arcos o hebras

cruces

Los arcos que quedan por encima en los cruces se llaman overpass. Los que quedan por
debajo, underpass.

Trenza tridimensional, proyección y diagrama.

Hemos explicado cómo obtener un diagrama a partir de una trenza tridimensional.

Para obtener una trenza a partir de su diagrama, basta elevar mínimamente las hebras

del overpass, obteniendo una gura en tres dimensiones.

El hecho de que el camino trenza-diagrama sea de ida y vuelta nos permite decidir

si dos trenzas son o no equivalentes jándonos únicamente en sus diagramas. Por ello, en

muchas ocasiones nos referiremos a los diagramas con el término trenza.

12 Trenzas y nudos

3. Estructura de grupo

Consideremos el conjunto de n-trenzas no equivalentes, Bn . Denimos el producto (o

composición) de dos trenzas β1 , β2 como la yuxtaposición las mismas, haciendo coincidir

los puntos nales de β1 con los puntos de inicio de β2 . De este modo, obtenemos una

nueva n-trenza que recoge el trenzado de β1 y β2 .

A lo largo de esta sección, probaremos que el conjunto Bn , dotado del producto de

trenzas, tiene estructura de grupo no abeliano.

Proposición 3.1 El producto de trenzas respeta la equivalencia de trenzas. En otras pa-

0
labras, si β∼β y β̄ ∼ β̄ 0 entonces β β̄ ∼ β 0 β̄ 0
Demostración. Por ser β ∼ β0 y β̄ ∼ β̄ 0 , según la denición de equivalencia de trenzas,
podemos establecer las cadenas:

Ω±1 Ω±1 Ω±1

β = β0 −−→ β1 −−→ · · · −−→ βm = β 0 .
Ω ±1 Ω ±1
Ω ±1
β̄ = β¯0 −−→ β¯1 −−→ · · · −−→ β̄l = β̄ 0 .
La primera cadena, induce la secuencia

Ω±1 Ω±1 Ω±1

β β̄ = β0 β̄ −−→ β1 β̄ −−→ · · · −−→ βm β̄ = β 0 β̄.

La segunda, por su parte,

±1
Ω Ω ±1 Ω ±1
β 0 β̄ = β 0 β¯0 −−→ β 0 β¯1 −−→ · · · −−→ β 0 β̄l = β 0 β̄ 0 .

En virtud de la transitividad de ∼, queda probado que β β̄ ∼ β 0 β̄ 0 . 

Esta proposición pone de maniesto que la elección del representante de cada clase es

indiferente a la hora de calcular la trenza producto. Veamos qué otras buenas propiedades

presenta el producto de trenzas.

Proposición 3.2 El producto de trenzas es asociativo.

Demostración. Según la denición del producto de trenzas como yuxtaposición, es

evidente que, dadas tres n-trenzas β1 , β2 y β3 , obtenemos la misma trenza al efectuar los

productos (β1 β2 )β3 y β1 (β2 β3 ).



Denición 3.3 Para cada n ≥ 1, denimos la n-trenza trivial como la trenza que une
0
cada pi con el respectivo pi , i = 1, . . . , n, sin crear ningún cruce. En otras palabras, es

una colección de n segmentos "no trenzados". La denotaremos 1n .

Miguel Ángel Navarro Pérez 13

Proposición 3.4 Para cada n-trenza β ∈ Bn , se verica 1n β ∼ β1n ∼ β . Esto es: la

n-trenza trivial juega el papel de elemento neutro para el producto de trenzas.

Demostración. La prueba es inmediata, pues la yuxtaposición de la n-trenza trivial no
es más que un alargamiento de las hebras de β, lo que no altera su trenzado.

Hasta ahora, tenemos un conjunto dotado de una operación asociativa y con elemento

neutro. Para ver que Bn es grupo, solo debemos comprobar que todo elemento tiene

inverso. Para ello, damos la siguiente denición.

Denición 3.5 Dada una trenza β ∈ Bn en el cubo D. Pensemos en la base inferior

de D como un espejo y consideremos la trenza β̄ , que resulta de reejar β. Diremos que

toda trenza construida mediante este procedimiento es la trenza reejo de la trenza de

partida.

Proposición 3.6 Sea β ∈ Bn una n-trenza y consideremos su trenza reejo β̄ . Se prueba

que β β̄ = β̄β = 1n .
Demostración. La prueba se basa en que, por construcción, β̄ deshace el trenzado de β
y, por lo tanto, tras un número nito de movimientos elementales, obtenemos la n-trenza
trivial. Por ello, β β̄ = 1n .
Para ver que β̄β = 1n , basta considerar que β es la trenza reejo de β̄ . 

Ejemplo 3.7 En la siguiente gura se puede observar cómo la trenza reejo deshace el

trenzado.
14 Trenzas y nudos

Teorema 3.8 Para cada n > 1, el conjunto Bn dotado del producto de trenzas es un

grupo, conocido como grupo de n-trenzas (o grupo de Artin).

Demostración. Basta tener en cuenta que:

El producto de trenzas respeta las clases de equivalencia denidas por ∼, es decir,

la operación está bien denida sobre los elementos de Bn .

La operación es asociativa.

La n-trenza trivial es el neutro para esta operación.

Para cada β ∈ Bn , podemos denir su trenza reejo, que juega el papel de inverso

de β.

Ejemplo 3.9 Los primeros grupos de Artin son:

n = 1, B1 = {11 } es el grupo trivial. Basta ver que toda 1-trenza es equivalente a la

1-trenza trivial.

n = 2, los elementos de B2 son de la forma:

Notemos que si n, m ∈ N con n 6= m, las trenzas βn y βm de la gura siguiente no son

equivalentes.
Miguel Ángel Navarro Pérez 15

Se sigue que B2 es un grupo innito (ver Observación 4.19)

Proposición 3.10 Si n ≥ 2, el grupo Bn es innito.

Demostración. Si n = 2, por el ejemplo anterior, sabemos que B2 es innito.

Sea n > 2. Consideremos la inmersión natural de B2 en Bn que asocia a cada 2-trenza,

β, la n-trenza que resulta de añadirle n − 2 nuevas hebras sin trenzar.

De esta forma, podemos obtener innitas n-trenzas no equivalentes (a partir de in-

nitas 2-trenzas distintas) y, por lo tanto, Bn es innito. 

3.1. Trenzas elementales

En general, dado un grupo, la primera pregunta que nos planteamos es si podemos

encontrar una presentación, es decir, un subconjunto generador y una serie de relaciones

que determinen por completo la estructura del grupo. El objetivo de esta sección es dar

una presentación del grupo de n-trenzas. Para ello, prestaremos especial atención a las

trenzas que recoge la siguiente denición.

Denición 3.11 Dado un n ≥ 2, consideremos el grupo Bn y las n−1 n-trenzas denidas

del siguiente modo:

Para cada i = 1, . . . , n − 1, σi es la trenza que conecta pi con p0i+1 y pi+1 con p0i con

pendiente positiva en la hebra del overpass, dejando el resto de hebras sin trenzar.

σ1±1 , . . . , σn−1
±1
n-trenzas elementales.

Las trenzas son conocidas como

Observación 3.12 La trenza σi−1 , que se construye como la trenza reejo de σi , es la

16 Trenzas y nudos

trenza que conecta pi con p0i+1 y pi+1 con p0i , con pendiente negativa en la hebra del over-

pass, dejando el resto de hebras sin trenzar.

De arriba a abajo: σ1±1 , σ2±1 , σ3±1 , σn−1

±1
.

La importancia de estas 2n − 2 n-trenzas se pone de maniesto en el siguiente

resultado:

Proposición 3.13 Toda n-trenza es producto de n-trenzas elementales.

Demostración. Sea β ∈ Bn , tomemos un diagrama de β y dividámoslo en rectángulos,

de modo que el número de cruces en cada rectángulo sea exactamente uno.

Notemos que en el caso de que dos (o más) cruces se produzcan a la vez, podemos

obtener una trenza equivalente a β en la que no tengamos este problema. Basta desplazar

mínimamente los cruces mediante movimientos elementales, sin alterar el trenzado de la

trenza en cuestión.

Trenzas equivalentes en que se han desplazado cruces para evitar que se produzcan simultánea-
mente.

Por construcción, en cada rectángulo habrá un cruce entre dos hebras vecinas; en otras

palabras: una trenza elemental. La yuxtaposición de los rectángulos no es más que la tren-

za de partida expresada como producto de trenzas elementales. 

Ejemplo 3.14 La siguiente gura muestra cómo obtener la palabra asociada a una 4-

trenza dada:
Miguel Ángel Navarro Pérez 17

La trenza puede escribirse como el producto σ3 σ1−1 σ2−1 σ3−1 σ2

A pesar de haber encontrado un sistema generador de Bn , la representación de los

σ1±1 , . . . , σn−1
±1

elementos de Bn en función de los no es única:

Ejemplo 3.15 La 4-trenza σ1 σ3 puede expresarse también como σ3 σ1 .

En general, si dos n-trenzas elementales sucesivas son tales que las hebras que in-

tervienen en los cruces son distintas, podemos alterar el orden a nuestro antojo. Esto

es,

σi σj = σj σi si |i − j| ≥ 2

Esta propiedad se llama casi-conmutatividad del producto de trenzas.

Por otra parte, en B3 es evidente que σ1 σ2 σ1 = σ2 σ1 σ2 . Basta tener en cuenta la gura
siguiente:
18 Trenzas y nudos

donde se ha realizado un movimiento elemental sobre la segunda hebra.

En general, en Bn se satisface σi σi+1 σi = σi+1 σ1 σi+1 para i = 1, . . . , n−2. Basta aplicar

un movimiento elemental análogo al de la gura anterior a las tres hebras en cuestión.

3.2. Presentación del grupo de trenzas

Una vez hechas estas aclaraciones sobre la escritura de los elementos de Bn , podemos

dar el siguiente resultado.

Teorema 3.16 (Artin, 1925) Dado n ≥ 3, Bn queda determinado según la presentación

de Artin:
* +
σi σj = σj σi si |i − j| ≥ 2;
σ1 , . . . σn−1
σi σi+1 σi = σi+1 σ1 σi+1 si i = 1, . . . , n − 2

Demostración. Dado un grupo abstracto, G, con presentación

* +
xi xj = xj xi si |i − j| ≥ 2;
G= x1 , ...xn−1
xi xi+1 xi = xi+1 x1 xi+1 si i = 1, . . . , n − 2

veamos que G es isomorfo al grupo de n-trenzas, Bn .

Para ello, consideremos la aplicación ϕ : G → Bn tal que a cada palabra W =
xei11 · · · xeikk
∈G le asocie ϕ(W ) = ϕ(xei11 · · · xeikk ) = σie11 · · · σiekk ∈ Bn , donde ej ∈ {±1} para
j = 1, . . . , k .
Veamos que tal aplicación es un isomorsmo de grupos entre G y Bn . En primer lugar,
veamos que ϕ es homomorsmo de grupos. Es suciente ver que ϕ lleva las relaciones de

G en el neutro de Bn : la n-trenza trivial. Pero es fácil ver que

ϕ(xi xj x−1 −1 −1 −1
i xj ) = σi σj σi σj = 1n

para todo i, j = 1, . . . , n − 1 satisfaciendo |i − j| > 2.

ϕ(xi xi+1 xi x−1 −1 −1 −1 −1 −1

i+1 x1 xi+1 ) = σi σi+1 σi σi+1 σ1 σi+1 = 1n

para todo i = 1, . . . , n − 2.
Por lo tanto, ϕ es un homomorsmo entre los dos grupos.
Miguel Ángel Navarro Pérez 19

Además, ϕ es suprayectivo: dado β ∈ Bn , podemos expresarla como β = σie11 · · · σierr

donde ij ∈ {1, . . . , n − 1} y ej ∈ {±1} para todo j = 1, . . . , r . Basta tomar el elemento

W = xei11 · · · xeirr ∈ G, cuya imagen es, precisamente, β .

Por lo tanto, si probamos que ϕ es inyectiva, tendremos un isomorsmo entre G y Bn
y habremos probado el resultado.

Dados dos elementos g, g 0 ∈ G tales que ϕ(g) = ϕ(g 0 ). Consideremos las trenzas
β = ϕ(g) y β 0 = ϕ(g 0 ). Puesto que ϕ(g) = ϕ(g 0 ), dichas trenzas deben ser equivalentes, es
decir, podemos construir la cadena nita de n-trenzas intermedias

Ω±1 Ω±1 Ω±1

β = β1 −−→ β2 −−→ · · · −−→ βs = β 0 .
vericando que cada par de trenzas diere en un único movimiento elemental.

Dado que ϕ es suprayectiva, para cada βi existe algún Wi ∈ G cuya imagen por ϕ es

βi . Por lo tanto, tenemos el siguiente diagrama:

Ω±1 Ω±1 Ω±1
β = β1 −−→ β2 −−→ · · · −−→ βs = β 0
↑ ↑ ↑ ↑ ↑
g = W1 W2 Ws = g 0
Si probamos que Wi ∼ Wi+1 para todo i = 1, . . . , n−1, donde ∼ denota las reducciones
R R
que podemos hacer a partir de las relaciones de G; tendremos que g = g0.
Consideremos la porción del diagrama
Ω±1
βi −−→ βi+1
↑ ↑
Wi Wi+1
Notemos que cada βi+1 βi mediante un movimiento elemental. Este
se obtiene a partir de

tipo de movimientos introduce los arcos AC y CB , creando nuevos cruces en βi+1 . Por otra

parte, los cruces en que el arco AB estaba involucrado desaparecen. Tomemos diagramas

Di , Di+1 de βi , βi+1 , respectivamente y consideremos sendas particiones en rectángulos,

vericando que únicamente se produce un cruce en en cada región rectangular.

Los arcos AB y AC ∪ CB cortan los segmentos que dividen el diagrama en los puntos
P1 , . . . , P m y Q1 , . . . , Qm , respectivamente, como se muestra en la siguiente gura:
20 Trenzas y nudos

Sean P10 , . . . Pm0 m puntos en el arco AB , vericando:

Cada Pj0 está por encima del respectivo Pj

Ningún triángulo denido por los puntos Pj0 Qj Pj contiene cruces de βi ni de βi+1 .

Reemplacemos el arco AQ1 por AP10 ∪ P10 Q1 y, a continuación, P10 Q1 ∪ Q1 Q2 por P10 P20 ∪
P20 Q2 . Esta operación recibe el nombre de movimiento quasi-elemental y consiste en
un par de movimientos elementales sucesivos.

Repetimos este procedimiento hasta llegar a Pm0 Qm ∪Qm B y reemplazamos este último
arco por Pm0 B . Tenemos la cadena intermedia (entre βi+1 y βi ):

Ω±1 q−e q−e q−e Ω±1

βi+1 = γ0 −−→ γ1 −−→ γ1 −−→ · · · −−→ γm −−→ γm+1 = βi .

donde γ0 , γ1 y γm , γm+1 están relacionados por un único movimiento elemental y cada par

γj , γj+1 , por el movimiento quasi-elemental consistente en la sustitución de Pj0 Qj ∪Qj Qj+1

0 0 0
por Pj Pj+1 ∪ Pj+1 Qj+1 , para j = 1, . . . m.

De nuevo, en virtud de la suprayectividad de ϕ, podemos encontrar elementos de G,

X1 , . . . , Xm+1 tales que ϕ(Xj ) = γj , j = 1, . . . , m + 1. Nuestro objetivo es expresar cada
γj en función de los generadores para obtener explícitamente los Xj .
Notemos que cada hebra que entre al cuadrilátero con vértices Pj0 Qj Qj+1 Pj+1
0
por

encima (debajo) de un arco, debe salir por encima (debajo) del mismo arco, deshaciendo
Miguel Ángel Navarro Pérez 21

el cruce que crea pues, por construcción, no hay cruces en cada triángulo Pj0 Qj Pj , contenido
en Pj0 Qj Qj+1 Pj+1
0

Analizaremos el primer caso:

Paso de γi y γi+1 .

Si expresamos el trenzado de γj y γj+1 en función de los generadores, obtenemos que

e ej+1
γj = γj0 σj j σj+1 · · · σlel γj00 = γj+1 ; ek = ±1, para k = j, . . . , l. Donde las palabras γj0 , γj00
denotan la parte común a las trenzas γj+1 y γj , es decir, los cruces anteriores y posteriores
al cuadrilátero Pj0 Qj Qj+1 Pj+1
0
.
e e
Por lo tanto,γj = γj+1 y podemos expresar Xj = Xj+1 = Xj0 xj j xj+1 j+1
· · · xel l Xj00 , donde
0 00 0 00
las palabras Xj , Xj son las preimágenes de γj , γj . Así, obtenemos Xj = Xj+1 . La arbitra-

riedad del subíndice j ∈ {0, 1, . . . , m} nos lleva que Wi = Xm+1 = X0 = Wi+1 . De nuevo,
0
la elección arbitraria de i ∈ {1, . . . , s − 1} nos da la igualdad deseada g = W1 = Ws = g .

Este procedimiento puede aplicarse a cualquiera de los casos propuestos, concluyendo

que la aplicación ϕ es inyectiva y, por lo tanto, un isomorsmo entre los grupos G y Bn .


22 Trenzas y nudos

4. Invariantes de trenza

Ahora que hemos denido perfectamente las trenzas como elementos de grupos con

una presentación conocida, podemos tratarlas de forma algebraica. Es decir, pasar de

un objeto geométrico a una expresión de los generadores del grupo. Esto nos permite

saber si dadas dos trenzas, en principio distintas, estamos tratando el mismo objeto sin

necesidad de recurrir a los movimientos elementales, sino a expresiones algebraicas. Éste

problema de la palabra.
es el conocido

Denición 4.1 Dadas dos n-trenzas β1 , β2 diremos que son equivalentes si podemos ex-

presarlas con la misma palabra. Esto es, si podemos reducir, utilizando las relaciones de

Bn , una palabra a la otra.

Este procedimiento, sin embargo, no es del todo sencillo. Por ello, en la práctica,

además de algoritmos capaces de distinguir entre dos trenzas dadas, se utilizan lo que se

conoce como invariantes de trenza. En esta sección daremos algunos ejemplos de éstos
y pondremos de maniesto la estrecha relación entre algunos invariantes y la estructura

de grupo del conjunto de n-trenzas.

Observación 4.2 Diremos que una propiedad es un invariante de trenza si se conserva

por equivalencia de trenzas, es decir, si dos trenzas son equivalentes y una de ellas satisface

un invariante de trenza, la otra también lo hará.

4.1. El número de hebras de una trenza

Es evidente que dos trenzas equivalentes, en particular, tienen el mismo número de

hebras. Por lo tanto, nos encontramos ante el ejemplo más sencillo de invariante. Este

invariante da lugar a la siguiente relación de subgrupos:

Proposición 4.3 Sea n ≥ 2 y consideremos el grupo Bn . Tomemos m ≤ n. La aplicación

ψ : Bm −→ Bn que a cada trenza en Bm le asocia la trenza resultante de añadirle n − m

hebras es un monomorsmo.

Demostración. Dado que las restricciones de Bm se verican en Bn , ψ es

se sigue que

un homomorsmo. Para ver que es inyectivo, tomemos una m-trenza en el núcleo de ψ y

0
veamos que necesariamente es la m-trenza trivial. Sea β ∈ ker(ψ), es decir, ψ(β) = β ∼

1n .
Miguel Ángel Navarro Pérez 23

En otras palabras: β ∈ Bm es tal que al añadirle n − m hebras sin trenzar nos da una
0
trenza, β , equivalente a la n-trenza trivial. Por lo tanto, existe una secuencia nita de

n-trenzas intermedias satisfaciendo el siguiente diagrama:

Ω±1 Ω±1 Ω±1

β 0 = β0 −−→ β1 −−→ · · · −−→ βr = 1n

Si restringimos a las m primeras hebras, tenemos:

(m) Ω±1 (m) Ω±1 Ω±1

β = β0 −−→ β1 −−→ · · · −−→ βr(m) = 1m
(m)
donde βi denota la restricción a las m primeras hebras de βi , con i = 0, . . . r.
Por lo que queda probado que ψ es monomorsmo. 

Corolario 4.4 Para cada m ≤ n, el grupo Bn contiene subgrupos isomorfos a Bm .

Demostración. Basta considerar la aplicación denida en la Proposición anterior. Por

el Primer Teorema de Isomorfía :

Bm = Bm / ker(ψ) ∼
= Im(ψ) ≤ Bn

se tiene el resultado. 

4.2. La permutación asociada a una trenza

Dada β una trenza de n hebras, recordemos que β no es más que una colección de n
0 0
caminos que lleva los puntos de origen p1 , . . . , pn a los de destino p1 , . . . , pn . De alguna

forma, parte del trenzado de β es, precisamente, de dónde parten y a dónde llegan los

arcos que la componen. Por lo tanto, es bastante razonable asociar a cada trenza una

permutación según se indica en la siguiente denición.

Denición 4.5 β ∈ Bn y supongamos que la hebra j -ésima de β conecta el punto

Sea

inicial pj con el punto nal pij , donde 1 ≤ j, ij ≤ n. Llamaremos permutación asociada

0
24 Trenzas y nudos

a la trenza β y la denotaremos π(β) (o πβ ) a la permutación

!
1 2 ··· n
π(β) =
i1 i2 · · · in
Ejemplo 4.6
La n-trenza trivial tiene como permutación asociada la identidad, que denotaremos

idn , de Sn .

Para cada i = 1, . . . , n − 1, la trenza elemental σi tiene permutación asociada la

trasposición (i i + 1).

Observación 4.7 La permutación asociada al producto es el producto de las permutacio-

nes.

Proposición 4.8 La permutación asociada a una trenza es un invariante de trenza. En

otras palabras, si dos trenzas son equivalentes, su permutación asociada es la misma.

Demostración. Dadas dos n-trenzas equivalentes β1 y β2 , podemos deformar de ma-

nera continua una en la otra sin alterar la disposición de los extremos de las hebras. En

particular, los arcos de las dos trenzas conectan del mismo modo los puntos p1 , . . . , p n con

p01 , . . . , p0n . Luego, las permutaciones π(β1 ) y π(β2 ) coinciden. 

Observación 4.9 La permutación asociada permite probar que el producto de n-trenzas

no es conmutativo para n ≥ 3. Basta tomar las siguientes 3-trenzas:

De izquierda a derecha: β1 = σ1−1 , β2 = σ2−1 σ1 , β1 β2 y β2 β1

Al efectuar los productos β1 β2 y β2 β1 , obtenemos dos trenzas con permutaciones π(β1 β2 ) =

(1 3), π(β2 β1 ) = (2 3) distintas. Por lo que concluimos que el producto de trenzas no es

conmutativo.

Observación 4.10 Notemos que el conjunto de trenzas equivalentes tiene la misma per-

mutación asociada, sin embargo, el recíproco no es cierto. Es más, para cada permutación

π ∈ Sn , existe un conjunto innito de trenzas no equivalentes con permutación asociada

π.
Miguel Ángel Navarro Pérez 25

4.3. Subgrupo de trenzas puras

Como ya hemos dicho, la permutación asociada a la n-trenza trivial es π(1n ) = idn
pero no es la única trenza satisfaciendo esta propiedad. Centrémonos en el subconjunto

(no trivial) de Bn con permutación asociada la identidad. A lo largo de esta sección

hablaremos de este conjunto especial de trenzas que deniremos a continuación.

Denición 4.11 Sea β ∈ Bn , diremos que β es una n-trenza pura si su permutación

asociada es la identidad. Denotaremos al conjunto de n-trenzas puras como

Pn = {β ∈ Bn : π(β) = idn }

Ejemplo 4.12

Las trenzas σ1−1 σ2−1 σ2−1 σ1−1 y σ2 σ1−2 σ32 σ2 de la gura siguiente son puras.

Para n = 1, P1 = B1 = {11 }.

Para n = 2, P2 = hσ12 i ≤ hσ1 i = B2

El subconjunto de n-trenzas puras es importante a la hora de determinar si dos n-

−1 −1
trenzas β1 , β2 son equivalentes o no. Si lo fuesen, debería satisfacerse también β1 ∼ β2
−1
y, por lo tanto, β1 β2 ∼ 1n . De este modo, si β1 y β2 son equivalentes, la permutación
−1 −1
asociada al producto β1 β2 es la identidad. En otras palabras, β1 β2 es una n-trenza

pura.

Esta propiedad no parece muy interesante si pensamos en Pn como un simple sub-

conjunto de Bn , sin embargo, la siguiente proposición deja claro que Pn tiene buenas

propiedades algebraicas.

Proposición 4.13 Pn es subgrupo normal de Bn . Además, el cociente Bn /Pn es isomorfo

al grupo simétrico Sn .
Demostración. Basta considerar la aplicación f : Bn −→ Sn , que envía cada n-trenza
a su permutación asociada, que verica:
26 Trenzas y nudos

(i) es homomorsmo de grupos (Observación 4.7)

(ii) es suprayectiva. (Observación 4.10)

(iii) ker(f ) = Pn

(iii), queda probado

Por que Pn E Bn . Además, en virtud del Primer Teorema de

Isomorfía, Bn /Pn ∼
= Sn 

4.4. El exponente de una trenza

En la sección anterior dimos la presentación del grupo Bn en función de los generadores
{σ1 , . . . , σn−1 } y el conjunto de relaciones

( )
σi σj = σj σi si |i − j| ≥ 2;
R=
σi σi+1 σi = σi+1 σ1 σi+1 si i = 1, . . . , n − 2

De modo que cualquier β ∈ Bn viene dada por una palabra de la forma σie11 · · · σiekk ∈ Bn ,
donde ej ∈ {±1}, 1 ≤ ij ≤ n − 1, j = 1, . . . , k para algún k ∈ N.
Denición 4.14 Sea una trenza β ∈ Bn dada por la palabra σie11 · · · σiekk , llamaremos

exp(β), al entero kj=1 ej .

P
exponente de β, y lo denotaremos

La introducción de este término no es casual. A continuación, probaremos que el

exponente de una trenza es un invariante .

Proposición 4.15 El exponente de trenzas es un invariante de trenzas.

Demostración. Consideremos una n-trenza, β = σie11 · · · σiekk con exponente exp(β) =

Pk e1 ek
j=1 ej . Todas las trenzas equivalentes a β tienen una palabra equivalente a σi · · · σi ,
1 k

es decir, una palabra generada a partir de ésta en la que se han intercalado las relaciones

de R. Por lo tanto, para ver que el exponente es un invariante de trenza, basta probar

que las relaciones de R tienen exponente nulo. En efecto:

exp(σi σj σi−1 σj−1 ) = 1 + 1 − 1 − 1 = 0, para cualquier valor de i, j ∈ {1, . . . , n − 1}.

En particular, para |i − j| ≥ 2.

−1 −1 −1
exp(σi σi+1 σi σi+1 σi σi+1 ) = 1 + 1 + 1 − 1 − 1 − 1 = 0, para i = 1, . . . , n − 2

lo que concluye la prueba. 

Miguel Ángel Navarro Pérez 27

Del mismo modo que los invariantes anteriores, el exponente nos permite denir el

siguiente subgrupo.

Denición 4.16 Dado n ≥ 1, el subconjunto Hn de Bn viene dado por

Hn = {β ∈ Bn : exp(β) = 0}

Observación 4.17

Para n = 1: H1 = {11 }.

Para n = 2: H2 = {12 }.

Proposición 4.18 Para cada n ≥ 2, Hn es un subgrupo normal de Bn . Además, el

cociente Bn /Hn es isomorfo al grupo aditivo Z.

Demostración. Fijado n ≥ 2, consideremos la aplicación f : Bn −→ Z que a cada n-trenza
le asocia su exponente. Tal f verica:

(i) es homomorsmo: dadas β1 = σie11 · · · σiekk , β2 = σjr11 · · · σjrll ∈ Bn , es evidente que

f (β1 β2 ) = e1 + . . . + ek + r1 + . . . + rl = exp(β1 ) + exp(β2 ) = f (β1 ) + f (β2 )

(ii) es suprayectiva, pues dado m ∈ Z, siempre podemos considerar la n-trenza σ1m

vericando f (σ1m ) = exp(σ1m ) = m.

(iii) ker(f ) = Hn , por la denición de Hn .

(iii),
Por queda probado que Hn E Bn y, en virtud del Primer Teorema de Isomorfía,

Bn /Hn ∼
=Z 

Observación 4.19 El exponente de trenza permite probar la innitud de los grupos de

trenzas. Si consideramos el caso n = 2, es evidente que toda trenza es de la forma σ1k .

Sabiendo que el exponente de trenza es un invariante, podemos armar que las 2-trenzas

σ1k y σ1l son distintas para todo par k 6= l, es decir, el grupo B2 es innito.
28 Trenzas y nudos

5. Algoritmo de peinado

En esta sección, nos centraremos en cómo distinguir si dos trenzas dadas son la misma

peinado de trenzas, desarro-

sin utilizar invariantes. Para ello daremos el algoritmo de

llado por Artin, que resuelve el problema de la palabra en los grupos de trenzas.

Consideraciones previas:

Si dos trenzas, β1 , β2 , son equivalentes, la trenza β1 β2−1 es trivial.

El problema de la palabra -poder armar que dos palabras dadas son o no la misma-

se reduce a distinguir si una palabra representa o no la trenza trivial.

La trenza trivial (de cualquier número de hebras) es pura.

El problema de la palabra en el grupo de trenzas se reduce al grupo de trenzas

puras.

Por todo lo anterior, el algoritmo de peinado de trenzas que daremos a continuación

solo considera trenzas puras.

5.1. El algoritmo
Tomemos β ∈ Bn :

Paso 1: Cálculo de la permutación asociada: π(β)

Si π(β) 6= idn , β  1n

Si π(β) 6= idn , Paso 2.

Paso 2: β es pura y, por lo tanto, conecta pi con p0i para cada i = 1, . . . , n.

Sustituyamos la n-ésima hebra de β por una hebra sin trenzar como se muestra en

la gura. Notemos que el resultado sigue siendo una trenza pura, a la que llamaremos

γ.
Miguel Ángel Navarro Pérez 29

Si efectuamos el producto α = βγ −1 , obtenemos la siguiente n-trenza en la que las

n−1 primeras hebras son rectas y la n-ésima es la única que se entrelaza con las

demás.

Ahora, escribimos β = αγ y obtenemos el siguiente diagrama de la trenza de partida

en el que la primera parte está  peinada:

Repetimos el proceso de peinado de las n − 1 primeras hebras de γ , que llamaremos

γ1 a partir de ahora. Es decir:

• Reemplazamos la (n − 1)-ésima hebra de γ1 por una hebra sin trenzar. El

resultado de esta operación es otra n-trenza pura γ2 , con las dos últimas hebras
no trenzadas.
30 Trenzas y nudos

• Construimos la trenza α2 = γ1 γ2−1 .

• Reescribimos la trenza γ1 como el producto α1 γ2 .

El algoritmo sigue hasta peinar toda la trenza. En nuestro caso, puesto que γ2 ya

está peinada, el proceso acaba y obtenemos el diagrama peinado de la trenza de

partida β.

La forma peinada de una trenza pura siempre existe pues el procedimiento anterior

puede aplicarse a cualquier trenza pura. Además, es única ya que los αi están unívocamente
determinados.

Ahora que conocemos el algoritmo de peinado de trenzas puras no parece que haya-

mos adelantado mucho en en la resolución del problema de la palabra, sin embrago, los

resultados que daremos a continuación nos acercan cada vez más a la solución.

5.2. Trenzas peinadas

Denición 5.1 Dado k ≥ 1, diremos que la trenza pura α es una k -trenza peinada si el

borrado de su k -ésima hebra da lugar a la (k − 1)-trenza trivial. Denotaremos por Ak al

Miguel Ángel Navarro Pérez 31

conjunto de todas las k -trenzas peinadas.

Las trenzas αi del algoritmo de peinado anterior son ejemplos de trenzas peinadas,

siempre que no tengamos en cuenta las últimas i − 1 hebras no trenzadas. Teniendo en

cuenta esta consideración, podemos armar que αi ∈ An−i+1 para cada i = 1, . . . , n.

La introducción del conjunto de trenzas peinadas no es casual y juega un papel funda-

mental en la resolución del problema de la palabra en grupos de trenzas. Veamos algunas

de las propiedades de las trenzas peinadas.

Proposición 5.2 Dada una n-trenza β ∈ Pn , podemos expresarla como producto de tren-
zas peinadas β = α1 · · · αn−1 . Entonces, β es la n-trenza trivial si, y solo si, cada αi de
su descomposición lo es.

Demostración.

⇐ Si α1 = · · · = αn−1 = 1n , es evidente que el producto, β, también será trivial.

⇒ Ahora, supongamos que β ∼ 1n . Denotemos por βi la trenza obtenida tras el borrado

de las últimas i hebras de β . Del mismo modo, llamaremos αj,i a la trenza resul-

tante de eliminar las i últimas hebras de αj . Tenemos, por lo tanto, las siguientes

igualdades:

β = β0 = α1 · · · αn−1
β1 = α1,1 · · · αn−1,1
β2 = α1,2 · · · αn−1,2
.
.
.

βn−2 = α1,n−2 · · · αn−1,n−2

Puesto que cada βi es la trenza trivial de n−i hebras. Por la forma de los αj ,
podemos armar que :

• α1,1 es la (n − 1)-trenza trivial.

• α1,2 y α2,2 son la (n − 2)-trenza trivial.

• En general, α1,i , . . . , αi,i son la (n − i)-trenza trivial, para cada i = 1, . . . , n − 2.

En particular, si tomamos i = n − 2, tenemos que α1,n−2 = · · · = αn−2,n−2 = 12 y,

por lo tanto, 12 = βn−2 = α1,n−2 · · · αn−1,n−2 = αn−1,n−2 .

Recordemos que αn−1 ∈ A2 es tal que la supresión de su segunda hebra nos da la

n-trenza trivial, es decir, la única hebra que puede provocar cruces es la segunda.
32 Trenzas y nudos

Si αn−1,n−2 , la trenza que resulta de eliminar las últimas n − 2 hebras de αn−1 , es la

2-trenza trivial; se sigue que αn−1 es la n-trenza trivial.

Tomemos ahora, i = n − 3. Siguiendo el mismo razonamiento, se tiene que 13 =

βn−3 = αn−2,n−3 αn−1,n−3 y, puesto que αn−1 = 1n , sabemos que αn−1,j = 1n−j . En
particular, si j = i = n − 3, αn−1,n−3 = 13 . Esto conduce a que αn−2,n−3 = 13 . Si

recordamos la forma de αn−2 ∈ A3 :

y la denición de αn−2,n−3 , es inmediato que αn−2 es la n-trenza trivial.

Procediendo de manera análoga, se conluye que todo αi ha de ser trivial, como

queríamos probar.

Proposición 5.3 Para cada entero k ≤ n, el subconjunto de k -trenzas peinadas es sub-

grupo de Bn .
Demostración. Fijemos un entero k ≤ n. Es evidente que:

la n-trenza trivial es k -peinada pues el borrado de su k -ésima hebra nos da la trenza

trivial de una hebra menos.

La inversa de una k -trenza peinada es una k -trenza peinada por la denición de la

inversa como la trenza reejo.

Veamos que el producto de trenzas es cerrado en Ak . Tomemos β1 , β2 dos n-trenzas en

Ak . En otras palabras, β1 , β2 son puras, sus últimas n − k hebras son no trenzadas y sus
primeras k − 1 hebras solo están entrelazadas con la k -ésima. Tras estas consideraciones,

es inmediato que la eliminación de la k -ésima hebra de β1 β2 nos da la (n−1)-trenza trivial

y, por lo tanto, podemos armar que β1 β2 ∈ Ak . 

Miguel Ángel Navarro Pérez 33

La primera pregunta que nos planteamos, ahora que sabemos que las trenzas peinadas

forman grupo, es si podemos dar una presentación que nos ayude a resolver nuestro

problema de clasicación de trenzas. La respuesta es armativa. A continuación daremos

los resultados necesarios para obtener dicha presentación.

Proposición 5.4 Para cada k ≤ n, el subgrupo Ak ≤ Bn está generado por:

a1 = (σk−1 σk−2 · · · σ2 )σ12 (σ2−1 · · · σk−2

−1 −1
σk−1 )
2 −1 −1 −1
a2 = (σk−1 σk−2 · · · σ3 )σ2 (σ3 · · · σk−2 σk−1 )
..
.
2 −1
ak−2 = σk−1 σk−2 σk−1
2
ak−1 = σk−2

De izquierda a derecha: a1 , ai para algún 1 < i < k − 1, ak−1 .

Demostración. Basta ver que cualquier k -trenza peinada puede escribirse en función
de los elementos {a1 , . . . , ak−1 }. Tomemos β ∈ Ak y realicemos el siguiente proceso. En

primer lugar, marquemos los puntos de la k -ésima hebra de β en los que la recta tangente

sea vertical. Seleccionemos aquéllos que quedan a la derecha y tiremos de ellos como se

muestra en la gura:

De este modo, hemos transformado una k -trenza peinada en el producto de un número

nito de k -trenzas peinadas más sencillas, en las que la k -ésima hebra realiza un único
34 Trenzas y nudos

movimiento de ida y vuelta. En otras palabras, la recta tangente es vertical en un único

punto de la curva que dene la hebra.

Falta ver que cualquier trenza de este tipo puede expresarse como producto de los ai ,
con i = 1, . . . , k − 1. Tomemos γ ∈ Ak tal que su k -ésima hebra presenta un solo punto

en el que la recta tangente sea vertical. Si deformamos la última hebra como se muestra

en la gura, obtenemos una trenza equivalente a γ expresada como producto de los ai

lo que concluye la prueba.

Observación 5.5 En la prueba anterior hemos asumido que β tiene exactamente k he-

bras, pues las n−k últimas son no trenzadas.

Según la proposición anterior, {a1 , . . . , ak−1 } genera todo el grupo Ak . Sin embargo

podemos, decir mucho más de este grupo. El siguiente resultado determina completamente

quién es el grupo de k -trenzas peinadas.

Proposición 5.6 El grupo Ak está libremente generado por a1 , . . . , ak−1 . Esto es, Ak es

el grupo libre generado por k − 1 elementos.

Podemos encontrar la prueba completa en [6].

De todo lo anterior, concluimos que el problema de la palabra en el grupo de trenzas se

reduce al problema de la palabra en un grupo libre en el que dos palabras son equivalentes

si, y solo si, se ha obtenido una a partir de la otra intercalando palabras del tipo xx−1
para algún elemento x del grupo. Por lo tanto, queda resuelto este problema y por ello,

podemos determinar si dos trenzas dadas son la misma o no.

Miguel Ángel Navarro Pérez 35

6. Relación trenzas - nudos

La teoría de nudos es la rama de la topología de baja dimensión que estudia las

propiedades de los nudos matemáticos con la nalidad de clasicarlos. Este campo de

investigación surgió en el siglo XVIII, con estudios de los matemáticos Vandermonde,

Gauss y Klein. A nales del siglo XIX, Kelvin y Tait realizaron un exhaustivo análisis

con el objetivo de dar una tabla de clasicación de nudos. La nalidad de éstos era

entender la estructura atómica, que sospechaban que se comportaba como un nudo de éter.

Resultados posteriores demostraron la falsedad de esta teoría, haciendo que se perdiera el

interés por la teoría de nudos por parte de los físicos. No obstante, los avances en topología

durante el siglo XX propiciaron la vuelta al estudio de los nudos como objeto matemático,

despojándolos de cualquier aplicación práctica. Grandes matemáticos como Alexander,

Reidemeister, Conway, Kauman y Jones dedicaron parte de su vida profesional a esta

rama, haciendo grandes aportaciones a este, todavía abierto, campo de investigación.

6.1. Nudos: conceptos básicos

Denición 6.1 Llamaremos nudo a toda aplicación inyectiva, k : S1 −→ R3 , que es un
homeomorsmo en la imagen. En otras palabras, un nudo es un subespacio topológico de

R3 homeomorfo a S1 , la circunferencia unidad.

Observación 6.2 Debemos tener en cuenta las siguientes consideraciones:

De forma habitual, identicaremos un nudo k con su imagen K = k(S1 ).

Un nudo es poligonal si su imagen es unión disjunta de un número nito de puntos,

a los que llamaremos vértices, y un número nito de arcos de segmento abiertos.

En nuestro estudio, únicamente aceptaremos nudos dóciles: aquellos que pueden

obtenerse por deformación continua de nudos poligonales.

Algunos nudos muy conocidos son:

De izquierda a derecha: Nudo de trébol, nudo de ocho, nudo trivial (K0 ) y enlace de Hopf.
36 Trenzas y nudos

En teoría de nudos, encontramos el mismo problema de clasicación que en teoría de

trenzas. Dados dos nudos, ¾cuándo podemos decir que son el mismo? O por el contrario,

¾cómo asegurarnos de que son distintos?

La respuesta es, salvando las distancias, muy parecida a la que dimos en las secciones

relativas a trenzas. Las siguientes deniciones ponen de maniesto la analogía entre los

problemas de clasicación de nudos y de trenzas.

Denición 6.3 Dado un nudo K, consideremos dos puntos A, B en él. Ahora, tomemos
3
un tercer punto C ∈ R \ K y realicemos la siguiente operación: reemplacemos el arco
AB por AC ∪ CB . También podemos realizar el proceso opuesto. Llamaremos a ambas
−1
sustituciones ∆-movimientos y las denotaremos por ∆ y ∆ , respectivamente.

El concepto de ∆-movimiento juega en la clasicación de nudos el mismo papel que

los movimientos elementales en teoría de trenzas. Por analogía, podemos dar la siguiente

denición de equivalencia de nudos:

Denición 6.4 Dados dos nudos (dóciles) K, K 0 diremos que son equivalentes si existe
una cadena nita de nudos intermedios K = K0 , K1 , . . . , Km = K 0 tal que todo par
Ki , Ki+1 diere en un único ∆-movimiento. Esto es:

∆±1 ∆±1 ∆±1

K = K0 −−→ K1 −−→ · · · −−→ Km = K 0

Del mismo modo que hicimos con trenzas, introduciremos la noción de diagrama de un

nudo (o enlace) con la nalidad de rebajar la dimensión de nuestros objetos de estudio.

Denición 6.5 Sea K un nudo poligonal y consideremos una proyección p : R3 −→ R2

sobre el plano. Diremos que p(K) es una proyección regular si la preimagen de cada
punto contiene, a lo sumo, dos puntos. Además, en tal caso, ninguno de los dos puntos

puede ser un vértice.

A partir de una proyección regular, podemos construir un diagrama de K borrando

parte de los arcos que queden por debajo en cada cruce, a los que llamaremos underpass.

Los arcos que queden por encima en los cruces se llamarán overpass.
Miguel Ángel Navarro Pérez 37

Trabajar con diagramas, en lugar de con nudos, permite dar un tratamiento simpli-

cado al problema de clasicación de nudos. Daremos la denición de equivalencia de

diagramas y veremos cómo obtener diagramas equivalentes a partir de uno dado.
Denición 6.6 Llamaremos movimientos de Reidemeister a cualquiera de las si-

guientes transformaciones sobre un diagrama:

Denición 6.7 Llamaremos R0 al tensado de los arcos de un diagrama. A pesar de no

ser un movimiento de Reidemeister, se comporta como tal por ser una isotopía en el plano.

Denición 6.8 Diremos que dos diagramas D, D0 son equivalentes si podemos transfor-

mar uno en el otro mediante un número nito de movimientos de R0, R1, R2 y R3

El siguiente teorema pone de maniesto la relación entre diagramas de nudos equiva-

lentes.

Teorema 6.9 (Reidemeister, 1932)

Dos nudos son equivalentes si sus diagramas lo son.

La prueba se basa en que los movimientos de Reidemeister son proyecciones de ∆-

movimientos.
38 Trenzas y nudos

6.2. Invariantes de nudos

La denición de equivalencia de nudos es, en muchas ocasiones, difícil de aplicar. Dados

dos nudos, en general, no es sencillo encontrar la secuencia de ∆-movimientos para pasar

de uno al otro. Aun tratando con diagramas, el problema sigue sin ser de fácil solución. Por

ello, en la práctica, utilizamos invariantes de nudos que permiten responder negativamente

la pregunta ¾dos diagramas aparentemente diferentes representan el mismo nudo?. A

continuación, daremos una lista de invariantes de nudos de distintas naturalezas:

Numéricos: son números asociados a nudos que nos dan información que se con-
serva por ∆-movimientos.

• Crossing number : mínimo número de cruces, c(K).

• Bridge number : mínimo número de puentes, b(K).
• Stick number : mínimo número de segmentos con el que podemos formar un

nudo poligonal equivalente, s(K).

Geométricos: Algunos invariantes son:

• tricoloreabilidad: posibilidad de pintar los arcos de un nudo con tres colores

siguiendo ciertas normas.

• Quiralidad: diremos que un nudo es aquiral si es equivalente a su imagen espe-

cular (y quiral en otro caso).

Algebraicos: el grupo de un nudo K , G(K), se dene como el grupo fundamental

de su complementario: Π1 (R3 \ K).
Miguel Ángel Navarro Pérez 39

Polinómicos: existen diferentes formas de asociar un polinomio a un nudo. Algunos

invariantes polinómicos son:

• Polinomio bracket : hKi. Este polinomio no se conserva por movimientos del

tipo R1, por lo tanto no es un invariante de nudos.

• Polinomio de Kauman f (K). Se construye a partir del polinomio bracket y sí

es un invariante de nudos.

• Polinomio de Alexander: ∆K (t).

• Polinomio de Jones: VK (t).

En la siguiente tabla podemos ver estos invariantes sobre tres nudos y un enlace:

Invariante K0 Trébol Figura de ocho Enlace de Hopf

Crossing number 0 3 4 2

Bridge number 1 2 2 2

Stick number 3 6 7 6

Tricoloreabilidad No Sí No No aplicable

Quiralidad No Sí No No
−1 −1
Grupo del nudo Z B3 hx, y | yxy xy = xyx yxi Z2
Bracket 1 A7 − A3 − A−5 A8 − A4 − A−4 + A−8 + 1 −A4 − A−4
Kauman 1 −A16 + A12 + A4 A8 − A4 − A−4 + A−8 + 1 −A−2 − A−10
Alexander 1 t − 1 + t−1 −t + 3 − t−1 t−1
Jones 1 t−1 + t−3 + t−4 t2 − t + 1 − t−1 + t−2 −t−1/2 − t5/2

Estos invariantes permiten distinguir entre nudos no equivalentes, no obstante, no po-

demos armar que dos nudos dados son equivalentes basándonos en la información de

un invariante. Por ejemplo, en la tabla anterior podemos ver que b(Trébol) = b(Ocho) =
b(Enlace de Hopf) = 2, sin embargo, son nudos no equivalentes pues sus respectivos cros-

sing numbers son distintos.

6.3. Cerraduras de trenzas

Tras hacer un breve estudio sobre nudos, podemos darnos cuenta de lo próximas que

están la teoría de trenzas y la de nudos. Llegados a este punto, nos preguntamos si la

relación entre ambas ramas puede ser más estrecha y si podemos pasar de una otra de
40 Trenzas y nudos

forma natural. La respuesta es armativa. En esta sección veremos cómo construir nudos

a partir de trenzas y la relación de nudos generados por trenzas equivalentes.

Consideremos una n-trenza β ∈ Bn y, para cada i = 1, . . . , n, unamos el punto pi con

el p0i de forma que los arcos no generen ningún cruce. Ésta es la forma natural de formar

nudos (o enlaces) a partir de trenzas.

Denición 6.10 n-trenza, β , llamaremos trenza cerrada (o clausura de β ) al

Dada un

nudo (o enlace) generado a partir de β según el procedimiento anterior. Denotaremos a

tal nudo (o enlace) como Kβ .

El proceso que acabamos de denir nos permite pasar de trenzas a nudos. La pregunta

natural en este momento es si podemos deshacer el camino y obtener una trenza a partir

de un nudo. La respuesta la dio el matemático James Waddell Alexander en 1923, cuando

probó que todo nudo (o enlace) proviene de cerrar una trenza. La prueba que daremos

está basada en la original y se basa en un algoritmo para hallar una trenza, cuya cerradura

sea un nudo dado.

Teorema 6.11 (Alexander, 1923)

Dado un nudo (o enlace) K , podemos encontrar un entero positivo n y una trenza

β ∈ Bn tal que la trenza cerrada Kβ sea precisamente K .

Demostración. Sea K un nudo y D un diagrama de K. Consideremos un rectángulo

que encierre el diagrama y procedamos como sigue:

Tomemos un punto p en D que no sea un cruce y cortemos el diagrama por él.

Obtenemos dos extremos.

Llevaremos cada extremo a una de las bases del rectángulo sin generar nuevos cruces.

Llamaremos p1 y p01 a los puntos de intersección con las bases superior e inferior, res-

pectivamente. Notemos que la unión de estos dos puntos mediante un arco exterior

al rectángulo nos da un diagrama equivalente a D.

Miguel Ángel Navarro Pérez 41

Tras este proceso, obtenemos un objeto de la forma

Puesto que la curva que dene el diagrama va de p1 a p01 , es decir, de arriba a abajo,
presentará tantos mínimos locales como máximos. Sea m ∈ N tal número. Puede ocurrir:

Caso 1: m = 0. Nos encontramos ante un diagrama de la trenza trivial de una

hebra y K = K0 .

Caso 2: m > 0.
Tomemos dos puntos a, b en la curva que sean un mínimo y un máximo, respectiva-

mente, de forma que el arco ab no contenga ningún otro máximo o mínimo. Notemos
que ab puede cruzarse con otros arcos en el diagrama.

Sea n el número de cruces en los que interviene ab. Elegimos n + 1 puntos del arco
ab: a = a0 , a1 , . . . , an = b, de modo que ai ai+1 solo se cruce una vez con otro arco,
para cada índice i = 0, . . . , n − 1.

Fijemos puntos p2 , p02 a la derecha de p1 , p01 , respectivamente y reemplacemos a0 a1

por a0 p02 p2 a1 donde el arco p02 p2 une los puntos p02 y p2 por fuera del rectángulo como

se muestra en la gura siguiente:

42 Trenzas y nudos

De este modo, hemos eliminado el mínimo local a0 = a. Ahora, a1 es un mínimo del

diagrama equivalente obtenido. Repitiendo este proceso n veces más, obtenemos un

diagrama equivalente a D en el que a no es un mínimo y b no es un máximo. Esto

es, hemos rebajado en una unidad el número de máximos y mínimos que presentaba

el diagrama original. Si aplicamos este algoritmo a los m−1 pares de máximos y

mínimos locales de la nueva curva, obtenemos una trenza en el rectángulo, cuya

cerradura es, por construcción, el nudo de partida.

Ejemplo 6.12 Aplicaremos el algoritmo detallado en la prueba del Teorema de Alexander

a los anillos Borromeos:

Obtenemos la 3-trenza σ1−1 σ2 σ1−1 σ2 σ1−1 σ2 , cuya cerradura es el diagrama de los anillos

Borromeos.

Denición 6.13 Sea D un diagrama de un nudo (o enlace) K. Diremos que D es un

diagrama trenzado de K si podemos dar una curva cerrada y simple L que encierre

una trenza y deje fuera un conjunto nito de arcos que no se cruzan. En tal caso, diremos

también que L es una curva separadora para el diagrama D.

Ejemplo 6.14 La siguiente gura es un diagrama trenzado de los anillos Borromeos y el

rectángulo es una curva separadora.

Miguel Ángel Navarro Pérez 43

La noción de curva separadora intervendrá en la prueba del Teorema de Markov, que

daremos en la siguiente sección.

6.4. Equivalencia de Markov

Según hemos denido las trenzas cerradas, dos trenzas equivalentes darán clausuras

equivalentes (como nudos). Sin embargo, trenzas no equivalentes pueden dar también

nudos equivalentes, como podemos ver en la gura siguiente:

Dos trenzas no equivalentes que generan el nudo trivial.

Esta situación hace que los nudos y trenzas no estén relacionados de forma biyectiva.

Debemos establecer, por lo tanto, una nueva relación de equivalencia sobre el conjunto de

trenzas más na, en el sentido de que nudos equivalentes provengan de la misma clase de

equivalencia de trenzas bajo esta nueva relación.

Denición 6.15
S
Consideremos el conjunto B∞ = n≤1 Bn de trenzas de cualquier nú-

mero de hebras. Dada β ∈ Bn , denimos las siguientes operaciones sobre B∞ :

1. Conjugación (M1 ): transforma β en γβγ −1 , para algún γ ∈ Bn .

2. Estabilización (M2 ): sustituye la n-trenza β por βσ ±1 ∈ Bn+1 .

Llamaremos movimientos de Markov a las operaciones M1±1 y M2±1 .

44 Trenzas y nudos

Observación 6.16 En la denición de estabilización partimos de una trenza de n hebras,

β, y la operamos con una (n + 1)-trenza. Esto no es correcto y cuando efectuamos el
±1
producto βσ en Bn+1 , la trenza que denotamos por β es la resultante de añadir una

hebra sin trenzar a la trenza dada.

Igual que hicimos con movimientos elementales, podemos denir una relación de equi-

valencia a partir de los movimientos de Markov, en este caso, sobre el conjunto B∞ .

Denición 6.17 Dadas dos trenzas β, β 0 ∈ B∞ , diremos que son Markov-equivalentes
0
(o M -equivalentes), y lo denotaremos β ∼ β , si podemos construir una cadena nita de
M
trenzas intermedias
M ±1 M ±1 M ±1
i
β = β0 −−− i
→ β1 −−− i
→ · · · −−− → βr = β 0
donde cada par βi , βi+1 diere en un único movimiento de Markov, para i = 0, . . . , r − 1.
A partir de esta denición, es inmediato probar que la equivalencia de Markov es, en

efecto, una relación de equivalencia sobre B∞ .

Ejemplo 6.18 Bajo la relación de M -equivalencia, las trenzas siguientes representan a

misma clase:

De izquierda a derecha: β1 = σ1 σ2−1 σ1−1 , β2 = σ2−1 y β3 = σ2−1 σ3 .

Observación 6.19 Equivalencia de trenzas implica equivalencia de Markov. El recíproco

Miguel Ángel Navarro Pérez 45

no es cierto.

Dadas dos n-trenzas β ∼ β 0 , podemos pensar en β0 como la trenza conjugada de β por la

0
n-trenza trivial. Por lo tanto, β∼β.
M
Para probar que la equivalencia de Markov no implica equivalencia de trenzas, basta

considerar las trenzas del ejemplo anterior. En efecto, las tres son M -equivalentes pero β3
tiene 4 hebras, mientras que β1 y β2 tienen 3. Por otra parte, π(β1 ) = (1 3) 6= (2 3) = π(β2 ).

Por lo que no son equivalentes.

La equivalencia de Markov juega un papel crucial en la relación trenzas - nudos, como

veremos en el siguiente resultado.

Teorema 6.20 (Markov, 1936) Los nudos Kβ , Kβ 0 son equivalentes si, y solo si, las tren-

zas β, β 0 son M -equivalentes.

Demostración.

⇐ Veamos que trenzas M -equivalentes dan el mismo nudo. Para ello, consideremos dos
n-trenzas arbitrarias β, γ .

Las cerraduras de las trenzas γβγ −1 y β son equivalentes como nudos.

La (n + 1)-trenza βσn±1 genera el mismo nudo que β.

46 Trenzas y nudos

⇒ Daremos las ideas básicas de la prueba de esta implicación. La demostración com-

pleta puede encontrarse en [2] y [6].

Dados K, K 0 dos nudos equivalentes, en virtud del Teorema de Alexander podemos

encontrar trenzasβ, β 0 cuyas cerraduras son K, K 0 , respectivamente. Consideremos

0
también diagramas D, D de los nudos en cuestión. De la equivalencia K ∼ K
0
(como nudos) se sigue que D y D son equivalentes (como diagramas). Esto es,

existen diagramas intermedios D0 , D1 , . . . , Dm satisfaciendo

R R R
i
D = D0 −→ i
D1 −→ i
· · · −→ Dm = D0
donde cada par (Dj , Dj+1 ) diere en un único movimiento de Reidemeister Ri , i∈
{1, 2, 3}, para cada j = 0, . . . , m − 1.

Tengamos en cuenta las siguientes consideraciones:

Resultado 1: Dado un diagrama D de un nudo K , siempre podemos encontrar una

curva separadora para D.
Resultado 2: Si L y L̄ son curvas separadoras para el mismo diagrama D, entonces
las trenzas (D, L) y (D, L̄) son M -equivalentes.
Resultado 3: Si D0 es un diagrama obtenido a partir de D mediante un único

movimiento de Reidemeister y L, L son curvas separadoras para D y D0 ,

0
respecti-
0 0
vamente. Entonces, las trenzas (D, L) y (D , L ) son M -equivalentes.

Es fácil probar el primer resultado. Si seguimos el algoritmo dado en la prueba del

Teorema de Alexander, obtenemos explícitamente un diagrama trenzado del nudo

K . Basta considerar una curva cerrada y simple que encierre la parte trenzada de tal
diagrama. Sin embargo, ésta no es la única curva separadora que podemos encontrar.

El segundo resultado pone de maniesto que la elección de la curva separadora es

indiferente. Por lo tanto, para cada j = 0, . . . , m, podemos encontrar una curva

separadora Lj para el diagrama Dj .

En virtud del tercer resultado, podemos armar que las trenzas (Dj , Lj ) y (Dj+1 , Lj+1 )
son Markov-equivalentes para cada valor de j = 0, . . . , m − 1. La transitividad de la
relación de M -equivalencia concluye la prueba.


Miguel Ángel Navarro Pérez 47

7. El polinomio de Jones

En esta sección introduciremos el polinomio de Jones, un invariante polinómico de

nudos que el matemático neozelandés Vaughan Frederick Randal Jones presentó en el año

1984.

Además de por su gran poder a la hora de clasicar nudos -es el primer invariante

que permitió distinguir entre el trébol y su imagen especular- prestaremos gran atención

a este invariante por su construcción a partir de grupos de trenzas. Jones, que en aquel

momento se dedicaba a la mecánica estadística, apreció cierta relación entre los grupos de

trenzas y las álgebras de Temperley-Lieb y buscó la forma de conectarlos. De este modo,

construyó polinomios asociados a trenzas que se mantenían invariantes por movimientos

de Markov. Su aportación a la teoría de nudos le valió la Medalla Fields en el año 1990.

A continuación daremos las nociones básicas sobre álgebras de Temperley-Lieb, que

nos permitirán seguir los razonamientos de Jones hasta la construcción del polinomio que

lleva su nombre.

7.1. Diagramas de Temperley-Lieb

Consideremos un rectángulo y jemos 2n puntos, n en la base superior y otros n en

la inferior. Llamaremos diagrama de Temperley-Lieb a cualquier grafo que conecte

cada punto con exactamente otro sin crear cruces ni salir del rectángulo. Denotaremos

por T Ln al conjunto de diagramas de Temperley-Lieb de 2n nodos.

Observación 7.1 Fijado n ∈ N, hay un número nito de diagramas de Temperley-Lieb

de 2n nodos. De forma recursiva podemos obtener que

(2n)!
|T Ln | = Cn = ,
(n + 1)!n!

el n-ésimo número de Catalan.

Los 5 diagramas de Temperley-Lieb de 6 nodos.

Podemos denir un producto sobe los elementos de T Ln . Dados A, A0 , dos diagramas

de Temperley-Lieb, la forma natural de operarlos es yuxtaponerlos, es decir, colocar uno

48 Trenzas y nudos

a continuación de otro, haciendo coincidir los nodos inferiores de A con los superiores de
0
A.
Observación 7.2 Al operar determinados diagramas, pueden formarse bucles que son

eliminados del diagrama producto, como se muestra en la gura siguiente:

Propiedades del producto de diagramas de Temperley-Lieb:

De la propia denición del producto de diagramas de Temperley-Lieb se sigue que

esta operación es asociativa.

Además, para cada valor den podemos encontrar un diagrama, que llamaremos dia-
grama identidad y denotaremos In , que juega el papel de elemento neutro para el

producto de diagramas sobre T Ln . Denimos el diagrama identidad como el diagra-

ma de Temperley-Lieb que conecta cada punto de la base superior con su respectivo

punto de la base inferior.

En general, este producto no es conmutativo.

Ningún diagrama, excepto el diagrama identidad, posee inverso para el producto de

diagramas de Temperley-Lieb. (∗)

Para probar esta última propiedad, debemos dar previamente el siguiente denición:

Denición 7.3 Dado A un diagrama de Temperley-Lieb, llamaremos rango de A, y lo

denotaremos rg(A), al número de arcos que conectan nodos de las distintas. En otras

palabras, el rango de un diagrama mide el número de arcos que van de arriba a abajo.

Es evidente que In es el único diagrama de 2n nodos con rango n. Además, según

la denición de rango, podemos armar que el rango del producto de dos diagramas no

excede el rango de ninguno de sus factores. Esto es, rg(AA0 ) ≤ min {rg(A), rg(A0 )},
∀A, A0 ∈ T Ln .
Consideremos un diagrama A y supongamos que existe su inverso A−1 ∈ T Ln . Debe
satisfacerse AA−1 = In y, por lo tanto, n = rg(In ) ≤ rg(A). Se sigue que rg(A) = n y

A = In . Por lo que (∗) queda probado y T Ln es un monoide no conmutativo.

Miguel Ángel Navarro Pérez 49

Generadores del monoide T Ln

Dado n, consideremos los siguientes n−1 diagramas en T Ln :

De izquierda a derecha los diagramas e1 , e2 y en−1 .

Para cada i = 1, . . . , n − 1, ei es el diagrama de Temperley-Lieb que conecta los nodos

i, i + 1 de la base superior e i, i + 1 de la base inferior. El resto de nodos están conectados
mediante arcos verticales.

Proposición 7.4 Para cada n ≥ 2, el monoide T Ln está generado por los diagramas

e1 , . . . , en−1 .
Ejemplo 7.5 La siguiente gura muestra la expresión de un diagrama de T L4 en función

de los generadores.

Así, el diagrama dado tiene la palabra e2 e1 e3 e2 e4 e5 .

Relaciones de los generadores

Los generadores del monoide T Ln verican las siguientes relaciones:

ei ei = ei , salvo por un bucle perdido.

ei ei+1 ei = ei
50 Trenzas y nudos

ei ej = ej ei siempre que |i − j| ≥ 2.

7.2. El álgebra de Temperley-Lieb

Para cada n natural y cada x ∈ C, denimos el álgebra de Temperley-Lieb como el

C-espacio vectorial cuya base viene dada por los diagramas de T Ln . Lo denotamos por

T Ln (x). ( )
X
T Ln (x) = αA A | αA ∈ C
A∈T Ln

En el caso particular n = 2, el álgebra T L2 (x) es el C-espacio vectorial con base

{I2 , e1}. Los elementos de T L2 (x) son de la forma aI2 +be1 y la suma se realiza componente
a componente. También podemos denir un producto sobre los vectores de T L2 (x). Dados

dos vectores aI2 + be1 y cI2 + de1 , su producto tiene la expresión

ac(I2 I2 ) + ad(I2 e1 ) + bc(e1 I2 ) + bd(e1 e1 )

podemos simplicar esta fórmula efectuando los productos de diagramas. Así, I2 I2 = I2 ,

I2 e1 = e1 I2 = e1 . Sin embargo, el producto e1 e1 no coincide con e1 como denimos

en secciones previas. En el caso del álgebra de Temperley-Lieb, los bucles generados al

realizar determinados productos deben ser contabilizados. Aquí entra en juego el pará-

metro prejado x: multiplicaremos por xk k bucles al efectuar

cada vez que aparezcan

productos de vectores en T L2 (x). De este modo, obtenemos que (aI2 + be1 )(cI2 + de1 ) =

acI2 + (ad + bc + bdx)e1 , que sigue siendo un elemento de T L2 (x).

Estas operaciones pueden generalizarse para cualquier n>2 y podemos obtener las

relaciones
Miguel Ángel Navarro Pérez 51

ei ei = xei

ei ei+1 ei = ei

ei ej = ej ei siempre que |i − j| ≥ 2.

7.3. La traza de Markov

Igual que hicimos con trenzas, podemos cerrar los diagramas de Temperley-Lieb conec-

tando los n puntos superiores con sus respectivos, mediante arcos exteriores al rectángulo
que no se cruzan. De esta forma, generamos enlaces desenlazados. Llamaremos bucles
de cerrado de un diagrama A al número de componentes de estos enlaces y lo denotare-
mos por bA .
Ejemplo 7.6

El diagrama identidad In es el único con n bucles de cerrado.

Los diagramas generadores ei de 2n nodos tienen n−1 bucles de cerrado.

Si traducimos estas condiciones al lenguaje del álgebra de Temperley-Lieb, a la cerra-

dura de un diagrama A le xbA , que llamaremos factor de cerrado.

corresponde el factor

Podemos denir una aplicación lineal tr : T L∞ (x) −→ C que envíe cada diagrama a

su factor de cerrado, donde T L∞ (x) = ∪n≥1 T Ln (x). Esta aplicación se llama traza de

Markov.
Puesto que ei ej = ej ei para |i − j| ≥ 2 y el factor de cerrado de ei ei+1 coincide con el

de ei+1 ei , la traza de Markov es conmutativa. Además, se verica la relación

tr(uen ) = xtr(u), ∀u ∈ T Ln ,

conocida como propiedad de Markov.

Existen multitud de aplicaciones satisfaciendo las condiciones expuestas. Sin embargo,

el siguiente resultado pone de maniesto la unicidad de la traza de Markov:

Teorema 7.7 (Ocneanu)

Dados n≥2 y x ∈ C, existe una única aplicación lineal tr : T L∞ (x) −→ C satisfa-

ciendo:

(i) tr(In ) = 1.
52 Trenzas y nudos

(ii) tr(uv) = tr(vu), ∀u, v ∈ T Ln (x)

(iii) tr(uen ) = xtr(u), ∀u ∈ T Ln (x)

Redeniremos la traza de Markov para que se satisfaga (i). Solo tenemos que dividir

entre xn . De esta forma,

xb A
tr(A) = = xbA −n , ∀A ∈ T Ln .
xn
En particular, tr(In ) = 1. Así, después de normalizarla, la traza de Markov es única. Esta
aplicación es importante a la hora de denir el polinomio de Jones.

El siguiente teorema, enunciado por Jones, conecta las álgebras de Temperley-Lieb

con los grupos de trenzas.

Teorema 7.8 (Jones)

Sean n>1 y x, t ∈ C y consideremos la aplicación ρn : Bn −→ T Ln (x) dada por

ρn (σi ) = (t + 1)ei − In .

Entonces ρn es un homomorsmo si, y solo si, x−1 = 2 + t + t−1 .

Para probar este resultado, basta imponer que la imagen de las relaciones del grupo

de trenzas por la aplicación ρn sea el diagrama identidad In y expresar x en función de t.

7.4. La construcción del polinomio

Jones apreció que dada β ∈ Bn , su imagen por tr ◦ ρn se mantenía invariante por

conjugación, es decir, por movimientos del tipo M1 . En otras palabras, tr(ρn (γ −1 βγ)) =
tr(ρn (β)), ∀γ ∈ Bn . Es fácil probarlo teniendo en cuenta que ρn es homomorsmo y la

conmutatividad de la traza de Markov.

Sin embargo, no ocurre lo mismo cuando aplicamos movimientos M2 . Por ello, Jones

denió su polinomio según la expresión:

√ 1 √ − exp(β)
Vβ (t) = (− t − √ )n(β)−1 t tr(ρn (β)),
t
donde n(β), exp(β) denotan el número de hebras y el exponente de la trenza β.
n(γ −1 βγ)) =
Notemos que el polinomio así denido es invariante por conjugación, ya que

n(β) y exp(γ −1 βγ)) = exp(β). Veamos que también se mantiene por movimientos M2 .
±1 ±1
Para ello, tendremos en cuenta que n(βσn ) = n(β) + 1 y que exp(βσn ) = exp(β) ± 1.
Miguel Ángel Navarro Pérez 53

√ 1 n(β)+1−1
√ −(exp(β)+1)
Vβσn±1 (t) = (− t − √
t
) t tr(ρn+1 (βσn ))
√ 1 n(β)−1
√ 1
√ − exp(β) √ −1
= (− t − √
t
) (− t − √
t
) t t tr(ρn+1 (βσn ))
√ 1
√ −1
Si probamos que (− t − √
t
) t tr(ρn+1 (βσn )) = tr(ρn (β)), habremos terminado. En

primer lugar,

tr(ρn+1 (βσn )) = tr(ρn (β)ρn+1 (σn ))

= tr(ρn (β)((t + 1)en − In ))
= (t + 1)tr(ρn (β)en ) − tr(ρn (β))
= ((t + 1)x − 1)tr(ρn (β))

Teniendo en cuenta que x = (2 + t + t−1 )−1 , es fácil probar que

√ 1 √ −1
(− t − √ ) t ((t + 1)x − 1) = 1
t

y, por lo tanto, el polinomio de Jones se mantiene invariante por movimientos de Markov.

Corolario 7.9 El polinomio de Jones es un invariante de nudos.

Observación 7.10 Jones utilizó las propiedades abstractas del álgebra de Temperley-

Lieb. La utilización de los diagramas de Temperley-Lieb fue introducida por Kauman, que

también dio un invariante polinómico de nudos. En este trabajo hemos preferido utilizar

la notación diagramática por ser más visual pero es equivalente a la utilizada por Jones.

7.5. Cálculo del polinomio de Jones. Ejemplo.

Para el cálculo del polinomio de Jones de un nudo según la denición de la sección

anterior, necesitamos conocer una trenza que lo genere. Esto no siempre es fácil. Por ello,

en la práctica, suele calcularse del modo que detallaremos a continuación.

Jones advirtió que su polinomio podía calcularse de forma recursiva a partir de los

siguientes axiomas:

VK0 (t) = 1

t−1 VL+ (t) − tVL− (t) = (t1/2 − t−1/2 )VL0 (t)

donde K0 es el nudo trivial y L+ , L− y L0 corresponden a los diagramas de un enlace L

en el que se ha cambiado la naturaleza de uno sus cruces del siguiente modo:
54 Trenzas y nudos

Notemos que la primera condición es consecuencia directa de la denición del polinomio

de Jones, teniendo en cuanta que el nudo trivial puede ser generado mediante la cerradura

de la trenza trivial de una hebra. La segunda condición no es tan evidente pero también

se obtiene a partir de la denición del polinomio y el hecho de que los diagramas L+ , L−

−1
y L0 corresponden a los generadores σi , σi y ei .
A partir de estas condiciones calcularemos el polinomio de Jones del trébol (a la

izquierda). En primer lugar, consideramos un cruce. En este caso, se trata de un cruce

tipo L+ . Calculamos los diagramas resultantes al cambiar la naturaleza de este cruce.

Repetimos este proceso hasta obtener diagramas triviales.

De este modo, obtenemos que el polinomio de Jones del trébol es

VTrébol (t) = t−1 + t−3 − t−4 .

De manera análoga, si consideramos el trébol a la derecha (o imagen especular del

trébol), podemos calcular su polinomio de Jones, que resulta ser

Miguel Ángel Navarro Pérez 55

VTrébol∗ (t) = −t4 + t3 + t,

por lo que concluimos que el trébol a la izquierda y el trébol a la derecha son nudos no

equivalentes. Esto pone de maniesto la potencia del polinomio de Jones como herramienta

clasicadora de nudos.

A pesar de poder calcularse a partir de diagramas de nudos, no olvidemos la construc-

ción original del polinomio de Jones, a partir de grupos de trenzas. Con este invariante,

concluimos nuestro estudio cuyo objetivo no era más que mostrar la estrecha relación

entre la teoría de trenzas y la teoría de nudos.

Miguel Ángel Navarro Pérez 57

Referencias

[1] Artin, E. Theory of braids, Ann. of Math (2) 48 (1947) 101-126.

[2] Birman, J.S. and Brendle, T.E. Braids: A survey. Handbook of Knot Theory. Else-

vier, Amsterdam, 2005.

[3] Dehornoy, P. A fast method of comparing braids, Adv. in Math. 125 (1997), 200-235.
[4] Gilbert, N.D. and Porter, T. (1994) Knots and Surfaces. Oxford Science Publica-

tions. Oxford University Press, United Kingdom.

[5] Jones, V.F.R. A polynomial invariant for knots via von Neumann algebras, Bull.

Amer. Math. Soc. (N.S.) 12 (1985), 103-111.

[6] Murasugi, K. and Kurpita, B. (2012) A Study of Braids. Mathematics and Its Ap-

plications. Springer, Netherlands.

[7] Murasugi, K. (2009)Knot Theory and Its Applications. Modern Birkhäuser Classics.

Birkhäuser, Boston.

[8] Prasolov, V.V. and Sossinsky, A.B. (1997) Knots, Links, Braids, and 3-manifolds:

An Introduction to the New Invariants in Low-dimensional Topology. Translations

of mathematical monographs. American Mathematical Society.