Let $X^{n}$ be an oriented closed generalized $n$-manifold, $n\ge 5$. In our recent paper (Proc. Edinb. Math. Soc. (2) 63 (2020), no. 2, 597–607), we have constructed a map $t:\mathcal {N}(X^{n}) \to H^{st}_{n} ( X^{n}; \mathbb{L}^{+})$ which extends the normal invariant map for the case when $X^{n}$ is a topological $n$-manifold. Here, $\mathcal {N}(X^{n})$ denotes the set of all normal bordism classes of degree one normal maps $(f,\,b): M^{n} \to X^{n},$ and $H^{st}_{*} ( X^{n}; \mathbb{E})$ denotes the Steenrod homology of the spectrum $\mathbb{E}$. An important non-trivial question arose whether the map $t$ is bijective (note that this holds in the case when $X^{n}$ is a topological $n$-manifold). It is the purpose of this paper to prove that the answer to this question is affirmative.

The aim of this paper is to show the importance of the Steenrod construction of homology theories for the disassembly process in surgery on a generalized n-manifold Xn, in order to produce an element of generalized homology theory, which is basic for calculations. In particular, we show how to construct an element of the nth Steenrod homology group $H^{st}_{n} (X^{n}, \mathbb {L}^+)$, where 𝕃+ is the connected covering spectrum of the periodic surgery spectrum 𝕃, avoiding the use of the geometric splitting procedure, the use of which is standard in surgery on topological manifolds.

We continue the investigation of the algebraic and topological structure of the algebra of Colombeau generalized functions with the aim of building up the algebraic basis for the theory of these functions. This was started in a previous work of Aragona and Juriaans, where the algebraic and topological structure of the Colombeau generalized numbers were studied. Here, among other important things, we determine completely the minimal primes of and introduce several invariants of the ideals of (Ω). The main tools we use are the algebraic results obtained by Aragona and Juriaans and the theory of differential calculus on generalized manifolds developed by Aragona and co-workers. The main achievement of the differential calculus is that all classical objects, such as distributions, become C∞-functions. Our purpose is to build an independent and intrinsic theory for Colombeau generalized functions and place them in a wider context.