Kolloquium Wilhelm Killing: Prof. Dr. Dan Segal (University of Oxford): Axiomatizability and profinite groups

Donnerstag, 06.06.2019 16:30 im Raum M5
Mathematik und Informatik

A mathematical structure is `axiomatizable' if it is compeletely determined by some family of sentences in a suitable first-order language. This idea has been explored for various kinds of structure, but I will concentrate on groups (the only structures that I know much about!) There are some general results (not many) about which groups are or are not axiomatizable; recently there has been some interest in the sharper concept of 'finitely axiomatizable' or FA - that is, when only a finite set of sentences (equivalently, a single sentence) is allowed. While an infinite group cannot be FA, every finite group is so, obviously. A profinite group is kind of in between: it is infinite (indeed, uncountable), but compact as a topological group; and these groups share many properties of finite groups, though sometimes for rather subtle reasons. I will discuss some recent work with Andre Nies where we prove that certain kinds of profinite group are FA among profinite groups. The methods involve a little model theory, and quite a lot of group theory.

Angelegt am Donnerstag, 21.03.2019 14:33 von shupp_01
Geändert am Montag, 27.05.2019 13:33 von cgiet_01
[Edit | Vorlage]

Mathematics Münster
Kolloquium Wilhelm Killing