1: \begin{abstract}

2: In this paper we prove the theorem that there exists no

3: $7$--dimensional Lie group manifold $\mathcal{G}$  of weak

4: $\mathrm{G_2}$ holonomy.

5:  We actually prove a stronger statement, namely that there exists

6:  no $7$--dimensional Lie group with negative definite Ricci tensor ${\bf Ric}_{IJ}$.

7:  This result rules out (supersymmetric and non--supersymmetric)

8:  Freund--Rubin solutions of $M$--theory  of the form $\mathrm{AdS_4}\times

9:  \mathcal{G}$ and compactifications with non--trivial 4--form fluxes of Englert type on an internal group manifold

10:  $\mathcal{G}$.

11: A particular class of such backgrounds which, by our arguments are excluded as bulk supergravity compactifications

12: corresponds to the so called compactifications on twisted--tori, for which $\mathcal{G}$ has structure constants

13:  $\tau^K{}_{IJ}$ with vanishing trace $\tau^J{}_{IJ}=0$.

14: On the other hand our result does not have bearing on warped

15: compactifications of $M$--theory to four dimensions and/or to

16: compactifications in the presence of localized sources (D--branes,

17: orientifold planes and so forth). Henceforth our result singles

18: out the latter compactifications as the preferred hunting grounds

19: that need to be more systematically explored in relation with all

20: compactification features involving twisted tori.

21: \end{abstract}

22: