• Support PF! Buy your school textbooks, materials and every day products Here!

Is Z[1/5] a PID?

  • Thread starter eok20
  • Start date
  • #1
200
0

Homework Statement


Determine if Z[1/5] is a PID (Z is the ring of integers).



Homework Equations





The Attempt at a Solution


I'm not sure...I tried showing that it isn't by showing that it is not a UFD but that didn't work out well. Maybe there is some way I can show it is a PID by showing it's a Euclidean domain.
 

Answers and Replies

  • #2
392
0
Is it or isn't it? Usually you would try to show it isn't, which you did, without success, so maybe it is. Another clue: what are the easiest examples (in your book or notes) of integral domains that are not PID's? Are they more complicated than Z[1/5]? I bet they are. So that's a clue that this one is.

Try to show it is. I would just try to show it directly. Two hints. First, what do elements of Z[1/5] look like? Second, how do you even show (directly) that Z is a PID?
 
  • #3
200
0
Is it or isn't it? Usually you would try to show it isn't, which you did, without success, so maybe it is. Another clue: what are the easiest examples (in your book or notes) of integral domains that are not PID's? Are they more complicated than Z[1/5]? I bet they are. So that's a clue that this one is.

Try to show it is. I would just try to show it directly. Two hints. First, what do elements of Z[1/5] look like? Second, how do you even show (directly) that Z is a PID?
Thanks for the reply and hints! I was able to prove it directly without too much trouble: take an ideal I in Z[1/5]. Intersecting it with Z gives an ideal in Z, which is generated by some p in Z (since Z is a PID). Its easy to show that p generates I by taking an element r in I, multiplying by 5^N for some N to clear denominators so 5^N*r is in I intersect Z (so 5^N*r=kp). Then r = 5^(-N)kp is in the ideal generated by p.
 

Related Threads on Is Z[1/5] a PID?

Replies
6
Views
8K
  • Last Post
Replies
2
Views
2K
Replies
9
Views
1K
  • Last Post
Replies
5
Views
3K
  • Last Post
Replies
5
Views
1K
Replies
4
Views
4K
  • Last Post
Replies
2
Views
1K
Replies
1
Views
760
Replies
5
Views
9K
  • Last Post
Replies
6
Views
1K
Top