Modules Generated by Sets of Submodules .... .... Bland Problem 2, Problem Set 4.1 .... ....

[steenis]

So do that, apply prop.2.1.5 to our situation

 

[Math Amateur]

So do that, apply prop.2.1.5 to our situation

I suspect that will require some forward looking and creative definitions ... but I'll try ..

I am still very unsure how using \(\displaystyle \text{ Hom } ( M, N )\) as an index affect things or enters the proof in any significant way ...

Must go to sleep now ... it is after midnight ...

Will continue in the morning ...

Peter*** EDIT ***

Do you feel able to give any further hints on \(\displaystyle N/ \text{ I am } \phi \)

 

[steenis]

Suppose $\phi$ is not surjective, what can you say about $\text{ I am } \phi$ and $N/\text{ I am }\phi$ ?

 

[Math Amateur]

Suppose $\phi$ is not surjective, what can you say about $\text{ I am } \phi$ and $N/\text{ I am }\phi$ ?

If \phi is not surjective then \(\displaystyle \text{ I am } \phi \ne N\) and indeed \(\displaystyle \text{ I am } \phi \subset N\) ...

But $N/\text{ I am }\phi$ ... ... what can we say ...?

PeterEDIT ... are you thinking of Correspondence Theorem ..?

 

[steenis]

If $\text{ I am }\phi \neq N$ then $N/\text{ I am }\phi \neq 0$. What can you say about the canonical projection $v:N \to N/\text{ I am }\phi$ ?

 

[Math Amateur]

If $\text{ I am }\phi \neq N$ then $N/\text{ I am }\phi \neq 0$. What can you say about the canonical projection $v:N \to N/\text{ I am }\phi$ ?

You can say that \(\displaystyle v \ne 0\) ... that is v is not equal to the zero map ...

 

[steenis]

what next ?

 

[Math Amateur]

what next ?

Not sure what else follows ...

But it is nearly 2am ...

Can you give me a hint to continue with tomorrow morning ,,.

Falling asleep ...

Peter

 

[steenis]

Apply the hypothesis ...

 

[steenis]

In mathematics, an index set is a set whose members label (or index) members of another set. For instance, if the elements of a set $A$ may be indexed or labeled by means of a set $J$, then $J$ is an index set. The indexing consists of a surjective function from $J$ onto $A$ and the indexed collection is typically called an (indexed) family, often written as $(A_j)_{j\in J}$, or $\{x_j \in A\}_{j\in J}$. [See: Munkres – Topology (2000) p.36]
As far as I know, every set can be used as an index-set, as long as it is a set.

 

[Math Amateur]

Apply the hypothesis ...

In an attempt to apply the hypothesis in a way that takes account of the hints you have given ... in the hope that something emerges ... like a contradiction or a chance to apply a contrapositive ... Put \(\displaystyle f = v\) where \(\displaystyle v \ : \ N \to N / \text{ I am } \phi\) is such that \(\displaystyle v(x) = \overline{x} + \text{ I am } \phi\) ...Also put \(\displaystyle h = \phi_\alpha\) ...Then we have the situation in Figure 2 below ...https://www.physicsforums.com/attachments/8164

BUT ... the situation with the definitions I've made is perplexing ... if \(\displaystyle \phi\) is not an epimorphism ... then \(\displaystyle f = v \ne 0\) as required by the converse hypothesis ... and I suspect (but not completely sure... ) that \(\displaystyle f \circ h = v \circ \phi_\alpha\) is also not equal to zero ... but then the conditions of the converse hypothesis are fulfilled ... assuming that (contrary to the implications of the problem statement) \(\displaystyle \phi\) is NOT an epimorphism ... ? ... something wrong ... possibly \(\displaystyle f \circ h = v \circ \phi_\alpha\) is NOT non-zero ... Can you clarify ...

Are you able to hint or show me how to make a better set of definitions that still take account of your hints regarding \(\displaystyle \text{ I am } \phi\) and \(\displaystyle N / \text{ I am } \phi\) ...Peter
***EDIT***

Attempt to investigate whether \(\displaystyle f \circ h \ne 0\)We have ...

\(\displaystyle f \circ h ( x_\alpha ) = v \circ \phi_\alpha ( x_\alpha )\)\(\displaystyle = v \circ \phi \circ i_\alpha ( x_\alpha ) \)\(\displaystyle = v \circ \phi ( 0 ... ... x_\alpha ... ... 0 ) \) \(\displaystyle = v ( \sum_{ \text{ Hom } ( M, N ) } ( x_\beta )\) where \(\displaystyle x_\beta = 0\) when \(\displaystyle \beta \ne \alpha\) and \(\displaystyle x_\beta = x_\alpha\) when \(\displaystyle \beta = \alpha\)\(\displaystyle = v \circ \phi_\alpha ( x_\alpha )\) since \(\displaystyle \phi_\alpha (0) = 0\) \(\displaystyle = \overline{ \phi_\alpha ( x_\alpha ) } + \text{ I am } \phi \)
... ... hmmm ... don't seem to be getting anywhere ... is \(\displaystyle \overline{ \phi_\alpha ( x_\alpha ) } + \text{ I am } \phi \ne 0\) ... ?Peter

 

[steenis]

What is $\phi_\alpha$ ? As I told you in post #18, we cannot go further without knowing $\phi_\alpha$

In the posts #14, #18, #20, #23, #28, and #32, I insisted that you define $\phi_\alpha$. As long as you refuse to do so, I cannot help you, and I will stop here.
Furthermore, I told you several times what $\phi_\alpha$ is, clearly you refuse to accept that.
So come back if you are willing to define $\phi_\alpha$.

 

[Math Amateur]

What is $\phi_\alpha$ ? As I told you in post #18, we cannot go further without knowing $\phi_\alpha$

In the posts #14, #18, #20, #23, #28, and #32, I insisted that you define $\phi_\alpha$. As long as you refuse to do so, I cannot help you, and I will stop here.
Furthermore, I told you several times what $\phi_\alpha$ is, clearly you refuse to accept that.
So come back if you are willing to define $\phi_\alpha$.

Sorry steenis ... I see that you did in fact suggest a definition for \(\displaystyle \phi_\alpha\) ... my apologies for forgetting this ...

You suggested defining \(\displaystyle \phi_g = g\) where \(\displaystyle g \in \text{ Hom } ( M, N )\) ...

so that we can construct a unique R-map ...

\(\displaystyle \phi \ : \bigoplus_{ \text{ Hom } ( M, N ) } M_g \to N\) satisfying

\(\displaystyle \phi \circ i_g = \phi_g = g \)

where \(\displaystyle i_g \ : \ M_g \to \bigoplus_{ \text{ Hom } ( M, N ) } M_g\) are the canonical injections ...The constructed R-map $\phi$ is then defined on $\bigoplus_{\text{Hom }(M, N)} M_g$ in this way:

$\phi((x_g)_{\text{Hom }(M, N)}) = \Sigma_{\text{Hom }(M, N)} \text{ } g(x_g)$ for $((x_g)_{\text{Hom }(M, N)}) \in \bigoplus_{\text{Hom }(M, N)} M_g$

but ... (my apologies) ... I have an issue ... ... the family of mappings \(\displaystyle \{ \phi_g \ : \ M_g \to N \}\) are already R-linear maps or R-module homomorphisms (see Proposition 2,1.5 ) ... so how does putting \(\displaystyle \phi_g = s\) where \(\displaystyle g \in \text{ Hom } ( M, N )\) ... that is declaring \(\displaystyle \phi_g\) a member of \(\displaystyle \text{ Hom } ( M, N )\) ... that is saying that \(\displaystyle \phi_g\) is a homomorphism ... how does that advance our knowledge of the specific nature of the \(\displaystyle \phi_g\) ... they were already homomorphisms by Proposition 2,1,5 ...Can you clarify ...

Maybe I am missing something regarding the index set being \(\displaystyle \text{ Hom } ( M, N )\) ... ... Peter

 

[steenis]

Define the unknown $x$ to be the known $3$ then: $x = 3$

You define the unknown $\phi_f$ to be the known $f$ then : $\phi_f = f$, is perfectly allright

If you define $\phi_f = f$ for $f \in \text{Hom }(M, N)$ then your set $\{\phi_f = f | f \in \text{Hom }(M, N)\}$ becomes $\text{Hom }(M, N)$:

$\{\phi_f = f | f \in \text{Hom }(M, N)\} = \text{Hom }(M, N)$

Don't use s as an index-variable, we talking about R-maps so use f, g, h, or k or so.

 

[Math Amateur]

Define the unknown $x$ to be the known $3$ then: $x = 3$

You define the unknown $\phi_f$ to be the known $f$ then : $\phi_f = f$, is perfectly allright

If you define $\phi_f = f$ for $f \in \text{Hom }(M, N)$ then your set $\{\phi_f = f | f \in \text{Hom }(M, N)\}$ becomes $\text{Hom }(M, N)$:

$\{\phi_f = f | f \in \text{Hom }(M, N)\} = \text{Hom }(M, N)$

Don't use s as an index-variable, we talking about R-maps so use f, g, h, or k or so.

Changed s to g ... ... see post #48 ...

Do you have any comment about my choices for h, f and N' in post #46 ... given that now we would have \(\displaystyle h = \phi_g = g\) ... ...

Peter

 

[steenis]

Sorry I overlooked the g, I thought you were using s
No comment on h and f in #46

Like you said in post #49, we want to declare that unknown $\phi_g$ to be a member of $\text{Hom }(M, N)$, that is what we want to do, you said it yourself. In that case $\phi_g$ is defined.
To make the assignment easy, we define $\phi_g = g \in \text{Hom }(M, N)$

 

[Math Amateur]

Sorry I overlooked the g, I thought you were using s
No comment on h and f in #46

Like you said in post #49, we want to declare that unknown $\phi_g$ to be a member of $\text{Hom }(M, N)$, that is what we want to do, you said it yourself. In that case $\phi_g$ is defined.
To make the assignment easy, we define $\phi_g = g \in \text{Hom }(M, N)$

I was using s ... but changed it to g based on your remarks ..

 

[steenis]

Hi Peter,

Do you want to continue this exercise ? If you want we can start from the beginning to get you on track.

Do not give up.

 

[Math Amateur]

Hi Peter,

Do you want to continue this exercise ? If you want we can start from the beginning to get you on track.

Do not give up.

Hi steenis ... yes of course ...

... good idea ... I value your help and assistance ...

Peter

 

[steenis]

Good, you are not angry at me.
We will make a fresh atart.
Give me some time.
I,ll be back very soon.

 

[Math Amateur]

Good, you are not angry at me.
We will make a fresh atart.
Give me some time.
I,ll be back very soon.

OK ... great ...

Thanks steenis ...

Peter

 

[steenis]

Bland - Rings and Their Modules (2011)
Exercise 2 of Problem Set 4.1

$\Leftarrow)$ $M$ and $N$ are right $R$-modules.
For each nonzero R-linear mapping $f:N \to N’$ (for any $R$-module $N'$) there is an R-linear mapping $h:M \to N$ such that $fh \neq 0$. Prove that $M$ generates $N$.

According to definition 4.1.2. we have to find an epimorpism $\phi:M^{(\Delta)} \to N$ for some index-set $\Delta$.

$M^{(\Delta)} = \bigoplus_\Delta M_\alpha$, where $M_\alpha = M$, for all $\alpha \in \Delta$.

I suggested to take $\Delta = \text{Hom }(M,N)$ as our index-set. Why? Our hypothesis says that we can get an $R$-map $h:M \to N$ such that $fh \neq 0$, for every nonzero R-map $f:N \to N’$, that map $h$ has to come from somewhere. Sometimes you have to except something and see at the end why.

Every set can be taken as an index-set, see post #45. At this moment I could not find more information on index-sets, maybe you can find something.

We have to find an $R$-map $\phi:\bigoplus_\Delta M_\alpha \to N$. I suggested to use proposition 2.1.5. to construct $\phi$. I think it is the only tool we have to do that. (After we have found $\phi$, we will prove that it is surjective)Proposition 2.1.5
If $\{M_\alpha | \alpha \in \Delta\}$ is a family of R-modules, then the direct sum $(\bigoplus_\Delta M_\alpha, i_\alpha)$,
has the property that for every $R$-module $N$ and every family $\{\phi_\alpha:M_\alpha \to N | \alpha \in \Delta\}$
there is a unique R-map $\phi:\bigoplus_\Delta M_\alpha \to N$
such that $\phi \circ i_\alpha = \phi_\alpha$, for all $\alpha \in \Delta$,
where the $i_\alpha$ are the canonical injections $i_\alpha:M_\alpha \to \bigoplus_\Delta M_\alpha$ for $\alpha \in \Delta$,

The $R$-map $\phi$ is defined on $\bigoplus_\Delta M_\alpha$ in this way:

$\phi((x_\alpha)_\Delta) = \Sigma_\Delta \text{ } \phi_\alpha (x_\alpha)$ for $((x_\alpha)_\Delta) \in \bigoplus_\Delta M_\alpha$Now I want you to write down the premises or conditions of this theorem and translate them into the premises in our case. For instance: the $\Delta$ in the theorem, becomes $\text{Hom }(M,N)$ in our case, and so on. (see post #35). Use a better index-variable than $\alpha$ ...
Good luck.

 

[Math Amateur]

Bland - Rings and Their Modules (2011)
Exercise 2 of Problem Set 4.1

$\Leftarrow)$ $M$ and $N$ are right $R$-modules.
For each nonzero R-linear mapping $f:N \to N’$ (for each $R$-module $N'$) there is an R-linear mapping $h:M \to N$ such that $fh \neq 0$. Prove that $M$ generates $N$.

According to definition 4.1.2. we have to find an epimorpism $\phi:M^{(\Delta)} \to N$ for some index-set $\Delta$.

$M^{(\Delta)} = \bigoplus_\Delta M_\alpha$, where $M_\alpha = M$, for all $\alpha \in \Delta$.

I suggested to take $\Delta = \text{Hom }(M,N)$ as our index-set. Why? Our hypothesis says that we can get an $R$-map $h:M \to N$ such that $fh \neq 0$, for every nonzero R-map $f:N \to N’$, that map $h$ has to come from somewhere. Sometimes you have to except something and see at the end why.

Every set can be taken as an index-set, see post #45. At this moment I could not find more information on index-sets, maybe you can find something.

We have to find an $R$-map $\phi:\bigoplus_\Delta M_\alpha \to N$. I suggested to use proposition 2.1.5. to construct $\phi$. I think it is the only tool we have to do that. (After we have found $\phi$, we will prove that it is surjective)Proposition 2.1.5
If $\{M_\alpha | \alpha \in \Delta\}$ is a family of R-modules, then the direct sum $(\bigoplus_\Delta M_\alpha, i_\alpha)$,
has the property that for every $R$-module $N$ and every family $\{\phi_\alpha:M_\alpha \to N | \alpha \in \Delta\}$
there is a unique R-map $\phi:\bigoplus_\Delta M_\alpha \to N$
such that $\phi \circ i_\alpha = \phi_\alpha$, for all $\alpha \in \Delta$,
where the $i_\alpha$ are the canonical injections $i_\alpha:M_\alpha \to \bigoplus_\Delta M_\alpha$ for $\alpha \in \Delta$,

The $R$-map $\phi$ is defined on $\bigoplus_\Delta M_\alpha$ in this way:

$\phi((x_\alpha)_\Delta) = \Sigma_\Delta \text{ } \phi_\alpha (x_\alpha)$ for $((x_\alpha)_\Delta) \in \bigoplus_\Delta M_\alpha$Now I want you to write down the premises or conditions of this theorem and translate them into the premises in our case. For instance: the $\Delta$ in the theorem, becomes $\text{Hom }(M,N)$ in our case, and so on. (see post #35). Use a better index-variable than $\alpha$ ...
Good luck.

Hi steenis ...

Will now try to write down the premises or conditions of this theorem and translate them into the premises in our case. We set up the premises of Proposition 2,1,5 if we accept the existence of a family of modules $\{M_\alpha \mid \alpha \in \Delta\}$ and define or specify (in some way) an R-module N and a family of R-maps $\{\phi_\alpha:M_\alpha \to N | \alpha \in \Delta\}$ ... ... For our problem we define \(\displaystyle \Delta = \text{ Hom } (M, N)\) ...

... and the family of modules is \(\displaystyle \{ M_g \mid g \in \text{ Hom } (M, N) \} \)

The \(\displaystyle M_\alpha = M_g = M\) for all \(\displaystyle g \in \text{ Hom } (M, N)\) ...

We further specify \(\displaystyle \phi_\alpha = \phi_g = g \in \text{ Hom } (M, N)\) ...

... (that is the premises) ...
... then ...... there is a unique R-map \(\displaystyle \phi \ : \ \bigoplus_{\text{ Hom } (M, N)} M_g \to N\)

such that ...

\(\displaystyle \phi \circ i_g = \phi_g = g\) for all \(\displaystyle g \in \text{ Hom } (M, N)\) ...

where the \(\displaystyle i_g\) are the canonical injections \(\displaystyle i_g \ : \ M_g \to \bigoplus_{\text{ Hom } (M, N)} M_g\) for all \(\displaystyle g \in \text{ Hom } (M, N)\) ...then the R-map \(\displaystyle \phi\) is defined on \(\displaystyle \bigoplus_{\text{ Hom } (M, N)} M_g\) as follows:\(\displaystyle \phi ( ( x_g)_{\text{ Hom } (M, N)} ) = \sum_{\text{ Hom } (M, N)} \phi_g ( x_g )\) for \(\displaystyle ( x_g)_{\text{ Hom } (M, N)} \in \bigoplus_{\text{ Hom } (M, N)} M_g \)... and then ... by the hypothesis of the problem we are given an R-module \(\displaystyle N'\) and an R-map \(\displaystyle f \ : \ N \to N\)' and an R-map \(\displaystyle h \ : \ M \to N\) such that \(\displaystyle f \circ h \ne 0\) ...
Hope the above is basically correct ...

Peter

 

[steenis]

Very good.

Notice that $\{\phi_g = g : M_g = M \to N\} = \text{Hom }(M, N)$, so you translate $\{\phi_\alpha:M_\alpha \to N | \alpha \in \Delta\}$ in the theory to
$\text{Hom }(M, N) $ in our case. If you replace $\phi_g$ by $g$ in your last formula, it will even more clear.
It then becomes:
$\phi((x_g)_{\text{Hom }(M, N)}) = \Sigma_{\text{Hom }(M, N)} \text{ } g(x_g)$ for $((x_g)_ {\text{Hom }(M, N)}) \in \bigoplus_{\text{Hom }(M, N)} M_g$

$g(x_g)$: notice that g acts on the $g$-th coordinate of $((x_g)_ {\text{Hom }(M, N)})$

The hypothesis does not give a $N'$, no we can apply the hypothesis using any appropriate $N'$, (I made an edit in post #57), we use that in the foloowing

Now prove that $\phi$ is surjective. Suppose $\phi$ is not surjective and work to a contradaction.

- - - Updated - - -

I have made an edit in #57, see #59.

 

[steenis]

You should now have this diagram:

\begin{tikzpicture}[>=stealth]
\node (A) at (1,0) {$M_g= M$};
\node (B) at (1,-5) {$\bigoplus_{Hom (M, N)} M_g$};
\node (C) at (6,-5) {$N$};
\draw[->] (A) -- node

{$i_g$} (B);
\draw[->] (A) -- node

{$g$} (C);
\draw[->] (B) -- node [below] {$\phi$} (C);
\end{tikzpicture}

I have made an edit in #57, see #59.​

 

[Math Amateur]

Very good.

Notice that $\{\phi_g = g : M_g = M \to N\} = \text{Hom }(M, N)$, so you translate $\{\phi_\alpha:M_\alpha \to N | \alpha \in \Delta\}$ in the theory to
$\text{Hom }(M, N) $ in our case. If you replace $\phi_g$ by $g$ in your last formula, it will even more clear.
It then becomes:
$\phi((x_g)_{\text{Hom }(M, N)}) = \Sigma_{\text{Hom }(M, N)} \text{ } g(x_g)$ for $((x_g)_ {\text{Hom }(M, N)}) \in \bigoplus_{\text{Hom }(M, N)} M_g$

$g(x_g)$: notice that g acts on the $g$-th coordinate of $((x_g)_ {\text{Hom }(M, N)})$

The hypothesis does not give a $N'$, no we can apply the hypothesis using any appropriate $N'$, (I made an edit in post #57), we use that in the foloowing

Now prove that $\phi$ is surjective. Suppose $\phi$ is not surjective and work to a contradaction.

- - - Updated - - -

I have made an edit in #57, see #59.

Hi steenis ...

You write:

" ... ... Now prove that $\phi$ is surjective. Suppose $\phi$ is not surjective and work to a contradiction. ... ... "


So we proceed as follows:

Assume that \(\displaystyle \phi\) is not surjective ...

... then \(\displaystyle \text{ I am } \phi \ne N\) ... indeed \(\displaystyle \text{ I am } \phi \subset N\) ... that is a proper subset ...

Now define \(\displaystyle v \ : \ N \to N/ \text{ I am } \phi\) where \(\displaystyle v(n) = n + \text{ I am } \phi\) ... and hence \(\displaystyle v \ne 0 \) ...But then ... since we have a non-zero mapping \(\displaystyle f = v\) ... by the hypothesis of the converse problem we have that there exists a non-zero R-linear mapping \(\displaystyle h \ : \ M \to N\) such that \(\displaystyle f \circ h = v \circ h \ne 0\) ...

But ... all the R-linear mappings from \(\displaystyle M\) to \(\displaystyle N\) belong to \(\displaystyle \text{ Hom } (M, N)\) ...

So ... that is ... \(\displaystyle \exists \ g^\star \ne 0\) in \(\displaystyle \text{ Hom } (M, N)\) such that \(\displaystyle v \circ g^\star \ne 0\) ...But ... \(\displaystyle v \circ g^\star \ne 0 \Longrightarrow \exists \ x_{g^\star } \in M_{g^\star } = M\) such that \(\displaystyle v( g^\star ( x_{g^\star } ) ) \ne 0\) ...

Therefore \(\displaystyle g^\star (x_{g^\star}) \notin \text{ I am } \phi\) ... ... ... ... ... (*)But \(\displaystyle \phi (( x_g) = \sum g ( x_g )\) ... and this sum includes \(\displaystyle g^\star (x_{g^\star })\) ... and this in turn implies \(\displaystyle g^\star ( x_{g^\star }) \in \text{ I am } \phi\) ... but this contradicts (*) above ...Thus our assumption that \(\displaystyle \phi\) is not surjective must be wrong ..

So we conclude that \(\displaystyle \phi\) is surjective and hence M generates N ...
Is that correct ...?

Peter

 

[steenis]

I am sorry, I have no time today, I have other things to do, sorry.

 

[Math Amateur]

I am sorry, I have no time today, I have other things to do, sorry.

Sure ... fine steenis ... no worries ...

Talk to you when you're back ...

Hope all goes well ...

Peter

 

[steenis]

Well done, Peter, that is correct.
But I will rewrite it for you, because you have a tendency to make things too complicated.

There is an R-mao $h:M \to N$ such that $v \circ h \neq 0$.

So there is an $x \in M$ such that $v(h(x)) \neq 0$, this means $h(x) \notin \text{ I am } \phi$.

Take $((x_g)_ {\text{Hom }(M, N)}) \in \bigoplus_{\text{Hom }(M, N)} M_g$ such that $x_h = x$ and $x_g = 0$ for $g \neq h$.

Then $\phi((x_g)_{\text{Hom }(M, N)}) = \Sigma_{\text{Hom }(M, N)} \text{ } g(x_g) = h(x_h) = h(x) \in \text{ I am } \phi $, that is a contradiction.

So we conclude that $\phi$ is surjective and $\phi$ is a generator of M.

 

[Math Amateur]

Well done, Peter, that is correct.
But I will rewrite it for you, because you have a tendency to make things too complicated.

There is an R-mao $h:M \to N$ such that $v \circ h \neq 0$.

So there is an $x \in M$ such that $v(h(x)) \neq 0$, this means $h(x) \notin \text{ I am } \phi$.

Take $((x_g)_ {\text{Hom }(M, N)}) \in \bigoplus_{\text{Hom }(M, N)} M_g$ such that $x_h = x$ and $x_g = 0$ for $g \neq h$.

Then $\phi((x_g)_{\text{Hom }(M, N)}) = \Sigma_{\text{Hom }(M, N)} \text{ } g(x_g) = h(x_h) = h(x) \in \text{ I am } \phi $, that is a contradiction.

So we conclude that $\phi$ is surjective and $\phi$ is a generator of M.

Hi steenis ...Sorry to be late in replying but had to watch Australia play the Czech Republic in Austria ... Australia won 4-0 :) ... Australia's new coach is Bert van Marwijk from the Netherlands!

Thanks for improvements to proof ... I will work through them carefully tomorrow morning (Tasmanian time) ..

Thanks again ...

Peter

 

[steenis]

Of course, do not forget the important things ...(Smile)

 

[Math Amateur]

Of course, do not forget the important things ...(Smile)

Thanks again for all your help on this problem ...

Now going on to work on Bland Section 4.2 Noetherian and Artinian Modules ...

Am revising Propositions 4.2.3 and 4.24 ... and then moving on to other Propositions I have not worked on before ...

Also hoping before long to cover classical ring theory (Chapter 6) ...

Peter