We prove that the set of homotopy classes of the paths in a topological ring is a topological ringobject (called topological ring-groupoid). Let p : X􀀄 → X be a covering map and let X be a topological ring.We define a ...