Primes in set of rational numbers


by math_grl
Tags: numbers, primes, rational
math_grl
math_grl is offline
#1
Jan21-10, 04:27 PM
P: 50
There was a part c and d from a question I couldn't answer.
Let [tex]R = \{ a/b : a, b \in \mathbb{Z}, b \equiv 1 (\mod 2) \}[/tex].

a) was find the units, b) was show that [tex]R\setminus U(R)[/tex] is a maximal ideal. Both I was successful. But

c) is find all primes, which I believe i only found one....the rational number 2.

d) find all ideals and show that [tex]R[/tex] is a PID.

Any help would be appreciated.
Phys.Org News Partner Science news on Phys.org
Better thermal-imaging lens from waste sulfur
Hackathon team's GoogolPlex gives Siri extra powers
Bright points in Sun's atmosphere mark patterns deep in its interior
rasmhop
rasmhop is offline
#2
Jan22-10, 11:51 AM
P: 418
c) Write an element,
[tex]p = 2^n \frac{a}{b}[/tex]
where a and b are odd. If n>1, then let, [itex]x = 2^{n-1}[/itex] and [itex]y =2[/itex]. Then [itex]p | xy[/itex], but [itex]p \not | x[/itex] and [itex]p \not| y[/itex]. Thus p is not a prime if n>1.
If n=1, and, p|xy, then either x or y must have a factor 2. Assume WLOG that 2|x, then p|x.
If n=0, then p is a unit.
Thus only associates of 2 are prime.

d) For some ideal X of R let n be the largest non-negative integer such that [itex]2^n[/itex] divides all elements in X. Then [itex]2^n \in X[/itex] since there exists odd integers a,b such that [itex]2^n \frac{a}{b} \in X[/itex], but then [itex]2^n\frac{a}{b}\frac{b}{a}=2^n[/itex]. We have [itex]X=(2^n)[/itex].
ice109
ice109 is offline
#3
Jan22-10, 12:56 PM
P: 1,705
doesn't 1 = 1 mod 2?

rasmhop
rasmhop is offline
#4
Jan22-10, 01:06 PM
P: 418

Primes in set of rational numbers


Quote Quote by ice109 View Post
doesn't 1 = 1 mod 2?
Yes this is true, but how does it relate to anything in any of the previous posts?
ice109
ice109 is offline
#5
Jan22-10, 01:50 PM
P: 1,705
Quote Quote by rasmhop View Post
Yes this is true, but how does it relate to anything in any of the previous posts?
i didn't read your proof but doesn't my comment imply that for every prime p in Z the element r=p/1 is in R
rasmhop
rasmhop is offline
#6
Jan22-10, 02:59 PM
P: 418
Quote Quote by ice109 View Post
i didn't read your proof but doesn't my comment imply that for every prime p in Z the element r=p/1 is in R
I misunderstood your comment. math_grl very likely means prime element in the general sense of prime elements in an integral domain. In an integral domain R we say that a non-unit p is a prime element if p|ab imply p|a or p|b. This is equivalent to the ordinary notion of prime numbers in Z, but it need not be the same for other rings.

In the R given by math_grl 3 for instance is not a prime because it's a unit (i.e. 1|3 and 3 |1). To see this note that 3 = 3*1 so 1|3 and 1 = 3*1/3 so 3|1. On the other hand 6 is prime in R.
HallsofIvy
HallsofIvy is offline
#7
Jan23-10, 09:47 AM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,879
But ice109's point is, I believe, that all of the usual primes still are primes in this domain.
rasmhop
rasmhop is offline
#8
Jan23-10, 10:04 AM
P: 418
Quote Quote by HallsofIvy View Post
But ice109's point is, I believe, that all of the usual primes still are primes in this domain.
But they aren't. All the usual odd primes in Z are units in this domain and therefore not primes. This is due to the fact that if p is an odd prime in Z, then 1/p is in the domain and since p(1/p)=1 we have p|1. He is of course completely right if prime element is taken to mean prime element in Z, but as we're working in R it would seem natural to consider prime elements in R.
math_grl
math_grl is offline
#9
Jan25-10, 04:03 PM
P: 50
Thanks rasmhop.

For ice: http://en.wikipedia.org/wiki/Prime_n...ments_in_rings

I probably could have said explicitly that R was a ring but figured it was implied as the question concerns PID's and units.


Register to reply

Related Discussions
The only 3 consecutive odd numbers that are primes are 3,5,7 Precalculus Mathematics Homework 1
Density of primes between square numbers Linear & Abstract Algebra 5
Rational Numbers General Math 6
How many primes are there in a certain range of numbers? General Math 1
Irrational numbers depends on rational numbers existence General Math 0