On the Surjectivity of Certain Maps III: The Unital Set Condition

In this article, for generalized projective spaces with any weights, we prove four main theorems in three different contexts where the Unital Set Condition USC (Definition $2.8$) on ideals is further examined. In the first context we prove, in the first main Theorem $A$, the surjectivity of the Chinese remainder reduction map associated to the generalized projective space of an ideal $\mathcal{I}={\mathcal{I}}_k$ with a given factorization into mutually co-maximal ideals ${\mathcal{I}}_j,1\le j\le k$ where $\mathcal{I}$ satisfies the USC, using the key concept of choice multiplier hypothesis (Definition $4.10$) which is satisfied. In the second context, for a positive $k$, we prove in the second main Theorem $\mathrm{\Lambda }$, the surjectivity of the reduction map $SP_{2k}($\mathcal{R}$)\rightarrow SP_{2k}(\frac{$\mathcal{R}$}{$\mathcal{I}$})$ of strong approximation type for a ring $\mathcal{R}$ quotiented by an ideal $\mathcal{I}$ which satisfies the USC. In the third context, for a positive integer $k$, we prove in the thrid main Theorem $\mathrm{\Omega }$, the surjectivity of the map from special linear group of degree $(k+1)$ to the product of generalized projective spaces of $(k+1)$-mutually co-maximal ideals ${\mathcal{I}}_j,0\le j\le k$ associating the $(k+1)$-rows or $(k+1)$-columns, where the ideal $\mathcal{I}={\mathcal{I}}_j$ satisfies the USC. In the fourth main Theorem $\mathrm{\Sigma }$, for a positive integer $k$, we prove the surjectivity of the map from the symplectic group of degree $2k$ to the product of generalized projective spaces of $(2k)$-mutually co-maximal ideals ${\mathcal{I}}_j,1\le j\le 2k$ associating the $(2k)$-rows or $(2k)$-columns where the ideal $\mathcal{I}={\mathcal{I}}_j$ satisfies the USC. The answers to Questions [1.1,1.2,1.3] in a greater generality are not known.