Contributions à la théorie des groupes résolubles : elliptisme et théorie (universelle) du premier ordre

par Olivier Chapuis

Thèse de doctorat en Mathématiques. Logique et fondements de l'informatique

Sous la direction de Gabriel Sabbagh.

Soutenue en 1994

à Paris 7 .

    mots clés mots clés


  • Résumé

    Cette thèse comporte quatre chapitres. Dans le premier chapitre on étudie une propriété de finitude (l'elliptisme) qui porte sur les sous-groupes verbaux d'un groupe. Les trois autres chapitres tournent autour du résultat suivant de l'auteur: un groupe métabélien libre à une théorie universelle décidable. Dans le deuxième chapitre on donne une première preuve de ce résultat et on étudie une propriété des anneaux de groupes qui sont de ore, qui permet de montrer la décidabilité de la théorie universelle d'autres groupes. Dans le troisième chapitre on montre un résultat de définissabilité qui permet (entre autres) de montrer que si le dixième problème de Hilbert a une solution négative pour le corps des rationnels, alors la théorie universelle d'un groupe résoluble libre non monogène de classe supérieur ou égale à trois est indécidable. Dans le dernier chapitre on donne une description explicite de la théorie universelle d'un groupe métabélien libre et on donne différentes caractérisations des modèles de cette théorie.

  • Titre traduit

    Contributions to the theory of solvable groups: elliptic groups and first order (universal) theory


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (VIII-109 p.)
  • Annexes : Bibliogr. p. [101]-109, 115 réf.. Annexes

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1994
  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : THESE 01300

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1994-CHA
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.