Notation questions about $A^{r-1}\to A^r, A^n\to M:(1,0,\ldots,0)\to x_1,\ldots,(0,\ldots,0,1)\to x_n$ in Proposition 1.55 concerning free module

115 Views Asked by At

The following is taken from: $\textit{Partial Differential Control Theory Vol 1: Mathematical tools}$ by J F. Pommaret

$\color{Green}{Background:}$

$\textbf{Definition 1.50.}$ $M$ is call a $\textit{free module}$ if it has a $\textit{basis},$ that is a system of generators linearly independent over $A.$ When $M$ is free, the number of generators in a basis is called the $\textit{rank}$ of $M$ and does not depend on the basis if it is finite. Indeed, if $\{x_i\}$ and $\{y_j\}$ are two bases and $y_j=\sum {a^i}_jx_i,$ then $\text{det}({a^i}_j)$ must be invertible in $A.$ If $M$ is free of rank $n,$ then $M\cong A^n.$

$\textbf{Lemma 1.54.}$ In a short exact sequence of modules:

$$0\to M'\xrightarrow{f}M\xrightarrow{g}M''\to 0$$

the module $M$ is noetherian if and only if the momdules $M'$ and $M''$ are noetherian.

$\textbf{Proposition 1.55.}$ If $A$ is a noetherian ring and $M$ is a finitely generated $A-$module, then $M$ is a noetherian module.

$\textit{Proof.}$ Applying the preceding lemma (Lemma 1.54) to the short exact sequence $0\to A^{r-1}\to A^r\to A\to 0$ where the right epimorphism is the projection onto one factor, we deduce by induction that $A''$ is a noetherian module. Now, if $M$ is generated by $\{x_1,\ldots,x_n\}$ then there is an epimorphism $A^n\to M:(1,0,\ldots,0)\to x_1,\ldots,(0,\ldots,0,1)\to x_n.$ According to the preceding lemma, $M$ is a noetherian module too.

$\color{Red}{Questions:}$

I have questions about the short exact sequences $0\to A^{r-1}\to A^r\to A\to 0$ and $A^n\to M:(1,0,\ldots,0)\to x_1,\ldots,(0,\ldots,0,1)\to x_n.$ in the proof of proposition 1.55 quoted above.

First I understand that the notation $A^n$ means that the vector space/module has $n$ number of basis elements. In $A^n\to M:(1,0,\ldots,0)\to x_1,\ldots,(0,\ldots,0,1)\to x_n,$ $(1,0,\ldots,0)$ should be an $n-$tuple element, but then what does the notation $x_1,\ldots,(0,\ldots,0,1)\to x_n$ mean? Does it mean something like:

$(1,0,\ldots,0)\to\begin{pmatrix}x_1 \\\ x_2 \\\ \vdots \\\ (0,\ldots,0,1) \end{pmatrix}\to x_n?$ So $(1,0,\ldots,0)$ becomes $(0,\ldots,0,1)$ and $(0,\ldots,0,1)$ is in the $n-$th place in $\begin{pmatrix}x_1 \\\ x_2 \\\ \vdots \\\ (0,\ldots,0,1) \end{pmatrix}$

Second in the short exact sequence $0\to A^{r-1}\to A^r\to A\to 0,$ the map $A^{r-1}\to A^r$ would have module consisting of $r-1$ basis elements being send to another module with $r$ basis elements? If it is so, then how does this work being an epimorphism $A^n\to M?$ I mean in $(1,0,\ldots,0)\to x_1,\ldots,(0,\ldots,0,1)$, $(1,0,\ldots,0)$ would have $r-1$ components, while $x_1,\ldots,(0,\ldots,0,1)$ would have $r$ components. Also, I am not sure when it is referring to the right epimorphism, I am not sure if $A^{r-1}\to A^r$ is the one being referred to.

Thank you in advance