Integral Domains: Homework Statement & Equations

  • Thread starter Thread starter mr.tea
  • Start date Start date
  • Tags Tags
    domains Integral
Click For Summary
SUMMARY

The discussion focuses on the properties of ideals in a principal ideal domain (PID), specifically addressing two key questions: the union of ascending ideals and the stabilization of such sequences. It is established that the union of ideals ##I_1, I_2, ...## is indeed an ideal. The second part requires demonstrating that any ascending chain of ideals must stabilize, which is linked to the unique factorization property of PIDs. The user struggles with proving stabilization and seeks hints to progress in their solution.

PREREQUISITES
  • Understanding of principal ideal domains (PIDs)
  • Familiarity with the concept of ideals in ring theory
  • Knowledge of unique factorization in PIDs
  • Basic skills in algebraic proofs and contradiction techniques
NEXT STEPS
  • Study the properties of ideals in principal ideal domains
  • Learn about the ascending chain condition in ring theory
  • Explore the unique factorization theorem in PIDs
  • Review techniques for proving stabilization in sequences of ideals
USEFUL FOR

Mathematics students, algebraists, and anyone studying ring theory, particularly those focusing on principal ideal domains and their properties.

mr.tea
Messages
101
Reaction score
12

Homework Statement


Let ##R## be a principal ideal domain and suppose ##I_1,I_2,...## are ideals of ##R## with
## I_1 \subseteq I_2 \subseteq I_3 \subseteq ...##
The Question has two parts: 1. to show that ##\cup _{i=0}^{\infty}I_i## is an ideal.
2. to show that any ascending as above must stabilize, i.e. there is a positive integer ##n## with ##I_n=I_{n+1}=...##

Homework Equations

The Attempt at a Solution


My problem is with the second question. I tried to assume for contradiction that for every positive integer ##n##, we have ##I_n \subsetneq I_{n+1}## which mean that there is a number ##x\in I_{n+1}## which is not in ##I_n##. Since we are in a PID, we can write ##I_n = (d), \quad I_{n+1}=(e)## ( where ##d,e## are the generators). I also got that ##d \nmid x##, and I tried to write ##\gcd(x,d)## as a linear combination of them... I have ran out of ideas...

Any hint will be helpful!
Thank you.
 
Physics news on Phys.org
Doesn't part one help you out here?
 
fresh_42 said:
Doesn't part one help you out here?

Unfortunately, not too much. The closest relationship between ##x## and ##d## that I have is ##x(1-s)=r\cdot d\cdot n##, where ##r,s## came from ##\gcd(x,d)=sx+rd##, and ##n## came from ##\gcd(x,d) \cdot n=x##

Is it possible that it is related to the fact that we have unique factorization in PID?
 
Last edited:
mr.tea said:
Is it possible that it is related to the fact that we have unique factorization in PID?
If you can use this result, then it's the step in the right direction.
 

Similar threads

  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
5
Views
2K