Suppose that S is a finite
dimensional cancellative commutative clan with E = {0,1} and that H is the group
of units of S. We show that if square roots exist in S∕H, not necessarily
uniquely, then there is a closed positive cone T in En for some n and a
homomorphism f : (T ∪∞) × H → S which is onto and one-to-one on some
neighborhood of the identity. T ∪∞ denotes the one point compactification of
T.