Divisor: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Richard L. Peterson
(gave negative number examples. Next, should we talk about remainders?)
imported>Greg Woodhouse
(typesetting - also added not on proper divisors and 0)
Line 1: Line 1:
Divisor ([[Number theory]])
Divisor ([[Number theory]])


Given two [[integer]]s ''d'' and ''a'', d is said to ''divide a'', or ''d'' is said to be a ''divisor'' of ''a'', if and only if  there is an integer ''k'' such that ''dk = a''. For example, 3 divides 6 because 3*2 = 6. Here 3 and 6 play the roles of ''d'' and ''a'', while 2 plays the role of ''k''.
Given two [[integer]]s ''d'' and ''a'', d is said to ''divide a'', or ''d'' is said to be a ''divisor'' of ''a'', if and only if  there is an integer ''k'' such that ''dk = a''. For example, 3 divides 6 because 3*2 = 6. Here 3 and 6 play the roles of ''d'' and ''a'', while 2 plays the role of ''k''.  Since 1 and -1 can divide any integer, they are said not to be ''proper'' divisors. The number 0 is not considered to be a divisor of ''any'' integer.


More examples:
More examples:
:6 is a divisor of 24 since 6*4 = 24. (We stress that ''6 divides 24'' and ''6 is a divisor of 24'' mean the same thing.)
:6 is a divisor of 24 since <math>6 \cdot 4 = 24</math>. (We stress that ''6 divides 24'' and ''6 is a divisor of 24'' mean the same thing.)


:5 divides 0 because 5*0 = 0. In fact, every integer except zero divides zero.
:5 divides 0 because <math>5 \cdot 0 = 0</math>. In fact, every integer except zero divides zero.


:7 is a divisor of 49 since 7*7 = 49.
:7 is a divisor of 49 since <math>7 \cdot 7 = 49</math>.


:7 divides 7 since 7*1 = 7.
:7 divides 7 since <math>7 \cdot 1 = 7</math>.


:1 divides 5 because 1*5 = 5. In fact, 1 and -1 divide every integer.
:1 divides 5 because <math> 1 \cdot 5 = 5</math>. It is, however, not a proper divisor.


:-3 divides 9 because (-3)*(-3) = 9.
:-3 divides 9 because <math> (-3) \cdot (-3) = 9</math>


:-4 divides -16 because (-4)*4 = -16.
:-4 divides -16 because <math>(-4) \cdot 4 = -16</math>


:2 '''does not''' divide 9 because there is no integer k such that 2*k = 9. Since 2 is not a divisor of 9, 9 is said to be an [[odd]] integer, or simply an [[odd]] number.
:2 '''does not''' divide 9 because there is no integer k such that <math>2 \cdot k = 9</math>. Since 2 is not a divisor of 9, 9 is said to be an [[odd]] integer, or simply an [[odd]] number.


*When ''d'' is non zero, the number ''k'' such that ''dk=a'' is unique and is called the exact [[quotient]] of ''a'' by ''d'', denoted ''a/d''.
*When ''d'' is non zero, the number ''k'' such that ''dk=a'' is unique and is called the exact [[quotient]] of ''a'' by ''d'', denoted ''a/d''.


*0 is never a divisor of any number, except of 0 itself (because 0*k=0 for any k, but there is no k such that dk=0 if d is non zero). However, the quotient 0/0 is not defined, as any k would be convenient. Some authors require a divisor to be non zero in the definition in order to avoid this exception.
*0 can never be a divisor of any number. It is true that <math>0 \cdot k=0</math> for any k, however, the quotient 0/0 is not defined, as any k would work. This is the reason 0 is excluded from being considered a divisor.
 
[[Category:CZ Live]]
[[Category:CZ Live]]
[[Category:Mathematics Workgroup]]
[[Category:Mathematics Workgroup]]

Revision as of 16:43, 31 March 2007

Divisor (Number theory)

Given two integers d and a, d is said to divide a, or d is said to be a divisor of a, if and only if there is an integer k such that dk = a. For example, 3 divides 6 because 3*2 = 6. Here 3 and 6 play the roles of d and a, while 2 plays the role of k. Since 1 and -1 can divide any integer, they are said not to be proper divisors. The number 0 is not considered to be a divisor of any integer.

More examples:

6 is a divisor of 24 since . (We stress that 6 divides 24 and 6 is a divisor of 24 mean the same thing.)
5 divides 0 because . In fact, every integer except zero divides zero.
7 is a divisor of 49 since .
7 divides 7 since .
1 divides 5 because . It is, however, not a proper divisor.
-3 divides 9 because
-4 divides -16 because
2 does not divide 9 because there is no integer k such that . Since 2 is not a divisor of 9, 9 is said to be an odd integer, or simply an odd number.
  • When d is non zero, the number k such that dk=a is unique and is called the exact quotient of a by d, denoted a/d.
  • 0 can never be a divisor of any number. It is true that for any k, however, the quotient 0/0 is not defined, as any k would work. This is the reason 0 is excluded from being considered a divisor.