I don't think the question has a yes or no answer, since the formulation is too loose to make sense. In particular, the second paragraph isn't close enough to Borel's formulation. The ideas here are elementary but tricky to write down correctly in terms of indices. (For example, it's unclear what the index $M$ in the question depends on.)

This argument goes back to the 1956-58 Chevalley seminar, which started with a rough formulation of algebraic geometry over an algebraically closed field (later adapted to the scheme setting in SGA3, etc.). Essentially the problem is to show that an *affine* algebraic group is isomorphic to a closed subgroup of some matrix group over the field. (Borel and others also treat fields of definition.) All you are given here is a *finitely generated* algebra of functions on the given group $G$, from which you have to extract a highly non-unique finite dimensional subspace leading to a faithful representation of the group.

The original arguments can be seen online in the early expose 4 (section 4.1),
which was presented by Grothendieck here. Note that Cartier edited a typeset and mildly corrected version of the text, published in 2005 by Springer.

In his Columbia lectures *Linear Algebraic Groups*, written up by Bass and published in 1969 by W.A. Benjamin, Borel treated this topic in Proposition 1.10 (as mentioned in the question). This follows a somewhat *ad hoc* updating of the foundations used by Chevalley. Here Borel formalizes the arguments a bit differently, making more explicit the Hopf algebra comultiplication in the algebra of functions on $G$. In the argument, both left and right translation of functions under $G$ come into play, which makes the notation somewhat heavy. (All this material got included, with chapters added, in the Springer GTM second edition published in 1991.)

My book, also called *Linear Algebraic Groups*, was published as a Springer GTM in 1975, and here I covered the linearization theorem in Theorem 8.6. My arguments are close to Borel's but the notation differs somewhat. Later Tonny Springer published his own book with Birkhauser in 1981, followed by a second edition in 1998. His Theorem 2.3.7 covers similar ground.

Though these treatments differ in style and sometimes in notation, the basic ideas are the same: find a finite generating set of functions for the function algebra which serve as matrix coefficient functions for a suitable faithful representation of $G$. In spite of the non-uniqueness of choice, such matrix coefficients can be shown to exist spanning a finite dimensional subspace of the functions which is suitably invariant under the group action. What complicates matters notationally is the need to work with two variables at times, which the comultiplication formalizes in a natural way. This use of tensor products is suppressed in the formulation of the question here.