MHB Northcott - Sums and Products of Ideals

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

I am currently studying Chapter 2: Prime Ideals and Primary Submodules.

I need help with a result that Northcott quotes and proves on page 80 regarding sums and products of ideals.

The relevant text from Northcott reads as follows:

View attachment 3729

In the above text we read:

" ... ... Accordingly

$$ A_i B_j \subseteq (A_1 + A_2 + \ ... \ + A_m ) ( B_1 + B_2 + \ ... \ + B_n ) $$

and therefore

$$ \sum_{i,j} A_i B_j \subseteq (A_1 + A_2 + \ ... \ + A_m ) ( B_1 + B_2 + \ ... \ + B_n ) $$ ... ... "Can someone explain (formally and rigorously) exactly why it follows that:

$$\sum_{i,j} A_i B_j \subseteq (A_1 + A_2 + \ ... \ + A_m ) ( B_1 + B_2 + \ ... \ + B_n )$$ ... ... ?Hope someone can help ...

Peter
 
Physics news on Phys.org
Hi Peter,

The reason why it follows that $\sum_{i,j} A_iB_j \subseteq (A_1 + \cdots + A_m)(B_1 + \cdots + B_n)$ is that $(A_1 + \cdots + A_m)(B_1 + \cdots B_n)$ is closed under addition. Remember, the product of two ideals of a ring is an ideal, so in particular, it is closed under addition. Also note that (finite) sum of ideals of a ring is an ideal -- that's why $A_1 + \cdots + A_m$ and $B_1 + \cdots + B_m$ are ideals of $R$.
 
Euge said:
Hi Peter,

The reason why it follows that $\sum_{i,j} A_iB_j \subseteq (A_1 + \cdots + A_m)(B_1 + \cdots + B_n)$ is that $(A_1 + \cdots + A_m)(B_1 + \cdots B_n)$ is closed under addition. Remember, the product of two ideals of a ring is an ideal, so in particular, it is closed under addition. Also note that (finite) sum of ideals of a ring is an ideal -- that's why $A_1 + \cdots + A_m$ and $B_1 + \cdots + B_m$ are ideals of $R$.
Thanks Euge,

Yes, follow that ... most clear and helpful ...

Thanks again,

Peter
 
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