>Magister Scientiae - MSc / The groups we consider in this study belong to the class Xo of all finitely generated groups with finite commutator subgroups. We shall eventually narrow down to the groups of the form T)<lw zn for some nE N and some finite abelian group T. For a Xo-group H, we study the non-cancellation set, X(H), which is defined to be the set of all isomorphism classes of groups K such that H x Z ~ K x Z. For Xo-groups H, on X(H) there is an abelian group structure [38], defined in terms of embeddings of K into H, for groups K of which the isomorphism classes belong to X(H). If H is a nilpotent Xo-group, then the group X(H) is the same as the Hilton-Mislin (see [10]) genus group Q(H) of H. A number of calculations of such Hilton-Mislin genus groups can be found in the literature, and in particular there is a very nice calculation in article [11] of Hilton and Scevenels. The main aim of this thesis is to compute non-cancellation (or genus) groups of special types of .Xo-groups such as mentioned above. The groups in question can in fact be considered to be direct products of metacyclic groups, very much as in [11]. We shall make extensive use of the methods developed in [30] and employ computer algebra packages to compute determinants of endomorphisms of finite groups.

The study of integral operators on spaces of analytic functions has been considered for the past few decades. However, most of the studies in this line are based on spaces of analytic functions of the unit disc. For the analytic spaces of the upper half-plane, the literature is still scanty. Most notable is the recent work of Siskakis and Arvanitidis concerning the classical Ces`aro operator on Hardy spaces of the upper half-plane. In this dissertation, we characterize all continuous one-parameter groups of automorphisms of the upper halfplane according to the nature and location of their fixed points into three distinct classes, namely, the scaling, the translation, and the rotation groups. We then introduce the associated groups of weighted composition operators on both Hardy and weighted Bergman spaces of the half-plane. Interestingly, it turns out that these groups of composition operators form three strongly continuous groups of isometries. A detailed analysis of each of these groups of isometries is carried out. Specifically, we determine the spectral properties of the generators of every group, and using both spectral and semigroup theory of Banach spaces, we obtain concrete representations of the resolvents as integral operators on both Hardy and Bergman spaces of the half-plane. For the scaling group, the resulting resolvent operators are exactly the Ces`aro-like operators. The spectral properties of the obtained integral operators is also determined. Finally, we detail the theory of both Szeg¨o and Bergman projections of the half-plane, and use it to determine the duality properties of these spaces. Consequently, we obtain the adjoints of the resolvent operators on the reflexive Hardy and Bergman spaces of the half-plane.

A Steiner triple system of order v, denoted STS(v), is said to be tricyclic if it admits an automorphism whose disjoint cyclic decomposition consists of three cycles. In this thesis we give necessary and sufficient conditions for the existence of a tricyclic STS(v) when one of the cycles is of length one. In this case, the STS(v) will contain a subsystem which admits an automorphism consisting of a fixed point and a single cycle. The subsystem is said to be 1-rotational.

Dans ce mémoire, nous étudierons quelques propriétés algébriques, géométriques et topologiques des surfaces de Riemann compactes. Deux grand sujets seront traités. Tout d'abord, en utilisant le fait que toute surface de Riemann compacte de genre g plus grand ou égal à 2 possède un nombre fini de points de Weierstrass, nous allons pouvoir conclure que ces surfaces possèdent un nombre fini d'automorphismes. Ensuite, nous allons étudier de plus près la formule de trace d'Eichler. Ce théorème nous permet de trouver le caractère d'un automorphisme agissant sur l'espace des q-différentielles holomorphes. Nous commencerons notre étude en utilisant la quartique de Klein. Nous effectuerons un exemple de calcul utilisant le théorème d'Eichler, ce qui nous permettra de nous familiariser avec l'énoncé du théorème. Finalement, nous allons démontrer la formule de trace d'Eichler, en prenant soin de traiter le cas où l'automorphisme agit sans point fixe séparément du cas où l'automorphisme possède des points fixes. / In this thesis, we will study several algebraic, geometrical and topological properties of compact Riemann surfaces. Two principal subjects will be treated. First, using the fact that every compact Riemann surfaces of genus g greater or equal to 2 has a finite number of Weierstrass points, we will be able to prove that those surfaces have a finite number of automorphism. Afterward, we will study the Eichler's trace formula. This formula allow us to find the character of an automorphism acting on the space of holomorphic q-differentials. We will start our study using Klein's quartic curve. We will apply Eichler's formula in this case, which will allow us to familiarize ourselves with the statement of the theorem. Finally, we will demonstrate the Eichler's trace formula, treating the case where the automorphism acts fixed point freely separately from the case where the automorphism has fixed points.

