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

by DEBORAH MARTINS RAPHAEL

Doctoral thesis in Mathématiques. Logique et fondements de l'informatique

Under the supervision of Gabriel Sabbagh.

defended on 1996

in Paris 7 .

  • Alternative Title

    Comparing model-theoretical properties and algebraic properties of polycyclic-by-finite groups


  • Abstract not available

    keywords keywords


  • Abstract

    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

Consult library

Version is available as a paper

Informations

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

Where is this thesis?

  • Library : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Available for PEB
  • Odds : TS1996
  • Library : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Available for PEB
  • Odds : THESE 06997
  • Library : Institut Henri Poincaré. Bibliothèque.
  • Unvailable for PEB
  • Odds : tome 207-1
  • Library : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Available for PEB
  • Odds : THESE 04961
See the Sudoc catalog libraries of higher education and research.