Η διπλωματική εργασία κινείται γύρω από το θεώρημα Quillen-Suslin (1976): “Κάθε πεπερασμένα γενόμενο προβολικό module επί του δακτυλίου των πολυωνύμων k[x_1,…,x_m ] (όπου k σώμα) είναι ελεύθερο”. Το πρόβλημα ξεκίνησε το 1955, όταν ο J. P. Serre, σε υποσημείωση της ένδοξης εργασίας του “Faisceaux Algebriques Coherents” (σελίδα 243), σημειώνει: “ On ignore s’il existe des A-modules projectifs de type fini qui ne soient pas libres” (A=k[x_1,…x_m ], k σώμα).* Το πρόβλημα λύθηκε από τους Quillen και Suslin (ανεξάρτητα) είκοσι χρόνια μετά. Για την απόδειξη του θεωρήματος είναι απαραίτητο το αποτέλεσμα που οφείλεται στον ίδιο τον Serre (1958): “ Κάθε πεπερασμένα γενόμενο προβολικό k[x_1,…,x_m ]-module P είναι σταθερά ελεύθερο” (δηλαδή το P δέχεται πεπερασμένα γενόμενο ελεύθερο συμπλήρωμα F, ώστε το P⊕F να είναι ελεύθερο). Στo Κεφάλαιο 2 αυτής της εργασίας, θα παρουσιάσουμε την απόδειξη του ανωτέρω θεωρήματος του Serre και τελικά, στο Κεφάλαιο 3, θα σκιαγραφήσουμε την απόδειξη του θεωρήματος Quillen-Suslin, με τη μέθοδο του Suslin. *Αγνοούμε αν υπάρχουν πεπερασμένα γενόμενα προβολικά A-modules που δεν είναι ελεύθερα. / This work is about the Quillen-Suslin Theorem (1976): “If k is a field , then every finitely generated projective k[x_1,…,x_m ]-module is free”. This problem started in 1955, when J.P. Serre, in his glorious paper “FaisceauxAlgebriquesCoherents” (page 243), noted: “On ignore s’ilexiste des A-modules projectifs de type fini qui ne soient pas libres ” (A=k[x_1,…x_m ],k is field).* This problem was solved from Quillen and Suslin (independently) twenty years after. For the proof of this theorem is necessary the result, due to Serre (1958): “Every finitely generated projective k[x_1,…,x_m ]-module P is stably free ” (ie. P admits a finitely generated free complement F, so that P⊕F is free). In Chapter 2 of this work, we will represent the proof of the above Serre’s Theorem and, finally, in Chapter 3, we will sketch the proof of Quillen-Suslin's Theorem, with Suslin’s method. *We ignore, if exist finitely generated projective A-modules, that they are not free.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-12-19T18:27:28Z No. of bitstreams: 1 santiagomilerquispemamani.pdf: 952447 bytes, checksum: 6008ae3816024f866eea3c17d560372d (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-02-07T12:39:21Z (GMT) No. of bitstreams: 1 santiagomilerquispemamani.pdf: 952447 bytes, checksum: 6008ae3816024f866eea3c17d560372d (MD5) / Made available in DSpace on 2017-02-07T12:39:21Z (GMT). No. of bitstreams: 1 santiagomilerquispemamani.pdf: 952447 bytes, checksum: 6008ae3816024f866eea3c17d560372d (MD5) Previous issue date: 2016-04-25 / O objetivo deste trabalho é apresentar o resultado dado por Bass em [4], que determina uma condição no domínio de integridade R para que todo módulo finitamente gerado e livre de torção seja escrito como soma direta de módulos de posto 1. Mostramos que uma condição necessária é que todo ideal em R seja gerado por dois elementos, ou seja, que esses domínios sejam quase domínios de Dedekind. Em seguida, aplicamos o resultado na descrição de módulos livres de torção e de posto finito sobre os anéis de coordenadas de curvas singulares, cujas singularidades são nós ou cúspides. / The aim of this paper is to present the result given by Bass in [4], which determines a condition on the integral domain R so that every finitely generated torsion free module is written as a direct sum of modules of rank 1. We show that a necessary condition is that all ideal in R is generated by two elements, in other words, that these domains are almost Dedekind domains. Then, we apply the result in the description of torsion free modules of finite rank over the coordinate rings of singular curves, whose singularities are nodal or cuspidal.

