General Definition of Relatively prime

In summary, the two definitions of relatively prime are equivalent if the ring in question has a unit and the two elements are coprime. However, the first definition does not imply the second.
  • #1
snoble
127
0
I am wondering about the general definition of relatively prime in terms of commutative rings.

Specifically if I have my first definition being that given a commutative ring R if r_1 and r_2 are relatively prime then if [tex]r_1 k\in r_2R[/tex] then [tex]k \in r_2 R[/tex]. And vice versa. In other words if [tex]r_2 | kr_1[/tex] then [tex]r_2 | k[/tex].

My second definition is if r_1 and r_2 are relatively prime then [tex]\exists x,y\in R[/tex] such that [tex]xr_1 +yr_2 = 1[/tex] (yes I'm assuming all rings have a unit)

So I'm wondering for what types of commutative rings are these two definitions equivalent (I'm guessing always or almost always) and where can I find a proof of that. Notice the Euclidean algorithm depends on an ordering which you may not have here (at least as I know the algorithm).

Another way to think of the problem is how do I show given the first definition that <r_1> and <r_2> are comaximal: ie [tex]<r_1>+<r_2>=R[/tex]. This is the actual problem I've been thinking about.

Thanks,
Steven
 
Physics news on Phys.org
  • #2
you second definition seems to be sort of "relatively maximal" as opposed to just relatively prime.

for example in a polynomial ring k[X,Y,Z,], then X and Y are relatively prime in the first sense but not the second.

but in a smaller ring like a pid, say k[X], the first definition is true.

for example in a domain, a prime element is one that generates a prime ideal, i.e. x is prime if whenever yz is divisible by x then ether y or z is.

then in a unique factorization domain, ike any polynomial ring in any number if variables, two elements are relatively prime in your first sense if they have no common prime factors.

but the second sense is still not true for them if the ring is large like a polynomial ring in two or more variables. i.e. you are saying there that the only way two elements are relatively prime is if they generate the nuit ideal. so if there are some large non unit ideas out there like (X,Y), (X,Y,Z), (X,Y,Z,W),... this is not the case.

of course your second property immediately implies the first one. do you see how to prove that? the proof uses what I call the "three term principle" in my gentle introductions to proofs. (if x divides two of three terms in an equation, it divides also the third.)
 
  • #3
In general, from what I can recall from many sci.maths posts to james harris, elements are coprime if 1 is in the ideal they generate, ie (x,y) =1, if there is a linear combination of x and y sch that ax+by=1
 
  • #4
that may be current terminology, but it follows from that definition that there are no coprime pairs of (non unit) elements in most rings of krull dimension at least two, for example k[X,Y].

that property is standard for pid's of course.

That property is called "comaximal" in Commutative Algebra, vol I, by Zariski Samuel, page 176.

I do not know James Harris, but I was actually unable to find either of the terms "coprime" or "relatively prime" listed in the indices of any of my commutative algebra texts, Zariski Samuel, Atiyah MacDonald, Matsumura, Reid, or Eisenbud.

a search on "james harris, mathematics" turned up as series of articles about "kooks, cranks, and loons". Someone of that name seems bound to publish a record number of false elementary "proofs" of fermat's last theorem.

presumably we are relying on someone else for this definition, but even that james harris might know this kind of thing.
 
Last edited:
  • #5
Atiyah-MacDonald talks about "coprime" on page 7, and it's synonymous with "comaximal". However, these terms were applied to ideals, not individual elements.

Aha, I finally found my copy of Jacobson. (I really need to organize better. :frown:) It defines that a and b are relatively prime iff gcd(a, b) = 1, and goes on to say that happens only if a or b is a unit, or that no irreducible element divides both a and b.

(It's in a section on Factorial Monoids and Rings)
 
Last edited:
  • #6
Is it fair to say that the general consensus is to take the second definition as the standard which happens to imply the first? But as in mathwonk's example the first doesn't imply the second?

Oh by the by (out of curiousity) how does Jacobson define gcd on a ring without order? I'm sure I'll kick myself when I hear it :-p
 
  • #7
of course it is clear that hurkyl's citation of the definition of relatively prime in Jacobson as saying that gdc(a,b) = 1, is not the second definition but the first one.

the definition in atiyah macdonald is on the other hand the first definition.

i certainly hope there is no consensus that the accepted definition is the second one as that flies in the face of the meanings of the words for all uses i know of, except for pid's like the integers.

indeed i am puzzled that atiyah macdonald sanctioned that term for the definition of comaximal. Of course atiyah, fields medalist or not, is a topologist, not an algebraist.
 
  • #8
what do, you mean by order? oh i see what you are thinking; you are thinking "g" in gcd means "greatest"; observe that gcd(a,b) means not the "greatest"common divisor, but rather c is the gcd of a and b if and only if every common divisor of a and b also divides c. I.e. gcd really means the "universal common divisor".

they do not alweays exist of course, but do exist in any unique factorization domain.
 
  • #9
I'd just like to reiterate that Atiyah-Macdonald applied the terms to ideals, not to individual elements.
 
  • #10
that is so. but for individual elements that would mean principal ideals, and there it seems poorly applicable.

or maybe their point is to distinguish the term "coprime" from "relatively prime".
 
  • #11
Oh, the james harris thing. He is a crank of the finest order, and one of his claims was about things that are "coprime" in some ring. He didn't define it, and is completely wrong, but a lot of mathematicians chipped in and gave their definition of what it meant to be coprime.
 
  • #12
that stuff keeps us entertained. james harris seems one of those cranks that people are rather fond of as opposed to being annoyed at.
 

Related to General Definition of Relatively prime

1. What is the general definition of relatively prime numbers?

The general definition of relatively prime numbers is that two numbers are relatively prime if they do not have any common factors other than 1. In other words, their greatest common divisor is 1.

2. How do you determine if two numbers are relatively prime?

To determine if two numbers are relatively prime, you can use the Euclidean algorithm to find the greatest common divisor (GCD) of the two numbers. If the GCD is 1, then the numbers are relatively prime.

3. Can two prime numbers be relatively prime?

Yes, two prime numbers are always relatively prime because the only common factor they have is 1.

4. Are relatively prime numbers always co-prime?

Yes, relatively prime numbers are always co-prime because they do not have any common factors other than 1.

5. How are relatively prime numbers useful in mathematics?

Relatively prime numbers are useful in many areas of mathematics, including number theory, cryptography, and algebra. They can also be used to simplify fractions and solve certain equations.

Similar threads

  • Atomic and Condensed Matter
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
17
Views
4K
  • Linear and Abstract Algebra
Replies
1
Views
2K
  • Linear and Abstract Algebra
Replies
7
Views
3K
  • Linear and Abstract Algebra
Replies
9
Views
2K
  • Linear and Abstract Algebra
Replies
6
Views
2K
  • Linear and Abstract Algebra
Replies
1
Views
3K
Replies
1
Views
2K
  • Special and General Relativity
Replies
4
Views
1K
Back
Top