Divisor: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Greg Woodhouse
(started "Further Reading" section - not sure if the level is appropriate)
mNo edit summary
 
(22 intermediate revisions by 8 users not shown)
Line 1: Line 1:
Divisor ([[Number theory]])
{{subpages}}
 
{{dambigbox|mathematical divisors}}
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.
Given two [[integer]]s ''d'' and ''a'', where ''d'' is nonzero, 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''.  Though any number divides itself (as does its negative), it is said not to be a ''proper divisor''. The number 0 is not considered to be a divisor of ''any'' integer.


More examples:
More examples:
: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.)
: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 <math>5 \cdot 0 = 0</math>. 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.
Line 12: Line 12:
:7 divides 7 since <math>7 \cdot 1 = 7</math>.
:7 divides 7 since <math>7 \cdot 1 = 7</math>.


:1 divides 5 because <math> 1 \cdot 5 = 5</math>. It is, however, not a proper divisor.
:1 divides 5 because <math> 1 \cdot 5 = 5</math>.  
 
:&minus;3 divides 9 because <math> (-3) \cdot (-3) = 9</math>
 
:&minus;4 divides &minus;16 because <math>(-4) \cdot 4 = -16</math>


:-3 divides 9 because <math> (-3) \cdot (-3) = 9</math>
: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.


:-4 divides -16 because <math>(-4) \cdot 4 = -16</math>
*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 0&nbsp;&middot;&nbsp;d''k'' = 0 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.


: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.
==Notation==
If <math>d</math> is a divisor of a (we also say that <math>d</math> ''divides'' <math>a</math>, this fact may be expressed by writing <math>d | a</math>. Similarly, if <math>d</math> does not divide <math>a</math>, we write <math>d \not| a</math>. For example, <math>4 | 12</math> but <math>8 \not| 12</math>.


*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''.
==Related concepts==
*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.


===Further Reading===
(If <math>d</math> is a divisor of <math>a</math> (<math>d | a</math>), we say <math>a</math> is a [[multiple]] of <math>d</math>. For example, since <math>4 | 12</math>, 12 is a multiple of 4. If both <math>d_1</math> and <math>d_2</math> are divisors of <math>a</math>, we say <math>a</math> is a common multiple of <math>d_1</math> and <math>d_2</math>. Ignoring the sign (i.e., only considering nonnegative integers), there is a unique [[greatest common divisor]] of any two integers <math>a</math> and <math>b</math> written <math>\scriptstyle\operatorname{gcd}(a, b)</math> or, more commonly, <math>(a, b)</math>. The greatest common divisor of 12 and 8 is 4, the greatest common divisor of 15 and 16 is 1. Two numbers with a greatest common divisor of 1 are said to be [[relatively prime]]. Complementary to the notion of greatest common divisor is [[least common multiple]]. The least common multiple of <math>a</math> and <math>b</math> is the smallest (positive) integer <math>m</math> such that <math>a | m</math> and <math>b | m</math>. Thus, the least common multiple of 12 and 9 is 36 (written <math>[12, 9] = 36</math>).
 
==Abstract divisors==
 
In higher mathematics, the notion of divisor has been abstracted from the integers to the context of general [[commutative ring]]s.  In this setting, they might be termed [[divisor (ring theory)|abstract divisor]]s.
 
==Further reading==
*{{cite book
*{{cite book
|last = Scharlau
|last = Scharlau
Line 32: Line 43:
|publisher = Springer-Verlag
|publisher = Springer-Verlag
|date = 1985
|date = 1985
|isbn = 0-387-90942-7 }}
|isbn = 0-387-90942-7 }}[[Category:Suggestion Bot Tag]]
 
[[Category:CZ Live]]
[[Category:Mathematics Workgroup]]

Latest revision as of 16:01, 7 August 2024

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.
This article is about mathematical divisors. For other uses of the term Divisor, please see Divisor (disambiguation).

Given two integers d and a, where d is nonzero, 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. Though any number divides itself (as does its negative), it is said not to be a proper divisor. 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 .
−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 0 · dk = 0 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.

Notation

If is a divisor of a (we also say that divides , this fact may be expressed by writing . Similarly, if does not divide , we write . For example, but .

Related concepts

(If is a divisor of (), we say is a multiple of . For example, since , 12 is a multiple of 4. If both Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle d_1} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle d_2} are divisors of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} , we say is a common multiple of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle d_1} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle d_2} . Ignoring the sign (i.e., only considering nonnegative integers), there is a unique greatest common divisor of any two integers Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} and written Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \scriptstyle\operatorname{gcd}(a, b)} or, more commonly, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a, b)} . The greatest common divisor of 12 and 8 is 4, the greatest common divisor of 15 and 16 is 1. Two numbers with a greatest common divisor of 1 are said to be relatively prime. Complementary to the notion of greatest common divisor is least common multiple. The least common multiple of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} and is the smallest (positive) integer Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle m} such that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a | m} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b | m} . Thus, the least common multiple of 12 and 9 is 36 (written ).

Abstract divisors

In higher mathematics, the notion of divisor has been abstracted from the integers to the context of general commutative rings. In this setting, they might be termed abstract divisors.

Further reading

  • Scharlau, Winfried; Opolka, Hans (1985). From Fermat to Minkowski: Lectures on the Theory of Numbers and its Historical Development. Springer-Verlag. ISBN 0-387-90942-7.