77745374171f2075.tex
1: \begin{abstract}
2: %\vspace{-2mm}
3: 
4: The first part (Chapters 2 through 5) studies decision problems in Thompson's groups $F,T,V$
5: and some generalizations. The \emph{simultaneous conjugacy problem} is determined to be
6: solvable for Thompson's group $F$ and suitable larger groups of piecewise-linear homeomorphisms
7: of the unit interval. We describe a conjugacy invariant both from the piecewise-linear point of view
8: and a combinatorial one using \emph{strand diagrams}.
9: We determine algorithms to compute roots and centralizers in these groups
10: and to detect periodic points and their behavior by looking at the \emph{closed strand diagram} associated to an element.
11: We conclude with a complete cryptanalysis of an encryption protocol based on the \emph{decomposition problem}.
12: %\vspace{-7mm}
13: 
14: In the second part (Chapters 6 and 7),
15: we describe the structure of subgroups of the group of all homeomorphisms of the unit circle,
16: with the additional requirement that they contain no non-abelian free subgroup. It is shown that in this setting
17: the \emph{rotation number map} is a group homomorphism. We give a classification of such subgroups as
18: subgroups of certain wreath products and we show that such subgroups can exist by building examples. Similar techniques
19: are then used to compute centralizers in these groups and to provide the base to generalize the techniques
20: of the first part and to solve the simultaneous conjugacy problem.
21: %\vspace{-7mm}
22: 
23: %The third part (Chapter 8) describes a procedure to compute the size of $n$-balls for Thompson's group $F$
24: %with respect to the standard finite generating set. This is first step in the estimate of the \emph{growth %rate} of $F$.
25: \end{abstract}
26: