MHB Sum of an Indexed Family of Submodules - Northcott, pages 8-9

  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Sum
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading D. G. Northcott's book, Lessons on Rings, Modules and Multiplicities.

On pages 8 and 9, Northcott defines/describes the sum of an indexed family of submodules, as follows:https://www.physicsforums.com/attachments/3507
View attachment 3508At the conclusion of the above text on the construction of the sum of an indexed family of submodules, Northcott writes the following:
" ... ... The submodule $$L$$ which has just been constructed, is called the sum of the $$L_i $$ and is denoted $$\sum_{i \in I} L_i$$. Not only does the sum contain each of the summands $$L_i$$, but it is clearly the smallest submodule of $$N$$ which has this property. ... ... "
Now it is not immediately obvious to me why the sum constructed as above, should be, as Northcott claims, 'clearly' the smallest submodule that contains each of the summands.

Can someone please show me (formally and rigorously) exactly why the sum of an indexed family of modules, constructed as above, should be (clearly) the smallest submodule containing each of the summands?

Help will be appreciated ... ...

Peter
 
Physics news on Phys.org
Peter said:
I am reading D. G. Northcott's book, Lessons on Rings, Modules and Multiplicities.

On pages 8 and 9, Northcott defines/describes the sum of an indexed family of submodules, as follows:https://www.physicsforums.com/attachments/3507
View attachment 3508At the conclusion of the above text on the construction of the sum of an indexed family of submodules, Northcott writes the following:
" ... ... The submodule $$L$$ which has just been constructed, is called the sum of the $$L_i $$ and is denoted $$\sum_{i \in I} L_i$$. Not only does the sum contain each of the summands $$L_i$$, but it is clearly the smallest submodule of $$N$$ which has this property. ... ... "
Now it is not immediately obvious to me why the sum constructed as above, should be, as Northcott claims, 'clearly' the smallest submodule that contains each of the summands.

Can someone please show me (formally and rigorously) exactly why the sum of an indexed family of modules, constructed as above, should be (clearly) the smallest submodule containing each of the summands?

Help will be appreciated ... ...

Peter

Let $K$ be a submodule of $N$ such that $K \supseteq L_i$ for all $i\in I$. The goal is to show that $L \subseteq K$. Then since $K$ was arbitrary and $L$ is itself a submodule of $N$ containing each $L_i$, $L$ must be the smallest submodule of $N$ relative to the property of containing all the $L_i$.

Let $x \in L$. Then $x = \sum_{i\in I} x_i$, where $x_i \in L_i$ and $x_i = 0$ for all but finitely many $i$. Let $J = \{i\in I : x_i \neq 0\}$. Then $J$ is a finite set and $x = \sum_{j\in J} x_j$. Since $x_j \in L_j \subseteq K$ for all $j\in J$ and closure under addition holds in $K$, $x \in K$. Hence, $L \subseteq K$.
 
Thread 'Derivation of equations of stress tensor transformation'
Hello ! I derived equations of stress tensor 2D transformation. Some details: I have plane ABCD in two cases (see top on the pic) and I know tensor components for case 1 only. Only plane ABCD rotate in two cases (top of the picture) but not coordinate system. Coordinate system rotates only on the bottom of picture. I want to obtain expression that connects tensor for case 1 and tensor for case 2. My attempt: Are these equations correct? Is there more easier expression for stress tensor...
Back
Top