Let K be a number field with ring of integers O_K and let G be a finite group.By a result of E. Noether, the ring of integers of a tame Galois extension of K with Galois group G is a locally free O_K[G]-module of rank 1.Thus, to any tame Galois extension L/K with Galois group G we can associate a class [O_L] in the locally free class group Cl(O_K[G]). The set of all classes in Cl(O_K[G]) which can be obtained in this way is called the set of realizable classes and is denoted by R(O_K[G]).In this dissertation we study different problems related to R(O_K[G]).The first part focuses on the following question: is R(O_K[G]) a subgroup of Cl(O_K[G])? When the group G is abelian, L. McCulloh proved that R(O_K[G]) coincides with the so-called Stickelberger subgroup St(O_K[G]) of Cl(O_K[G]). In Chapter 2, we give a detailed presentation of unpublished work by L. McCulloh that extends the definition of St(O_K[G]) to the non-abelian case and shows that R(O_K[G]) is contained in St(O_K[G]) (the opposite inclusion is still not known in the non-abelian case).Then, just using its definition and Stickelberger's classical theorem, we prove in Chapter 3 that St(O_K[G]) is trivial if K=Q and G is either cyclic of order p or dihedral of order 2p, where p is an odd prime number. This, together with McCulloh's results, allows us to have a new proof of the triviality of R(O_K[G]) in the cases just considered.The main original results are contained in the second part of this thesis. In Chapter 4, we prove that St(O_K[G]) has good functorial behavior under restriction of the base field. This has the interesting consequence that, if N/L is a tame Galois extension with Galois group G, and St(O_K[G]) is known to be trivial for some subfield K of L, then O_N is stably free as an O_K[G]-module.In the last chapter, we prove an equidistribution result for Galois module classes amongst tame Galois extensions of K with Galois group G in which a given prime p of K is totally split.

Soient K un corps de nombres d'anneau des entiers O_K et G un groupe fini. Grâce à un résultat de E. Noether, l'anneau des entiers d'une extension galoisienne de K modérément ramifiée, de groupe de Galois G, est un O_K[G]-module localement libre de rang 1. Donc, à chaque extension galoisienne L/K modérément ramifiée, de groupe de Galois G, on peut associer une classe [O_L] dans le groupe des classes des modules localement libres Cl(O_K[G]). L'ensemble des classes de Cl(O_K[G]) qui peuvent être obtenues de cette façon est appelé ensemble des classes réalisables et on le note R(O_K[G]).Dans cette thèse, on étudie différents problèmes liés à R(O_K[G]). Dans la première partie, nous nous focalisons sur la question suivante: R(O_K[G]) est-il un sous-groupe de Cl(O_K[G])? Si G est abélien, L. McCulloh a prouvé que R(O_K[G]) coïncide avec le soi-disant sous-groupe de Stickelberger St(O_K[G]) dans Cl(O_K[G]). Dans le Chapitre 2, nous donnons une présentation détaillée d'un travail non publié de L. McCulloh qui étend la définition de St(O_K[G]) au cas non-abélien et montre que R(O_K[G]) est inclus dans St(O_K[G]) (l'inclusion opposée n'est pas encore connue dans le cas non-abélien). Puis, en utilisant sa définition et le Théorème de Stickelberger classique, nous montrons dans le Chapitre 3 que St(O_K[G]) est trivial si K=Q et G est soit un groupe cyclique d'ordre p soit un groupe diédral d'ordre 2p, avec p premier impair. Ceci, lié aux résultats de McCulloh, nous donne une nouvelle preuve de la trivialité de R(O_K[G]) dans les cas considérés.Les résultats originaux les plus importants sont contenus dans la deuxième partie de cette thèse. Dans le Chapitre 4 nous montrons la fonctorialité de St(O_K[G]) par rapport au changement du corps de base. Ceci implique que si N/L est une extension galoisienne modérément ramifiée, de groupe de Galois G, et St(O_K[G]) est connu être trivial pour un certain sous-corps K de L, alors O_N est un O_K[G]-module stablement libre.Dans le dernier chapitre, nous montrons un résultat concernant la distribution des classes réalisables parmi les extensions galoisiennes de K modérément ramifiées, de groupe de Galois G, dans lesquelles un idéal premier de K donné est totalement décomposé. / Let K be a number field with ring of integers O_K and let G be a finite group.By a result of E. Noether, the ring of integers of a tame Galois extension of K with Galois group G is a locally free O_K[G]-module of rank 1.Thus, to any tame Galois extension L/K with Galois group G we can associate a class [O_L] in the locally free class group Cl(O_K[G]). The set of all classes in Cl(O_K[G]) which can be obtained in this way is called the set of realizable classes and is denoted by R(O_K[G]).In this dissertation we study different problems related to R(O_K[G]).The first part focuses on the following question: is R(O_K[G]) a subgroup of Cl(O_K[G])? When the group G is abelian, L. McCulloh proved that R(O_K[G]) coincides with the so-called Stickelberger subgroup St(O_K[G]) of Cl(O_K[G]). In Chapter 2, we give a detailed presentation of unpublished work by L. McCulloh that extends the definition of St(O_K[G]) to the non-abelian case and shows that R(O_K[G]) is contained in St(O_K[G]) (the opposite inclusion is still not known in the non-abelian case).Then, just using its definition and Stickelberger's classical theorem, we prove in Chapter 3 that St(O_K[G]) is trivial if K=Q and G is either cyclic of order p or dihedral of order 2p, where p is an odd prime number. This, together with McCulloh's results, allows us to have a new proof of the triviality of R(O_K[G]) in the cases just considered.The main original results are contained in the second part of this thesis. In Chapter 4, we prove that St(O_K[G]) has good functorial behavior under restriction of the base field. This has the interesting consequence that, if N/L is a tame Galois extension with Galois group G, and St(O_K[G]) is known to be trivial for some subfield K of L, then O_N is stably free as an O_K[G]-module.In the last chapter, we prove an equidistribution result for Galois module classes amongst tame Galois extensions of K with Galois group G in which a given prime p of K is totally split.