MHB Finitely Generated Modules and Their Submodules .... Berrick and Keating ....

  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Modules
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading An Introduction to Rings and Modules With K-Theory in View by A.J. Berrick and M.E. Keating (B&K).

I need help with the proof of Lemma 1.2.21 ...

Lemma 1.2.21 and its proof reads as follows:
View attachment 6037Question 1In the above text by Berrick and Keating, we read the following:"... ... Since $$M$$ is finitely generated, there is a minimal subset $$\{ x_0, \ ... \ ... \ , x_s \}$$ of $$M$$ such that

$$x_0 R + \ ... \ ... \ , x_s R + L = M. \ ... \ ... \ ... $$" My problem is as follows:

I cannot see exactly why there exists a minimal subset $$\{ x_0, \ ... \ ... \ , x_s \}$$ of $$M$$ such that

$$x_0 R + \ ... \ ... \ , x_s R + L = M$$. ... ... ... Can someone please demonstrate, rigorously and formally, that there exists a minimal subset $$\{ x_0, \ ... \ ... \ , x_s \}$$ of $$M$$ such that

$$x_0 R + \ ... \ ... \ , x_s R + L = M$$?

Question 2In the above text by Berrick and Keating, we read the following:"... ... Let $$S$$ be the set of submodules $$X$$ of $$M$$ that contain $$x_1 R + \ ... \ ... \ , x_s R + L$$ but do not contain $$x_0$$. It is obvious that $$S$$ is inductive ... ..." Can someone please explain exactly why $$S$$ is inductive ... ... ?Hope someone can help ...

Peter========================================================================B&K's definition of "inductive" is contained in section 1.2.18 ... ... . which reads as follows:https://www.physicsforums.com/attachments/6038
View attachment 6039
 
Physics news on Phys.org
Peter said:
I am reading An Introduction to Rings and Modules With K-Theory in View by A.J. Berrick and M.E. Keating (B&K).

I need help with the proof of Lemma 1.2.21 ...

Lemma 1.2.21 and its proof reads as follows:
Question 1In the above text by Berrick and Keating, we read the following:"... ... Since $$M$$ is finitely generated, there is a minimal subset $$\{ x_0, \ ... \ ... \ , x_s \}$$ of $$M$$ such that

$$x_0 R + \ ... \ ... \ , x_s R + L = M. \ ... \ ... \ ... $$" My problem is as follows:

I cannot see exactly why there exists a minimal subset $$\{ x_0, \ ... \ ... \ , x_s \}$$ of $$M$$ such that

$$x_0 R + \ ... \ ... \ , x_s R + L = M$$. ... ... ... Can someone please demonstrate, rigorously and formally, that there exists a minimal subset $$\{ x_0, \ ... \ ... \ , x_s \}$$ of $$M$$ such that

$$x_0 R + \ ... \ ... \ , x_s R + L = M$$?

Question 2In the above text by Berrick and Keating, we read the following:"... ... Let $$S$$ be the set of submodules $$X$$ of $$M$$ that contain $$x_1 R + \ ... \ ... \ , x_s R + L$$ but do not contain $$x_0$$. It is obvious that $$S$$ is inductive ... ..." Can someone please explain exactly why $$S$$ is inductive ... ... ?Hope someone can help ...

Peter========================================================================B&K's definition of "inductive" is contained in section 1.2.18 ... ... . which reads as follows:
The existence of a minimal $S$ is rather obvious. Since $M$ is finitely generated, one can find a finite set $S$ such that $L+\langle S\rangle =M$. Take a smallest subset of $S$ which generates the same submodule as $S$. This is a required minimial subset.

I will post about the inductiveness of $S$ when I have some more time. But at first look it semmed like this too follows immediately from the definitions.
 
caffeinemachine said:
The existence of a minimal $S$ is rather obvious. Since $M$ is finitely generated, one can find a finite set $S$ such that $L+\langle S\rangle =M$. Take a smallest subset of $S$ which generates the same submodule as $S$. This is a required minimial subset.

I will post about the inductiveness of $S$ when I have some more time. But at first look it semmed like this too follows immediately from the definitions.
Thanks for the help, caffeinemachine BUT ... I do not follow ...

You write:"... ... Since $M$ is finitely generated, one can find a finite set $S$ such that $L+\langle S\rangle =M$ ... ... BUT ... why exactly is this true ... can you be more explicit ...

Peter
 
Thread 'Determine whether ##125## is a unit in ##\mathbb{Z_471}##'
This is the question, I understand the concept, in ##\mathbb{Z_n}## an element is a is a unit if and only if gcd( a,n) =1. My understanding of backwards substitution, ... i have using Euclidean algorithm, ##471 = 3⋅121 + 108## ##121 = 1⋅108 + 13## ##108 =8⋅13+4## ##13=3⋅4+1## ##4=4⋅1+0## using back-substitution, ##1=13-3⋅4## ##=(121-1⋅108)-3(108-8⋅13)## ... ##= 121-(471-3⋅121)-3⋅471+9⋅121+24⋅121-24(471-3⋅121## ##=121-471+3⋅121-3⋅471+9⋅121+24⋅121-24⋅471+72⋅121##...
Back
Top