for any neighborhoods , , of the neutral element , the set is a neighborhood of e in G;
each group is (locally) homeomorphic to a Hilbert space;
for every the quotient map is a locally trivial bundle;
for infinitely many numbers each Z-point in the quotient space is a strong Z-point.