Comparaison de propriétés modèle-théoriques et de propriétés algébriques des groupes polycycliques-par-finis

par DEBORAH MARTINS RAPHAEL

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

Sous la direction de Gabriel Sabbagh.

Soutenue en 1996

à Paris 7 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    On definit une relation d'equivalence dans la classe des groupes: la commensurabilite forte ; cette relation est plus fine que la commensurabilite et aussi plus fine que avoir les memes images finies. On montre que deux groupes polycycliques-par-finis qui satisfont les memes enonces a une alternance de quantificateurs sont fortement commensurables. A travers un exemple, on montre que la reciproque de cette affirmation n'est pas vraie. Etant donne un groupe polycyclique-par-fini g, engendre par les elements g#1,,g#k, on exhibe une formule existentielle-universelle, (x#1,,x#k), telle que: (i) (g#1,,g#k) est vraie dans g ; (ii) si h est un groupe qui satisfait les enonces a une alternance de quantificateurs satisfaits par g et si (h#1,,h#k) est vraie dans h, alors le sous-groupe engendre par h#1,,h#k est isomorphe a g. Ceci montre que le groupe g est definissable dans tout groupe qui satisfait les memes enonces a une alternance de quantificateurs

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (46 p.)
  • Annexes : Bibliogr., 20 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1996
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : THESE 06997
  • Bibliothèque : Institut Henri Poincaré. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : tome 207-1
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : THESE 04961
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.