In the book "Local cohomology : An algebraic introduction with geometric application", page 289 there is a proof of the following theorem : 



> 
> Assume that $R=\bigoplus\_{n}R\_{n}$ is positive graded and homogeneous, and let $M=\bigoplus\_{n}M\_{n}$ be a non-zero finitely generated graded $R$-module. Then $M$ can be generated by homogeneous elements of degrees not exceeding $\text{reg}M$.
> 
> 
> 


Here is a part of the proof that I concern : 



> 
> Let $N$ be the graded submodule of $M$ generated by $\bigoplus\_{\le\text{reg}M}M\_{n}$. It is suffices to show that $M\_{\mathfrak{p}\_{0}}=N\_{\mathfrak{p}\_{0}}$ for each $\mathfrak{p}\_0$ in SpecR.....(argument).....( $M\_{\mathfrak{p}\_{0}}=N\_{\mathfrak{p}\_{0}}$ is proven). Then it is therefore enough to establish the claim in the statement of the theorem under the additional assumption that $R\_0$ is local.
> 
> 
> 


My question is : 


1- We can't conclude that $M=N$ if we have $M\_{\mathfrak{p}\_{0}}$=$N\_{\mathfrak{p}\_{0}}$ ?


2- Why can we only consider only the case that $R\_0$ is local? What is the idea behind that localization technique ?



Question on localization technique
First, if $h:A\rightarrow B$ is a morphism of rings, $M$ is a $B$-module, and $N\subseteq M$ is a sub-$B$-module, then it holds $M=N$ if and only if the underlying sets of $M$ and $N$ are equal, hence if and only if the $A$-modules obtained from $M$ and $N$ by scalar restriction along of $h$ are equal.


Second, if $A$ is a ring, $M$ is an $A$-module, and $N\subseteq M$ is a sub-$A$-module, then it holds $N=M$ if and only if $N\_{\mathfrak{p}}=M\_{\mathfrak{p}}$ for every prime ideal $\mathfrak{p}$ of $A$ (cf. [Bourbaki, Algèbre commutative, II.3.3 Théorème 1]).


Third, putting the above together answers what seems to be your first question.


Finally, it is not completely clear to me, what you want as an answer to your second question. Let me just point out that in the last paragraph of the proof one applies Lemma 15.1.4 (ii) and thus needs the base ring to be local with infinite residue field, and one moreover uses the facts that $R$ is \*local and thus needs the base ring to be local.