Cette thèse porte sur l'étude des groupes polonais vus comme groupes d'automorphismes de structures métriques. L'observation que tout groupe polonais non archimédien est le groupe d'automorphismes d'une structure dénombrable ultra homogène a en effet mené à des interactions fructueuses entre la théorie des groupes et la théorie des modèles. Dans le cadre de la théorie des modèles métriques, introduite par Ben Yaacov, Henson et Usvyatsov, cette correspondance a été étendue par Melleray à tous les groupes polonais. Dans cette thèse, nous étudions diverses facettes de cette correspondance. Le lien entre une structure et son groupe d automorphismes est particulièrement étroit dans le cadre des structures ℵ0-categoriques. En effet, le théorème de reconstruction d'Ahlbrandt-Ziegler permet de retrouver une structure ℵ0-categorique, à bi-interprètabilité près, à partir de son groupe d'automorphismes. Dans un travail en commun avec Itai Ben Yaacov, nous généralisons ce résultat aux structures métriques separablement catégoriques. Les structures dénombrables ultra homogènes ont de plus l avantage d'être complètement déterminées par leurs sous-structures finiment engendrées. Cela a notamment permis a Moore de donner une caractérisation combinatoire de la moyennabilité des groupes polonais non archimédiens. Nous étendons cette caractérisation à tous les groupes polonais et nous en déduisons que la moyennabilite est une condition Gδ. Toujours dans une optique de reconstruction, nous nous intéressons à la propriété de continuité automatique pour les groupes polonais. Sabok et Malicki ont introduit des conditions de nature combinatoire sur une structure métrique ultra homogène qui impliquent la propriété de continuité automatique pour son groupe d'automorphismes. Nous montrons que ces conditions passent à la puissance dénombrable, ce qui a pour conséquence que les groupes Aut(μ)N, U(l2)N et Iso(U)N satisfont la propriété de continuité automatique. Ces conditions sont un affaiblissement du fait d'avoir des amples génériques. Dans un travail en commun avec Francois Le Maitre, nous exhibons les premiers exemples de groupes connexes qui ont des amples génériques, ce qui répond à une question de Kechris et Rosendal / This thesis focuses on the study of Polish groups seen as automorphism groups of metric structures. The observation that every non-archimedean Polish group is the automorphism group of an ultrahomogeneous countable structure has indeed led to fruitful interactions between group theory and model theory. In the framework of metric model theory, introduced by Ben Yaacov, Henson and Usvyastov, this correspondence has been extended to all Polish groups by Melleray. In this thesis, we study various facets of this correspondence. The relationship between a structure and its automorphism group is particularly close in the setting of ℵ0-categorical structures. Indeed, the Ahlbrandt-Ziegler reconstruction theorem allows one to recover an ℵ0-categorical structure, up to bi-interpretability, from its automorphism group. In a joint work with Itai Ben Yaacov, we generalize this result to separably categorical metric structures. Besides, ultrahomogeneous countable structures have the advantage of being completely determined by their finitely generated substructures. In particular, this enabled Moore to give a combinatorial characterization of amenability for nonarchimedean Polish groups. We extend this characterization to all Polish groups and we deduce that amenability is a Gδ condition. Still in a reconstruction perspective, we are interested in the automatic continuity property for Polish groups. Sabok and Malicki introduced conditions of a combinatorial nature on an ultrahomogeneous metric structure that imply the automatic continuity property for its automorphism group. We show that these conditions carry to countable powers, which leads to the groups Aut(μ)N, U(l2)N and Iso(U)N satisfying the automatic continuity property. Those conditions are a weakening of the property of having ample generics. In a joint work with Francois Le Maitre, we exhibit the first examples of connected groups with ample generics, which answers a question of Kechris and Rosendal. Finally, in a joint work with Isabel Muller and Aristotelis Panagiotopoulos, we study the relative homogeneity of substructures in an ultrahomogeneous countable structure. We characterize it completely by a property of the types over the substructures: being determined by a finite set

Cette thèse est consacrée aux actions des groupes de transformations algébriques sur les variétés affines algébriques. Dans la première partie, on étudie la normalité des adhérences des orbites de tore maximal dans un module rationnel de groupe algébrique simple. La seconde partie porte sur les actions du groupe d'automorphismes d'une variété affine. Nous nous intéressons aux propriétés de transitivité et de transitivité multiple de ces actions sur le lieu lisse de la variété. / This thesis is devoted to the actions of groups of algebraic transformations on affine algebraic varieties. In the first part we study normality of closures of maximal torus orbits in the rational modules of simple algebraic groups. The second part deals with actions of automorphism groups on affine varieties. We study here transitivity and multiple transitivity of such an action on the set of smooth points.

