For a oriented genus g surface with one boundary component, S_g, the Torelli group is the group of orientation preserving homeomorphisms of S_g that induce the identity on homology. The Magnus representation of the Torelli group represents the action on F/F'' where F=π_1(S_g) and F'' is the second term of the derived series. I show that the kernel of the Magnus representation, Mag(S_g), is highly non-trivial and has a rich structure as a group. Specifically, I define an infinite filtration of Mag(S_g) by subgroups, called the higher order Magnus subgroups, M_k(S_g). I develop methods for generating nontrivial mapping classes in M_k(S_g) for all k and g≥2. I show that for each k the quotient M_k(S_g)/M_{k+1}(S_g) contains a subgroup isomorphic to a lower central series quotient of free groups E(g-1)_k/E(g-1)_{k+1}. Finally I show that for g≥3 the quotient M_k(S_g)/M_{k+1}(S_g) surjects onto an infinite rank torsion free abelian group. To do this, I define a Johnson-type homomorphism on each higher order Magnus subgroup quotient and show it has a highly non-trivial image.

Neste trabalho apresentamos uma descrição geométrica do grupo de tranças no disco Bpnq e sua apresentação em termos de geradores e relatores no famoso teorema da apresentação de Artin. Mostraremos também que o grupo de tranças puras PBpnq, grupo que possui a permutação trivial das cordas, é bi-ordenável, ou seja, exibiremos uma ordenação para PBpnq que será invariante pela multiplicação em ambos os lados. Esse processo é dado a partir da combinação da técnica de pentear Artin e a expansão Magnus para grupos livres. / In this work, we present a geometric description of the braids groups of the disk Bpnq and its presentation in terms of generators and relations in the famous theorem of Artin\'s presentation. We also show that groups of pure braids, denoted by PBpnq, groups that have the trivial permutation of the strings, are bi-orderable, that is, we will present the explicit construction of a strict total ordering of pure braids PBpnq which is invariant under multiplying on both sides. This process is given from the combination of the techniques of combing Artin and Magnus expansion to free groups.

Neste trabalho apresentamos uma descrição geométrica do grupo de tranças no disco Bpnq e sua apresentação em termos de geradores e relatores no famoso teorema da apresentação de Artin. Mostraremos também que o grupo de tranças puras PBpnq, grupo que possui a permutação trivial das cordas, é bi-ordenável, ou seja, exibiremos uma ordenação para PBpnq que será invariante pela multiplicação em ambos os lados. Esse processo é dado a partir da combinação da técnica de pentear Artin e a expansão Magnus para grupos livres. / In this work, we present a geometric description of the braids groups of the disk Bpnq and its presentation in terms of generators and relations in the famous theorem of Artin\'s presentation. We also show that groups of pure braids, denoted by PBpnq, groups that have the trivial permutation of the strings, are bi-orderable, that is, we will present the explicit construction of a strict total ordering of pure braids PBpnq which is invariant under multiplying on both sides. This process is given from the combination of the techniques of combing Artin and Magnus expansion to free groups.