This paper presents an approach to injectivity theorems via the Mountain Pass Lemma and raises an open question. The main result of this paper (Theorem~1.1) is proved by means of the Mountain Pass Lemma and states that if the eigenvalues of $F' (\x)F' (\x)^{T}$ are uniformly bounded away from zero for $\x \in \hbox{\Bbbvii R}^{n}$, where $F \colon \hbox{\Bbbvii R}^n \rightarrow \hbox{\Bbbvii R}^n$ is a class $\cC^{1}$ map, then $F$ is injective. This was discovered in a joint attempt by the authors to prove a stronger result conjectured by the first author: Namely, that a sufficient condition for injectivity of class $\cC^{1}$ maps $F$ of $\hbox{\Bbbvii R}^n$ into itself is that all the eigenvalues of $F'(\x)$ are bounded away from zero on $\hbox{\Bbbvii R}^n$. This is stated as Conjecture~2.1. If true, it would imply (via {\it Reduction-of-Degree}) {\it injectivity of polynomial maps} $F \colon \hbox{\Bbbvii R}^n \rightarrow \hbox{\Bbbvii R}^n$ {\it satisfying the hypothesis}, $\det F'(\x) \equiv 1$, of the celebrated Jacobian Conjecture (JC) of Ott-Heinrich Keller. The paper ends with several examples to illustrate a variety of cases and known counterexamples to some natural questions.

Dimension subgroups and Lie dimension subgroups are known to satisfy a `universal coefficient decomposition', {\it i.e.} their value with respect to an arbitrary coefficient ring can be described in terms of their values with respect to the `universal' coefficient rings given by the cyclic groups of infinite and prime power order. Here this fact is generalized to much more general types of induced subgroups, notably covering Fox subgroups and relative dimension subgroups with respect to group algebra filtrations induced by arbitrary $N$-series, as well as certain common generalisations of these which occur in the study of the former. This result relies on an extension of the principal universal coefficient decomposition theorem on polynomial ideals (due to Passi, Parmenter and Seghal), to all additive subgroups of group rings. This is possible by using homological instead of ring theoretical methods.