Samuel Zamour "Symétrons et K-boucles omega-stables"
Fokko
Symétrons et K-boucles omega-stables
Les K-boucles sont des structures algébriques binaires où l'associativité de l'opération est seulement partielle. Elles ont été décrites dans le cas fini par G.Glauberman en lien avec la classification des groupes finis d'ordre impair. Dans cet exposé, nous examinerons la possibilité de mener à bien une étude des K-boucles du point de vue de la théorie des modèles. A cet égard, nous exploiterons notamment la théorie des symétrons, développée par Bruno Poizat, pour analyser les K-boucles (uniquement 2-divisibles) omega-stables (condition de chaîne, symétriseurs des types, analyse de Lascar,...). Les liens avec la classification des groupes strictement 2-transitifs et des groupes de Frobenius de rang de Morley fini seront également explorés.