Difference between revisions of "Relatively prime"

(Wikified, please confirm that no more wikification is needed and delete tag)
(Number Theory)
 
(10 intermediate revisions by 7 users not shown)
Line 1: Line 1:
Two positive [[integer | integers]] <math>{m}</math> and <math>{n}</math> are said to be '''relatively prime''' or ''coprime'' if they share no [[common divisor | common divisors]] greater than 1. Equivalently, <math>{m}</math> and <math>{n}</math> must have no [[prime]] divisors in common, which is mathematically written <math>\gcd(m,n)=1</math>. The positive integers <math>{m}</math> and <math>{n}</math> are relatively prime if and only if <math>\frac{m}{n}</math> is in lowest terms.
+
Two [[positive]] [[integer]]s <math>m</math> and <math>n</math> are said to be '''relatively prime''' or '''coprime''' if they share no [[common divisor | common divisors]] greater than 1. That is, their [[greatest common divisor]] is <math>\gcd(m, n) = 1</math>.  Equivalently, <math>m</math> and <math>n</math> must have no [[prime]] divisors in common. The positive integers <math>m</math> and <math>n</math> are relatively prime if and only if <math>\frac{m}{n}</math> is in lowest terms.
  
 
== Number Theory ==
 
== Number Theory ==
 
Relatively prime numbers show up frequently in [[number theory]] formulas and derivations:
 
Relatively prime numbers show up frequently in [[number theory]] formulas and derivations:
  
[[Euler's totient function]] determines the number of positive integers less than any given positive integer that are relatively prime to that number.
+
[[Euler's totient function]] determines the number of positive integers less than any given positive integer that is relatively prime to that number.
  
By the [[Euclidean algorithm]], consecutive positive integers are always relatively prime. This is related to the fact that two numbers <math>a</math> and <math>b</math> are relatively prime if and only if there exist some <math>{x},{y}\in \mathbb{Z}</math> such that <math>ax+by=1</math>.
+
Consecutive positive integers are always relatively prime, since, if a prime <math>p</math> divides both <math>n</math> and <math>n+1</math>, then it must divide their difference <math>(n+1)-n = 1</math>, which is impossible since <math>p > 1</math>.
 +
 
 +
Two integers <math>a</math> and <math>b</math> are relatively prime if and only if there exist some <math>x,y\in \mathbb{Z}</math> such that <math>ax+by=1</math> (a special case of [[Bezout's Lemma]]). The [[Euclidean Algorithm]] can be used to compute the coefficients <math>x,y</math>.
 +
 
 +
For two relatively prime numbers, their [[least common multiple]] is their product. This pops up in [[Chinese Remainder Theorem]].
  
 
== See also ==
 
== See also ==
Line 13: Line 17:
 
* [[Chicken McNugget Theorem]]
 
* [[Chicken McNugget Theorem]]
  
{{wikify}}
 
 
{{stub}}
 
{{stub}}
 
[[Category:Definition]]
 
[[Category:Definition]]
 
[[Category:Number theory]]
 
[[Category:Number theory]]

Latest revision as of 17:45, 14 October 2024

Two positive integers $m$ and $n$ are said to be relatively prime or coprime if they share no common divisors greater than 1. That is, their greatest common divisor is $\gcd(m, n) = 1$. Equivalently, $m$ and $n$ must have no prime divisors in common. The positive integers $m$ and $n$ are relatively prime if and only if $\frac{m}{n}$ is in lowest terms.

Number Theory

Relatively prime numbers show up frequently in number theory formulas and derivations:

Euler's totient function determines the number of positive integers less than any given positive integer that is relatively prime to that number.

Consecutive positive integers are always relatively prime, since, if a prime $p$ divides both $n$ and $n+1$, then it must divide their difference $(n+1)-n = 1$, which is impossible since $p > 1$.

Two integers $a$ and $b$ are relatively prime if and only if there exist some $x,y\in \mathbb{Z}$ such that $ax+by=1$ (a special case of Bezout's Lemma). The Euclidean Algorithm can be used to compute the coefficients $x,y$.

For two relatively prime numbers, their least common multiple is their product. This pops up in Chinese Remainder Theorem.

See also

This article is a stub. Help us out by expanding it.