Integral Domains: Homework Statement & Equations

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

Homework Help Overview

The discussion revolves around properties of ideals in a principal ideal domain (PID), specifically focusing on the union of ascending ideals and the stabilization of such sequences. The original poster presents a problem with two parts: demonstrating that the union of an ascending chain of ideals is itself an ideal, and proving that such a chain must eventually stabilize.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • The original poster attempts to use a proof by contradiction for the stabilization part, assuming that the ideals are strictly increasing. They explore the relationship between the generators of the ideals and the element in the next ideal, questioning how unique factorization in a PID might relate to their findings.

Discussion Status

Participants are engaging with the original poster's reasoning, with some suggesting that insights from the first part of the problem might be relevant. There is a focus on the implications of unique factorization in PIDs, indicating a productive exploration of the topic without reaching a consensus or resolution.

Contextual Notes

The discussion is constrained by the requirement to show stabilization of ideals in a PID, and the original poster is grappling with the implications of their assumptions and the properties of the ideals involved.

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
3
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K