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

Equipe(s) : lm,
Responsables :Z. Chatzidakis, F. Oger, F. Point
Email des responsables : zoe.chatzidakis@imj-prg.fr
Salle : 1013
Adresse :Salle 1013

Pour recevoir le programme, écrivez à oger_at_math.univ-paris-diderot.fr
Le mardi à 16h00 en salle  1013 (Sophie Germain) - http://semgrp.imj-prg.fr pour plus de renseignements.

Orateur(s) Andre Nies - U. Auckland (Nouvelle Zelande),
Titre Finite axiomatisability for profinite groups
Horaire15:00 à 16:30

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.

AdresseSophie Germain