A monodromy principle for universal coverings of topological rings (Q5931820)
From MaRDI portal
scientific article; zbMATH DE number 1594132
Language | Label | Description | Also known as |
---|---|---|---|
English | A monodromy principle for universal coverings of topological rings |
scientific article; zbMATH DE number 1594132 |
Statements
A monodromy principle for universal coverings of topological rings (English)
0 references
20 August 2001
0 references
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.
0 references
topological rings
0 references
local morphisms of topological rings
0 references
universal coverings
0 references
path connected sets
0 references
simply connected sets
0 references