We show spherical completeness of the ring of Colombeau generalized real numbers endowed with the sharp norm. As an application, we establish a Hahn-Banach extension theorem for ultra-pseudo-normed modules of generalized functions in the sense of Colombeau.

In this paper we study the class of laterally complete commutative unital regular algebras A over arbitrary fields. We introduce a notion passport Γ(X) for faithful Amodules X, which consist uniquely defined partition unity in Boolean algebra all idempotents and set pairwise different cardinal numbers. prove that A-modules X Y are isomorphic if only = Γ(Y). Further Banach case C∞(Q) or C∞(Q)+i ...