In this thesis, we describe linear codes over prime fields obtained from incidence designs of iterated line graphs of complete graphs Li(Kn) where i = 1, 2. In the binary case, results are extended to codes from neighbourhood designs of the line graphs Li+1(Kn) using certain elementary relations. Codes from incidence designs of complete graphs, Kn, and neighbourhood designs of their line graphs, L1(Kn) (the so-called triangular graphs), have been considered elsewhere by others. We consider codes from incidence designs of L1(Kn) and L2(Kn), and neighbourhood designs of L2(Kn) and L3(Kn). In each case, basic parameters of the codes are determined. Further, we introduce a family of vertex-transitive graphs 􀀀n that are embeddable into the strong product L1(Kn) ⊠ K2, of triangular graphs and K2, a class which at first sight may seem unnatural but, on closer look, is a repository of graphs rich with combinatorial structures. For instance, unlike most regular graphs considered here and elsewhere that only come with incidence and neighbourhood designs, 􀀀n also has what we have termed as 6-cycle designs. These are designs in which the point set contains vertices of the graph and every block contains vertices of a 6-cycle in the graph. Also, binary codes from incidence matrices of these graphs have other minimum words in addition to incidence vectors of the blocks. In addition, these graphs have induced subgraphs isomorphic to the family Hn of complete porcupines (see Definition 4.11). We describe codes from incidence matrices of 􀀀n and Hn and determine their parameters.

Dans ce mémoire, nous étudierons quelques propriétés algébriques, géométriques et topologiques des surfaces de Riemann compactes. Deux grand sujets seront traités. Tout d'abord, en utilisant le fait que toute surface de Riemann compacte de genre g plus grand ou égal à 2 possède un nombre fini de points de Weierstrass, nous allons pouvoir conclure que ces surfaces possèdent un nombre fini d'automorphismes. Ensuite, nous allons étudier de plus près la formule de trace d'Eichler. Ce théorème nous permet de trouver le caractère d'un automorphisme agissant sur l'espace des q-différentielles holomorphes. Nous commencerons notre étude en utilisant la quartique de Klein. Nous effectuerons un exemple de calcul utilisant le théorème d'Eichler, ce qui nous permettra de nous familiariser avec l'énoncé du théorème. Finalement, nous allons démontrer la formule de trace d'Eichler, en prenant soin de traiter le cas où l'automorphisme agit sans point fixe séparément du cas où l'automorphisme possède des points fixes. / In this thesis, we will study several algebraic, geometrical and topological properties of compact Riemann surfaces. Two principal subjects will be treated. First, using the fact that every compact Riemann surfaces of genus g greater or equal to 2 has a finite number of Weierstrass points, we will be able to prove that those surfaces have a finite number of automorphism. Afterward, we will study the Eichler's trace formula. This formula allow us to find the character of an automorphism acting on the space of holomorphic q-differentials. We will start our study using Klein's quartic curve. We will apply Eichler's formula in this case, which will allow us to familiarize ourselves with the statement of the theorem. Finally, we will demonstrate the Eichler's trace formula, treating the case where the automorphism acts fixed point freely separately from the case where the automorphism has fixed points.

In this thesis, we describe linear codes over prime fields obtained from incidence designs of iterated line graphs of complete graphs Li(Kn) where i = 1, 2. In the binary case, results are extended to codes from neighbourhood designs of the line graphs Li+1(Kn) using certain elementary relations. Codes from incidence designs of complete graphs, Kn, and neighbourhood designs of their line graphs, L1(Kn) (the so-called triangular graphs), have been considered elsewhere by others. We consider codes from incidence designs of L1(Kn) and L2(Kn), and neighbourhood designs of L2(Kn) and L3(Kn). In each case, basic parameters of the codes are determined. Further, we introduce a family of vertex-transitive graphs 􀀀n that are embeddable into the strong product L1(Kn) ⊠ K2, of triangular graphs and K2, a class which at first sight may seem unnatural but, on closer look, is a repository of graphs rich with combinatorial structures. For instance, unlike most regular graphs considered here and elsewhere that only come with incidence and neighbourhood designs, 􀀀n also has what we have termed as 6-cycle designs. These are designs in which the point set contains vertices of the graph and every block contains vertices of a 6-cycle in the graph. Also, binary codes from incidence matrices of these graphs have other minimum words in addition to incidence vectors of the blocks. In addition, these graphs have induced subgraphs isomorphic to the family Hn of complete porcupines (see Definition 4.11). We describe codes from incidence matrices of 􀀀n and Hn and determine their parameters.

After reviewing some properties of the two dimensional hyperbolic toral automorphism called Arnold's discrete cat map, including its generalizations with matrices having positive unit determinant, this thesis contains a definition of a novel cat map where the elements of the matrix are found in the sequence of Pell numbers. This mapping is therefore denoted as Pell's cat map. The main result of this thesis is a theorem determining the upper bound for the minimal period of Pell's cat map. From numerical results four conjectures regarding properties of Pell's cat map are also stated. A brief exposition of some applications of Arnold's discrete cat map is found in the last part of the thesis.