Séminaires : Théorie des modèles et groupes

Pour recevoir le programme, écrivez à oger_at_math.univ-paris-diderot.fr
Le mardi à 10h30 en salle  1016 (Sophie Germain) - sauf les 04/11, 02/12 et 20/01-changement de salle.

https://semgrp.imj-prg.fr pour plus de renseignements.

Abonnement à la liste de diffusion

Profinite groups are the inverse limits of finite groups, or equivalently, the compact totally disconnected groups. First-order logic in the signature of groups can directly address only their algebraic structure. 

We study when a profinite group can be determined by a single first-order sentence within the class of profinite groups. In this case, the algebra determines the topology. We address the analogous question for pro-p groups. 

This is joint work with Segal and Tent. 
Reference: Finite axiomatizability for profinite groups. Proceedings of the London Mathematical Society 123.6 (2021): 597-635.