Update 2024-06-23-Alan-Reid.md

Author: lenis2000

_posts/IMS/VML/2024-06-23-Alan-Reid.md

@@ -24,14 +24,14 @@ nav_parent: IMS
 
 <!--more-->
 
-<h4>Lecture 1: Exploring infinite groups by finite quotients</h4>
+<h2>Lecture 1: Exploring infinite groups by finite quotients</h2>
 
 **Abstract:** There are many situations in geometry and group theory where it is natural, convenient or necessary to explore infinite groups via their actions on finite objects — ie via their finite quotients. A natural question is therefore where do we find finite quotients, and how can we use them to distinguish infinite groups. Lecture 1 will provide an elementary discussion of these topics.
 
-<h4>Lecture 2: What is profinite rigidity?</h4>
+<h2>Lecture 2: What is profinite rigidity?</h2>
 
 **Abstract:** The set of finite quotients of a finitely generated group is neatly captured by its profinite completion. A finitely generated (residually finite) group G is called profinitely rigid if whenever another finitely generated (residually finite) group H has isomorphic profinite completion, then H is isomorphic to G. This talk will discuss some history and some recent progress on groups that are (are not) profinitely rigid. In particular I will discuss results connected to the study of 3-manifold groups.
 
-<h4>Lecture 3: Grothendieck's Problem and detecting finitely generated versus finitely presented</h4>
+<h2>Lecture 3: Grothendieck's Problem and detecting finitely generated versus finitely presented</h2>
 
 **Abstract:** A particular construction of groups that fail to be profinitely rigid, arise from Grothendieck Pairs (G,H) where H is a subgroup of G and the inclusion map is not an isomorphism, but it does induce an isomorphism of profinite completions (and related to a famous problem of Grothendieck as in the title we will discuss). We will go onto show how this framework arises naturally in constructing finitely presented groups that are pro finitely rigid amongst finitely presented groups, but not finitely generated ones.