Extensions de l'algorisme clàssic de Whitehead
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2099.1/6939
Tipus de documentProjecte Final de Màster Oficial
Data2009-02
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
L'algoritme clàssic de Whitehead decideix si dues paraules del grup lliure pertanyen o no a la mateixa òrbita per l'acció del grup d'automorfismes. La demostració clàssica és molt combinatòrica i tècnica (i desagradable de llegir). Els objectius d'aquest treball són bàsicament dos: 1- entendre aquesta demostració amb detall, i reescriure-la de la forma més senzilla i transparent possible. 2- Extendre aquest argument al cas de subgrups, demostrant amb detall l'afirmació de Gerten del 1984, habitualment acceptada però de la qual mai se n'ha escrit una demostració completa i autocontinguda: "existeix un algoritme per a decidir si dos subgrups finitament generats del grup lliure són o no a la mateixa òrbita per l'acció del grup d'automorfismes". Es poden fer també variacions del tema, considerant longituds enlloc de longituds cícliques, r-tuples de paraules (o de subgrups) enlloc de paraules soles, el cas mixte, etc.
TitulacióMÀSTER UNIVERSITARI EN MATEMÀTICA APLICADA (Pla 2009)
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Memoria.pdf | 1003,Kb | Visualitza/Obre |