Homomorphic Images of Free Modules .... Bland, Proposition 2.2.6 .... ....

[Math Amateur]

I am reading Paul E. Bland's book: Rings and Their Modules and am currently focused on Section 2.2 Free Modules ... ...

I need help with some aspects of the proof of Proposition 2.2.6 ...

Proposition 2.2.6 and its proof read as follows:
View attachment 8221
View attachment 8222
Near the end of Bland's proof we read the following:

" ... ... If \(\displaystyle x \in M\), then \(\displaystyle x\) can be written as \(\displaystyle x = \sum_{ \Delta } x_\alpha a_\alpha\), where \(\displaystyle a_\alpha = 0\) for almost all \(\displaystyle \alpha \in \Delta\). It follows that \(\displaystyle ( a_\alpha ) \in R_{ ( \Delta ) }\), so \(\displaystyle f (( a_\alpha )) = \sum_{ \Delta } x_\alpha a_\alpha\) and \(\displaystyle f\) is an epimorphism. ... ... "My questions are as follows:Question 1

Why/how exactly does it follow from \(\displaystyle x \in M\) and \(\displaystyle x = \sum_{ \Delta } x_\alpha a_\alpha\) that \(\displaystyle ( a_\alpha ) \in R_{ ( \Delta ) }\) ... ?

Question 2

In the above quote Bland writes \(\displaystyle f (( a_\alpha )) = \sum_{ \Delta } x_\alpha a_\alpha\) ... but what is going on ... ? At the start of the proof he defined \(\displaystyle f\) this way ... but if he is not relying on this definition how does he calculate/formulate \(\displaystyle f\) ...Question 3

Why/how exactly is \(\displaystyle f\) an epimorphism ...Help will be appreciated ...

Peter

 

[steenis]

Read the proof this way:

$M$ is generated by $\{x_\alpha\}_\Delta$ (every module has a set of generators).

Define $f:R^{(\Delta)} = \bigoplus_\Delta R_\alpha \longrightarrow M$ (where $R_\alpha = R$) by

$f((a_\alpha)_\Delta) = \Sigma_\Delta x_\alpha a_\alpha $ for $(a_\alpha)_\Delta \in R^{(\Delta)}$ ($a_\alpha = 0$ for allmost all $\alpha \in \Delta$).

$f$ is $R$-linear (follow the proof in the book)

Now prove that $f$ is an epimorpism:

Take $x \in M$ then $x = \Sigma_\Delta x_\alpha, r_\alpha$ where $r_\alpha \in R$ (and $r_\alpha = 0$ for allmost all $\alpha \in \Delta$).

Obviously $(r_\alpha)_\Delta \in R^{(\Delta)} = \bigoplus_\Delta R_\alpha$ and it follows that

$f((r_\alpha)_\Delta) = \Sigma_\Delta x_\alpha r_\alpha = x$.

Therefore $f$ is an epimorpism.

That answers Q2 and Q3, you can anser Q1 yourself.