Un groupe de Baumslag-Solitar est un groupe dont la présentation est, pour p et q entiers non nuls. A chaque groupe de Baumslag-Solitar est associé un espace de déformation D p, q d'actions sur des arbres analogue à l'outre espace. Aut(BS(p, q)) agit sur cet espace ce qui induit une action du groupe des automorphismes extérieurs Out(BS(p,q)). Nous nous intéresserons au cas plus complexe où q est un multiple de p et dans un premier temps, nous démontrerons que tout automorphisme de BS(p, pn) est réductible ce qui signifie qu'il existe un BS(p,pn)-arbre T et une application laissant invariante un certain type de forêt. Ce résultat nous amènera à introduire un nouvel espace de déformation et une classification des automorphismes de BS(p, pn) en trois catégories : elliptique, parabolique ou hyperbolique. A l'aide de cette classification, nous démontrerons que tout automorphisme est à croissance soit polynomiale soit exponentielle. / A Baumslag-Solitar group is a group given by the group presentation, for p and q non-zero integers. For each Baumslag-Solitar group we consider a deformation space D p, q which is analogue of Culler-Vogtmann's Outer Space. The action of Aut(BS(p, q)) on D p, q induces an action of the outer automorphism group Out(BS(pq)). We will focus on the case where p divides q. Firstly, we will show that every automorphism of BS(p,pn) is reducible which means that we can find a BS(p,pn)-tree T and a map that leaves a certain type of subforest invariant. This result leads us to introduce a new deformation space and a classification of the automorphisms of BS(p,pn) in three types : elliptic, parabolic or hyperbolic. Using this classification, we will show that the growth of every automorphism of BS(p,pn) is exponential or polynomial.

Nous étudions la clôture algébrique et définissable dans les groupes libres. Les résultats principaux peuvent être résumés comme suit. Nous montrons un résultat de constructibilité des groupes hyperboliques sans torsion au-dessus de la clôture algébrique d'un sous-ensemble engendrant un groupe non abélien. Nous avons cherché à comprendre la place qu'occupe la clôture algébrique acl_G(A) dans certaines décompositions de G. Nous avons étudié la possibilité de la généralisation de la méthode de Bestvina-Paulin dans d'autres directions, en considérant les groupes de type fini qui agissent d'une manière acylindrique (au sens de Bowditch) sur les graphes hyperboliques. Enfin, nous avons étudié les relations qui existent entre les différentes notions de clôture algébrique et entre la clôture algébrique et la clôture définissable / In Chapter 1 we give basics on combinatorial group theory, starting from free groups and proceeding with the fundamental constructions: free products, amalgamated free products and HNN extensions. We outline a synthesis of Bass-Serre theory, preceded by a survey on Cayley graphs and graphs of groups. After proving the main theorem of Bass-Serre theory, we present its application to the proof of Kurosh subgroup theorem. Subsequently we recall main definitions and properties of hyperbolic spaces. In Section 1.4 we define algebraic and definable closures and recall a few other notions of model theory related to saturation and homogeneity. The last section of Chapter 1 is devoted to asymptotic cones. In Chapter 2 we prove a theorem similar to Bestvina-Paulin theorem on the limit of a sequence of actions on hyperbolic graphs. Our setting is more general: we consider Bowditch-acylindrical actions on arbitrary hyperbolic graphs. We prove that edge stabilizers are (finite bounded)-by-abelian, that tripod stabilizers are finite bounded and that unstable edge stabilizers are finite bounded. In Chapter 3 we introduce the essential notions on limit groups, shortening argument and JSJ decompositions. In Chapter 4 we present the results on constructibility of a torsion-free hyperbolic group from the algebraic closure of a subgroup. Also we discuss constructibility of a free group from the existential algebraic closure of a subgroup. We obtain a bound to the rank of the algebraic and definable closures of subgroups in torsion-free hyperbolic groups. In Section 4.2 we prove some results about the position of algebraic closures in JSJ decompositions of torsion-free hyperbolic groups and other results for free groups. Finally, in Chapter 5 we answer the question about equality between algebraic and definable closure in a free group. A positive answer has been given for a free group F of rank smaller than 3. Instead, for free groups of rank strictly greater than 3 we found some counterexample. For the free group of rank 3 we found a necessary condition on the form of a possible counterexample.

De nos jours, la complexité des systèmes implique fréquemment la participation des différentes équipes d'ingénierie dans la gestion des modèles descriptifs. Chaque équipe ayant une diversité d'expériences, de connaissances du domaine et de pratiques de modélisation, l'hétérogénéité des modèles mêmes est une conséquence logique. Ainsi, malgré la bonne gestion des modèles d'un point de vue individuel, leur variabilité devient un problème quand les ingénieurs nécessitent partager leurs modèles afin d'effectuer des validations globales. Nous défendons l'utilisation des connaissances implicites comme un moyen important de réduction de l'hétérogénéité. Ces connaissances sont implicites car elles sont dans la tête des ingénieurs mais elles n'ont pas été formalisées dans les modèles bien qu'elles soient essentielles pour les comprendre. Après avoir analysé les approches actuelles concernant l'intégration de modèles et l'explicitation de connaissances implicites nous proposons une méthodologie qui permet de compléter (annoter) les modèles fonctionnels et de conception d'un système avec des connaissances partagées du domaine formalisées sous la forme d'ontologies. Ces annotations facilitent l'intégration des modèles et la validation de contraintes intermodèles. En outre, il s'agit d'une approche non intrusive car les modèles originaux ne sont pas modifiés directement. En effet, ils sont exportés dans un environnement unifié en exprimant leurs méta-modèles dans un langage de modélisation partagé qui permet l'homogénéisation syntactique. L'approche a été validée formellement en utilisant le langage de modélisation EXPRESS en tant que langage partagé. Ensuite, afin de la valider d'un point de vue industriel, trois cas d'étude du domaine aéronautique ont été implémentés en appliquant l'approche. Cet aspect industriel a été complété par le développement d'un prototype permettant de travailler avec les ingénieurs depuis une perspective processus.ctly modified. Thus, they are exported into a unified framework by expressing their meta-models in a shared modeling language that permits the syntactical homogenization. The approach has been formally validated by using the EXPRESS modeling language as shared language. Then, in order to validate it from an industrial point of view, three aircraft domain case studies have been implemented by applying the approach. This industrial aspect has been completed by the development of a prototype allowing engineers to work from a process perspective.

.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Les C*-algèbres peuvent être décrites comme algèbres de champs d’opérateurs définis sur leurs spectres. Nous introduisons la famille des C*-algèbres aux limites duales à contrôle normique (LDCN) et nous montrons que les C*-algèbres des groupes de Lie nilpotents de dimension inférieure ou égale à 6 appartiennent à cette classe / Motivated by the description of the C*-algebras of less or equal 6 to dimensional nilpotent Lie groups as algebras of operator fields defined over their spectra, we introduce the family of C*-algebras with norm controlled dual limits and we show by explicit computations that the C*-algebras of every of less or equal 6 to dimensional nilpotent Lie groups belong to this class

info:eu-repo/semantics/nonPublished