Dans le cadre des théories stables, il a été prouvé qu'une courbe pseudolinéaire était toujours, spécifiquement, linéaire (ce qui correspond dans ce cadre également à localement modulaire): on peut alors caractériser la géométrie de l'ensemble associé, qui est soit projective (avec le type associé à la courbe non-trivial et modulaire), soit affine (quand le type est non-modulaire) sur un corps gauche; lorsque le type associé est trivial, la géométrie est dégénérée. Cela nous permet donc de déduire de la simple pseudolinéarité d'un type la structure de l'ensemble sous-jacent: cette thèse étend ce résultat au cadre des théories simples, ce qui nous permettra à nouveau de détermé de la théorie), mais en se restreignant au cas où k < 4 / In the context of stable theories, it has been proven that a plane curve which is pseudolinear must be linear; it is then possible to deduce the geometry of the associated set, which is either projective (when the type associated to the plane curve is non-trivial and modular), or affine (when the type is non-modular) on a division ring; if the associated type is trivial, the geometry is degenerate. This means we can infer, from a type's pseudolinearity, the structure of the underlying set; this thesis extends this result to the context of simple theories, allowing us to determine the set's geometry (with several differences to account for the fact that the theory is simple and not stable) if we restrict ourselves to k < 4
| Identifer | oai:union.ndltd.org:theses.fr/2016LYSE1053 |
| Date | 25 April 2016 |
| Creators | Arras, Damien |
| Contributors | Lyon, Wagner, Frank-Olaf |
| Source Sets | Dépôt national des thèses électroniques françaises |
| Language | French |
| Detected Language | French |
| Type | Electronic Thesis or Dissertation, Text |
Page generated in 0.0086 seconds