1: \begin{definition} 

2: \label{defZtoQ}

3: Given $m,d \in \NN$, and a finite sequence $r,r_1,\ldots,r_m$ of natural numbers each bounded by $d$, we define the sets

4: %

5: \begin{align*}

6: E_{d;r,r_1,\ldots,r_m} &\ceq \dset{(\phi_1,\ldots,\phi_m) \in (\Mat{d}{\ZZ})^m : (\exists H \subim \ZZ^d)\; \Rank{H} = r \text{ and } \Rank {\phi_j(H)} = r_j, 1 \le j \le m }, \\

7: E_{d;r,r_1,\ldots,r_m}^\QQ &\ceq \dset{(\phi_1,\ldots,\phi_m) \in (\Mat{d}{\QQ})^m : (\exists V \subim \QQ^d)\; \Dim{V} = r \text{ and } \Dim{\phi_j(V)} = r_j, 1 \le j \le m }.

8: \end{align*}

9: %

10: %\begin{eqnarray*}

11: %E_{d;r,r_1,\ldots,r_m} &:=& \{

12: %\end{eqnarray*}

13: %%

14: %Working instead with rational vector spaces we define

15: %\begin{eqnarray*}

16: %E_{d;r,r_1,\ldots,r_m}^\QQ &:=& \{ (\phi_1,\ldots,\phi_m) \in (\Mat{d}{\QQ})^m ~:~ (\exists V < \QQ^d \text{ a vector subspace}) 

17: % \dim(V) = r \text{ and } \\ 

18: %&& \dim (\phi_j(V)) = r_j \text{ for } 1 \leq j \leq m \} \text{ .}

19: %\end{eqnarray*}

20: %%

21: %We will also consider real vector spaces (Theorem~\ref{thm:decidableoverR}):

22: %\begin{eqnarray*}

23: %E_{d;r,r_1,\ldots,r_m}^\RR &:=& \{ (\phi_1,\ldots,\phi_m) \in (\Mat{d}{\RR})^m ~:~ (\exists V < \RR^d \text{ a vector subspace}) 

24: % \dim_\RR(V) = r \text{ and } \\ 

25: %&& \dim_\RR (\phi_j(V)) = r_j \text{ for } 1 \leq j \leq m \} \text{ .}

26: %\end{eqnarray*}

27: %

28: \end{definition}

29: