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) Chris Laskowski - University of Maryland,
Titre On the Borel complexity of modules
Horaire16:00 à 17:30

We prove that among all countable, commutative rings R (with unit) the theory of R-modules is not Borel complete if and only if there are only countably many non-isomorphic countable R-modules. From the proof, we obtain a succinct proof that the class of torsion free abelian groups is Borel complete.
The results above follow from some general machinery that we expect to have applications in other algebraic settings. Here, we also show that for an arbitrary countable ring R, the class of left R-modules equipped with an endomorphism is Borel complete; as is the class of left R-modules equipped with predicates for four submodules. This is joint work with D. Ulrich.

AdresseSalle 1013