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

Equipe(s) : lm,
Responsables :S. Anscombe, A. Khélif, A. Vignati
Email des responsables : sylvy.anscombe@imj-prg.fr, vignati@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion

Orateur(s) Krzysztof Krupinski - University of Wroclaw,
Titre On generating ideals by additive subgroups of rings and an application to Bohr compactifications of some matrix groups
Horaire16:00 à 17:15
Diffusion https://u-paris.zoom.us/rec/share/Qjl2G375HsupQfWtR3IHkeDjVT93PDQKYIiBaGc7BipNQPBHchCumjeAVYbkaHf1.D7Fy-9YnlMmHFf7E?startTime=1622642466000
RésumeI will present several fundamental results about generating ideals in finitely many steps inside additive groups of rings from my joint paper with T. Rzepecki. I will also mention an application to computations of definable and classical Bohr compactifications of the groups of upper unitriangular and invertible upper triangular matrices over arbitrary unital rings, based on my joint paper with J. Gismatullin and G. Jagiella. An essential role in this research is played by model-theoretic connected components of definable groups and rings. In particular, these components are used to compute the above Bohr compactifications. Regarding connected components, roughly speaking, one of our main results says that the type-definable connected component of the additive subgroup of a definable (saturated) unital ring generates an ideal in finitely many steps (and so this generated ideal is exactly the ring type-definable connected component).
AdresseSophie Germain