Question on Criterion for Flat Modules I'm reading Categories and Modules with K-Theory in View by A. J. Berrick, M. E. Keating, on Flat Modules and there's one part that I'm not quite sure that I fully grasp it.
It's on page 155.

3.2.9. The Flat Test
A left R-module N is flat if only if $-\otimes_R N$ respects injectivity of all inclusions $\mu:\mathfrak{a} \rightarrow R$ of finitely generated right ideals in R. The corresponding statement holds with left and right interchanged.



Proof (I'll shorten the proof to where I don't get it)
Necessity of the condition is immediate.
Sufficiency:

*

*First, he claims that $-\otimes_R N$ respects injectivity of all inclusions $\mu:\mathfrak{a} \rightarrow R$ (where $\mathfrak{a}$ needs not be finitely generated).


*Then, he proves $-\otimes_R N$ respects injectivity of all inclusions $\mu:M \rightarrow R^n$.


*Then, he shows that $-\otimes_R N$ respects injectivity of all inclusions $\mu:M \rightarrow F$, where $F$ is a free module. This is where I don't get it.
Again, it's enough to check the case where M is finitely generated. But then, when $(\mu \otimes \mbox{id})x = 0$ in $F \otimes_R M$, [[[there's a finitely generated free sub-module G of the codomain F, such that $(\mu \otimes \mbox{id})x = 0$ in $G \otimes_R M$ already, since any member of the relation group $B(F;M)$ (3.1.2) can involve only finitely many generators of F. By the previous step, $x = 0$]]].

What I don't get is the [[[...]]] part. I think it should be pretty staright forward, so if you can point me to a theorem, or a lemma, that should be enough.
Thanks everyone a lot,
And have a great day, :*
 A: This argument is essentially identical to the argument for why it suffices to check finitely generated $M$:
Remember that $F \otimes_R M$ can be given as the quotient of a free $\mathbb Z$-module, with basis the set $F \times M$, by the ideal $B(F;M)$ generated by all the bilinear relations.
$$F \otimes_R M = \mathbb Z[F \times M]/B(F;M)$$
If an element $a$ is zero in $F \otimes_R M$ that means it's contained in $B(F;M)$.  That means there's some linear combination of finitely many bilinear relations that comes out equal to $a$.  Each of the bilinear relations involves finitely many basis elements from $F \times M$.  Each of those finitely many basis elements is of the form $(f, m) \in F \times M$ where $f$ is a sum of finitely many basis elements in $F$.  Taking all of those basis elements of $F$ needed to generate all of the relations needed to generate $a$, we still have taken only finitely many.
If you let $G$ be the free submodule generated by these finitely many basis elements then in
$$G \otimes_R M = \mathbb Z[G \times M]/B(G;M)$$
we have $a = 0$ because we have ensured that the linear combination that gives $a$ as an element in $B(F;M)$ is valid as a linear combination that gives an element in $B(G;M)$.
