Let $Log(n) = \sum_{i=1}^r \alpha_i \cdot e_i$, where $n = \prod_{i=1}^r p_i^{\alpha_i}$ and $p_i$ is the $i$-th prime, $\alpha_i \ge 0$, $e_i$ is the $i$-th standard basis vector. For example $6 = 2\cdot3$, hence: $$Log(6) = (1,1,0,0,0,\cdots)$$ $$Log(15) = (0,1,1,0,0,\cdots)$$ $$Log(7) = (0,0,0,1,0,\cdots)$$ Consider the $\mathbb{Q}$-vector space generated by the vectors: $$Log(1),Log(2),\cdots,Log(n)$$ It is not difficult to see that the dimension of this vector space is $\Pi(n)$, where $\Pi$ is the prime counting function.

I am interested if one can get some result of number theoretic interest by looking at these vectors. Is there some reference for literature which pursues this line of thought? For example, let $1 < a_1,a_2,\cdots,a_k \le n$ be a basis for $1,\cdots,n$ (where I mean that $Log(a_1),Log(a_2),\cdots,Log(a_k)$ is a basis for the above vector space), $n\ge 2 , k = \Pi(n)$, then it seems like (I have no proof for this just some intuition), that $$ a_1 \cdot a_2 \cdots a_k \equiv 0 \mod p_1\cdots p_k$$ where $p_i$ denotes the $i$-th prime number. Furthermore I conjecture, that if $2 \le m \le n$ and $1 < a_1,\cdots,a_k \le m $ is a basis for $1,\cdots,m$ and $\Pi(m)=k,\Pi(n)=l$ then there seems to exist a basis $1<b_1,\cdots,b_l\le n$ of $1\cdots,n$ such that: $$\frac{a_1\cdots a_k}{p_1 \cdots p_k} = \frac{b_1 \cdots b_l}{p_1 \cdots p_l}$$

Examples: $m=5,n=7$ then: $$\frac{3\cdot 4 \cdot 5}{2 \cdot 3 \cdot 5} = \frac{3 \cdot 4 \cdot 5 \cdot 7}{2 \cdot 3 \cdot 5 \cdot 7}$$

So my questions are:

a) Is this line of thought already pursued? If so what is the reference? ( Namely using results of linear algebra or geomtric number theory to prove number theoretic results.) b) Are the above conjectures true, if so how to prove them?

Thanks for your help.