Cette thèse est consacrée à l'étude du groupe d'automorphismes de groupes agissant sur des arbres d'une part, et du rang des groupes de Coxeter d'autre part.<p><p>Via la théorie de Bass-Serre, un groupe agissant sur un arbre est doté d'une structure algébrique particulière, généralisant produits amalgamés et extensions HNN. Le groupe est en fait déterminé par certaines données combinatoires découlant de cette action, appelées graphes de groupes. <p><p>Un cas particulier de cette situation est celle d'un produit libre. Une présentation du groupe d'automorphisme d'un produit libre d'un nombre fini de groupes librement indécomposables en termes de présentation des facteurs et de leurs groupes d'automorphismes a été donnée par Fouxe-Rabinovich. Il découle de son travail que si les facteurs et leurs groupes d'automorphismes sont de présentation finie, alors le groupe d'automorphisme du produit libre est de présentation finie. Une première partie de cette thèse donne une nouvelle preuve de ce résultat, se basant sur le langage des actions de groupes sur les arbres.<p><p>Un groupe accessible est un groupe de type fini déterminé par un graphe de groupe fini dont les groupes d'arêtes sont finis et les groupes de sommets ont au plus un bout, c'est-à-dire qu'ils ne se décomposent pas en produit amalgamé ni en extension HNN sur un groupe fini. L'étude du groupe d'automorphisme d'un groupe accessible est ramenée à l'étude de groupes d'automorphismes de produits libres, de groupes de twists de Dehn et de groupes d'automorphismes relatifs des groupes de sommets. En particulier, on déduit un critère naturel pour que le groupe d'automorphismes d'un groupe accessible soit de présentation finie, et on donne une caractérisation des groupes accessibles dont le groupe d'automorphisme externe est fini. Appliqués aux groupes hyperboliques de Gromov, ces résultats permettent d'affirmer que le groupe d'automorphismes d'un groupe hyperbolique est de présentation finie, et donnent une caractérisation précise des groupes hyperboliques dont le groupe d'automorphisme externe est fini.<p><p>Enfin, on étudie le rang des groupes de Coxeter, c'est-à-dire le cardinal minimal d'un ensemble générateur pour un groupe de Coxeter donné. Plus précisément, on montre que si les composantes de la matrice de Coxeter déterminant un groupe de Coxeter sont suffisamment grandes, alors l'ensemble générateur standard est de cardinal minimal parmi tous les ensembles générateurs. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

La classification des groupes simples finies achevée en 2004 par Aschbacher et Smith au terme de décennies de travaux par des centaines de mathématiciens livre 18 familles infinies et 26 groupes appelés sporadiques. Ces derniers sont dotés de propriétés singulières. Dans ma thèse de doctorat, nous étudions le groupe sporadique de O'Nan -- usuellement dénoté O'N -- d'un point de vue géométrique, dans la lignée des travaux des Professeurs Buekenhout, Dehon et Leemans.<p><p>Nous abordons essentiellement quatre facettes de la géométrie de O'N. Tout d'abord, nous produisons la classification complète des géométries Buekenhout--Cara--Dehon--Leemans (BCDL) de O'N, une tâche commencée par Leemans en 2010. Les géomé-tries BCDL sont caractérisées par des axiomes inspirés de la Théorie des Immeubles de Jacques Tits. La majorité des groupes simples finis sont caractérisés par un immeuble et un diagramme. Parmi les exceptions se trouvent les groupes sporadiques. Une géométrie BCDL est plus générale qu'un immeuble, mais s'en rapproche.<p><p>Ensuite, nous étudions une géométrie pour le groupe d'automorphismes de O'N construite à partir de paires d'involutions commutantes. Les involutions jouent un rôle majeur dans la théorie des groupes simples finis. Ces travaux sont inspirés de la construction d'une tour de géométries pour les groupes de Fischer construite à partir de paires d'involutions commutantes due à Buekenhout.<p><p>Nous poursuivons en étudiant les polytopes abstraits réguliers sur lesquels O'N agit. Nous produisons la classification des polytopes de rang maximum, à savoir 4.<p><p>Enfin, nous étudions O'N sous le spectre des cartes régulières. Tout polyèdre abstrait régulier est une carte régulière, mais la réciproque n'est pas vraie. Nous donnons un algorithme permettant d'énumérer par type les cartes régulières pour un groupe fini donné. Ceci nous permet de borner le nombre de polyèdres abstraits réguliers sur lesquels O'N agit.<p><p>Nous produisons également les treillis de sous-groupes de O'N et de son groupe d'automorphismes. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Etant donné trois entiers k, s et a, nous prouvons dans le premier chapitre qu'il existe un graphe k-régulier fini (resp. un graphe k-régulier connexe fini) dont le groupe d'automorphismes a exactement s orbites sur l'ensemble des sommets et a orbites sur l'ensemble des arêtes si et seulement si<p><p>(s,a)=(1,0) si k=0,<p>(s,a)=(1,1) si k=1,<p>s=a>0 si k=2,<p>0< s <= 2a <= 2ks si k>2.<p><p>(resp.<p>(s,a)=(1,0) si k=0,<p>(s,a)=(1,1) si k=1 ou 2,<p>s-1<=a<=(k-1)s+1 et s,a>0 si k>2.)<p><p>Nous étudions les polyèdres convexes de R³ dans le second chapitre. Pour tout polyèdre convexe P, nous notons Isom(P) l'ensemble des isométries de R³ laissant P invariant. Si G est un sous-groupe de Isom(P), le f_G-vecteur de P est le triple d'entiers (s,a,f) tel que G ait exactement s orbites sur l'ensemble sommets de P, a orbites sur l'ensemble des arêtes de P et f orbites sur l'ensemble des faces de P. Remarquons que (s,a,f) est le f_{id}-vecteur (appelé f-vecteur dans la littérature) d'un polyèdre si ce dernier possède exactement s sommets, a arêtes et f faces. Nous généralisons un théorème de Steinitz décrivant tous les f-vecteurs possibles. Pour tout groupe fini G d'isométries de R³, nous déterminons l'ensemble des triples (s,a,f) pour lesquels il existe un polyèdre convexe ayant (s,a,f) comme f_G-vecteur. Ces résultats nous permettent de caractériser les triples (s,a,f) pour lesquels il existe un polyèdre convexe tel que Isom(P) a s orbites sur l'ensemble des sommets, a orbites sur l'ensemble des arêtes et f orbites sur l'ensemble des faces.<p><p>La structure d'incidence I(P) associée à un polyèdre P consiste en la donnée de l'ensemble des sommets de P, l'ensemble des arêtes de P, l'ensemble des faces de P et de l'inclusion entre ces différents éléments (la notion de distance ne se trouve pas dans I(P)). Nous déterminons également l'ensemble des triples d'entiers (s,a,f) pour lesquels il existe une structure d'incidence I(P) associée à un polyèdre P dont le groupe d'automorphismes a exactement s orbites de sommets, a orbites d'arêtes et f orbites de sommets. / Doctorat en sciences, Spécialisation mathématiques / info:eu-repo/semantics/nonPublished

