Every group retraction can be realized as a topological retraction

TL;DR

This paper constructs finite topological spaces of height 1 that realize any group retraction as automorphism groups, showing minimal height requirements for such realizations except for symmetric groups.

Contribution

It provides a method to realize any group retraction as a topological retraction on a finite space, establishing height 1 as the minimal height for such realizations.

Findings

Height 1 is minimal for realizing any finite group as automorphism group.

Symmetric groups are uniquely realizable at height 0.

Constructs explicit finite topological spaces corresponding to group retractions.

Abstract

Given a group retraction $r: G \rightarrow H $, we construct a finite topological space $ X_r $ of height 1, together with a topological retraction $\overline{r}: X_r \rightarrow X_r $, such that the group of automorphisms $ \mathrm{Aut}(X_r) $ (or the group of self-homotopy equivalences $ \mathcal{E}(X_r) $) of $X_r$ is isomorphic to $ G $, and $ \mathrm{Aut}(\overline{r}(X_r)) $ (or $\mathcal{E}(\overline{r}(X_r)) $) is isomorphic to $ H$. Moreover, there is a natural map $\overline{r}' : \mathrm{Aut}(X_r) \rightarrow \mathrm{Aut}(\overline{r}(X_r)) $ that coincides with the original group retraction $ r $. As a direct consequence of this construction, we show that height 1 is the minimal height required to realize any finite group as the group of automorphisms (or the group of self-homotopy equivalences) of a finite topological space, except in the case where $ G $ is a symmetric group. In that unique case, the group can be realized by a finite topological space of height 0.