Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, V. Bagayoko, D. Basak, H. Fournier
Email des responsables : sylvy.anscombe@imj-prg.fr, bagayoko@imj-prg.fr, basak@imj-prg.fr, fournier@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain
Description

Archives


Abonnement à la liste de diffusion


Orateur(s) Samuel Zamour - ,
Titre Model theory of non-associative algebraic structures of finite Morley rank
Date14/04/2025
Horaire15:45 à 16:45
Diffusion
Résume

In the context of groups of finite Morley rank, Zilber introduced a notion of indecomposable subset and he proved that a family of indecomposable subsets containing the identity generates a definable (connected) group. On this basis, we can relate an algebraic property of the group, to be simple, with a model-theoretic property of its theory, to be aleph1-categorical : a simple group of finite Morlet rank is aleph1-categorical.

In this talk, we will review these notions (indecomposability, simplicity, aleph1-categoricity) in the context of non-associative algebraic structures of finite Morley rank. We will first consider Lie rings before moving to K-loops and "symétrons" in the sense of Poizat; we will see that it is possible to characterize the algebraic simplicity of these structures in terms of the aleph1-categoricity of their theories.

Salle1013
AdresseSophie Germain
© IMJ-PRG