Home /  DDC - Definability seminar: Composita of symmetric extensions of Q

Seminar

DDC - Definability seminar: Composita of symmetric extensions of Q November 18, 2020 (10:00 AM PST - 11:00 AM PST)
Parent Program:
Location: SLMath: Online/Virtual
Speaker(s) Aharon Razon (Elta systems Ltd.)
Description

To participate in this seminar, please register here: https://www.msri.org/seminars/25206

Keywords and Mathematics Subject Classification (MSC)
Primary Mathematics Subject Classification No Primary AMS MSC
Secondary Mathematics Subject Classification No Secondary AMS MSC
Video

Composita Of Symmetric Extensions Of Q

Abstract/Media

To participate in this seminar, please register here: https://www.msri.org/seminars/25206

Let Qsymm be the compositum of all finite Galois extensions of Q with Galois group a symmetric group. Then the theory of Qsymm in the first order language of rings is primitive recursively decidable. Moreover, the set of finite groups that can be realized as Galois groups over Q in Qsymm as well as the set of finite groups that occur as Galois groups over Qsymm are primitive recursive subsets of the set of all finite groups.

Asset no preview Notes 2.38 MB application/pdf

Composita Of Symmetric Extensions Of Q

H.264 Video 25235_28785_8639_Composita_of_Symmetric_Extensions_of_Q.mp4