A monodromy principle for universal coverings of topological rings (Q5931820)

Definitions: A covering mapping \(p\colon\widetilde X\to X\) of connected topological spaces is called a universal covering if for every covering mapping \(q\colon\widetilde Y\to X\) there exists a covering mapping \(r\colon\widetilde X\to\widetilde Y\) such that \(p=qr\). An open path connected set \(V\subseteq X\) is called liftable iff for every covering mapping \(p\colon\widetilde X\to X\) there exists a unique continuous mapping \(\widehat i\colon V\to\widetilde X\) such that \(p\widehat i(v)=v\) for every \(v\in V\). Theorem. Let \(R\) be a topological ring and \(W\) be a path connected neighbourhood of zero in \(R\) such that \(W\) generates \(R\) as group. If \(F(W)\) is the free group generated by the set \(W\), \(N\) is its smallest normal subgroup containing all the elements \([u+v]-[u]-[v]\) such that \(v,w,(u+w)\in W\), \(M(W)\) is the quotient group \(F(W)/N\), \(p\colon M(W)\to R\) is the natural group homomorphism, then \(M(W)\) admits a structure of a topological ring such that the mapping \(p\) is a ring homomorphism and a covering mapping. Main theorem: If \(R\) is a path connected topological ring such that there exist a simply connected covering of \(R\), a liftable neighbourhood of zero \(V\), an open path connected neighbourhood of zero \(W\) such that \(W+W\subseteq V\) and \(W^2\subseteq V\), then the mapping \(p\colon M(W)\to R\) introduced in the previous theorem is a universal covering mapping.