Principal Ideal Rings and GCDs .... .... Bland Proposition 4.3.3

  • Context: MHB 
  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Rings
Click For Summary
SUMMARY

The discussion centers on Proposition 4.3.3 from Paul E. Bland's book "Rings and Their Modules," specifically regarding the proof that if $$(d) = a_1 R + a_2 R + \ldots + a_n R$$, then each $$a_i$$ is contained in $$(d)$$. The user seeks clarification on this implication, and another participant confirms that each $$a_i$$ can be expressed as a linear combination involving itself and zero coefficients for the other elements, thereby demonstrating that each $$a_i$$ belongs to the ideal $$(d)$$.

PREREQUISITES
  • Understanding of Principal Ideal Domains (PIDs)
  • Familiarity with ring theory concepts
  • Knowledge of linear combinations in algebra
  • Basic comprehension of ideals in ring theory
NEXT STEPS
  • Study the structure of Principal Ideal Domains in depth
  • Explore the implications of Proposition 4.3.3 in various contexts
  • Review examples of linear combinations in ring theory
  • Examine the proofs of related propositions in "Rings and Their Modules"
USEFUL FOR

Mathematics students, algebraists, and anyone studying ring theory, particularly those focusing on Principal Ideal Domains and their properties.

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Paul E. Bland's book, "Rings and Their Modules".

I am focused on Section 4.3: Modules Over Principal Ideal Domains ... and I need some help to fully understand the proof of part of Proposition 4.3.3 ... ...

Proposition 4.3.3 reads as follows:View attachment 8247
View attachment 8248
In the above proof by Bland we read the following:

"... ... If $$(d) = a_1 R + a_2 R + \ ... \ ... \ + a_n R$$, then each $$a_i$$ is in $$(d)$$ ... ... "Can someone please explain how $$(d) = a_1 R + a_2 R + \ ... \ ... \ + a_n R$$ implies each $$a_i$$ is in $$(d)$$ ... ..Peter
 
Physics news on Phys.org
Hi Peter,
$$a_1 = a_1\cdot 1 + a_2 \cdot 0 + \cdots + a_n \cdot 0 \in (d)$$ and similarly for the other $a_i$.
 

Similar threads

Replies
4
Views
2K
Replies
2
Views
1K
Replies
1
Views
1K
  • · Replies 16 ·
Replies
16
Views
3K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K