Metrization theorem for uniform loops with the invertibility property (Q2359589)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Metrization theorem for uniform loops with the invertibility property |
scientific article |
Statements
Metrization theorem for uniform loops with the invertibility property (English)
0 references
22 June 2017
0 references
The invertibility property for a loop says that every element \(x\) has a two-sided inverse \(x^{-1}\) with \((xy)^{-1} = y^{-1} x^{-1}\). The authors prove that a uniform loop with the invertibility property admits a left-invariant pseudometric if and only if the uniformity has a left-invariant countable base.
0 references
loop
0 references
invertibility property
0 references
uniformity
0 references
pseudometric
0 references
metric
0 references