Dans ce travail, nous proposons des procédures de test paramétriques et nonparamétrique localement et asymptotiquement optimales au sens de Hajek et Le Cam, pour trois modèles d'asymétrie. <p>La construction de modèles d'asymétrie est un sujet de recherche qui a connu un grand développement ces dernières années, et l'obtention des tests optimaux (pour trois modèles différents) est une étape essentielle en vue de leur mise en application. <p>Notre approche est fondée sur la théorie de Le Cam d'une part, pour obtenir les propriétés de normalité asymptotique, bases de la construction des tests paramétriques optimaux, et la théorie de Hajek d'autre part, qui, via un principe d'invariance permet d'obtenir les procédures non-paramétriques.<p><p>Nous considérons dans ce travail deux classes de distributions univariées asymétriques, l'une fondée sur un développement d'Edgeworth (décrit dans le Chapitre 1), et l'autre construite en utilisant un paramètre d'échelle différent pour les valeurs positives et négatives (le modèle de Fechner, décrit dans le Chapitre 2).<p>Le modèle d'asymétrie elliptique étudié dans le dernier chapitre est une généralisation multivariée du modèle du Chapitre 2.<p>Pour chacun de ces modèles, nous proposons de tester l'hypothèse de symétrie par rapport à un centre fixé, puis par rapport à un centre non spécifié.<p><p>Après avoir décrit le modèle pour lequel nous construisons les procédures optimales, nous obtenons la propriété de normalité locale asymptotique. A partir de ce résultat, nous sommes capable de construire les tests paramétriques localement et asymptotiquement optimaux. Ces tests ne sont toutefois valides que si la densité sous-jacente f est correctement spécifiée. Ils ont donc le mérite de déterminer les bornes d'efficacité paramétrique, mais sont difficilement applicables. <p>Nous adaptons donc ces tests afin de pouvoir tester les hypothèses de symétrie par rapport à un centre fixé ou non, lorsque la densité sous-jacente est considérée comme un paramètre de nuisance. <p>Les tests que nous obtenons restent localement et asymptotiquement optimaux sous f, mais restent valides sous une large classe de densités. <p><p>A partir des propriétés d'invariance du sous-modèle identifié par l'hypothèse nulle, nous obtenons les tests de rangs signés localement et asymptotiquement optimaux sous f, et valide sous une vaste classe de densité. Nous présentons en particulier, les tests fondés sur les scores normaux (ou tests de van der Waerden), qui sont optimaux sous des hypothèses Gaussiennes, tout en étant valides si cette hypothèse n'est pas vérifiée.<p>Afin de comparer les performances des tests paramétriques et non paramétriques présentés, nous calculons les efficacités asymptotiques relatives des tests non paramétriques par rapport aux tests pseudo-Gaussiens, sous une vaste classe de densités non-Gaussiennes, et nous proposons quelques simulations. / Doctorat en sciences, Orientation statistique / info:eu-repo/semantics/nonPublished

Doctorat en Langues et lettres / info:eu-repo/semantics/nonPublished