Refactorable Number
   HOME

TheInfoList



OR:

A refactorable number or tau number is an integer ''n'' that is divisible by the count of its
divisor In mathematics, a divisor of an integer n, also called a factor of n, is an integer m that may be multiplied by some integer to produce n. In this case, one also says that n is a multiple of m. An integer n is divisible or evenly divisible by ...
s, or to put it algebraically, ''n'' is such that \tau(n)\mid n. The first few refactorable numbers are listed in as : 1, 2, 8, 9, 12, 18, 24, 36, 40, 56, 60, 72, 80, 84, 88, 96,
104 104 may refer to: *104 (number), a natural number *AD 104, a year in the 2nd century AD *104 BC, a year in the 2nd century BC * 104 (MBTA bus), Massachusetts Bay Transportation Authority bus route * Hundred and Four (or Council of 104), a Carthagini ...
, 108,
128 128 may refer to * 128 (number), a natural number * AD 128, a year in the 2nd century AD * 128 BC, a year in the 2nd century BC * 128 (New Jersey bus) See also * List of highways numbered A ''list'' is any set of items in a row. List or lists ma ...
, 132, 136,
152 Year 152 ( CLII) was a leap year starting on Friday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Glabrio and Homullus (or, less frequently, year 905 ''Ab urbe condita'' ...
,
156 Year 156 ( CLVI) was a leap year starting on Wednesday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Silvanus and Augurinus (or, less frequently, year 909 '' Ab urbe co ...
, 180, 184,
204 __NOTOC__ Year 204 ( CCIV) was a leap year starting on Sunday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Cilo and Flavius (or, less frequently, year 957 ''Ab urbe c ...
,
225 __NOTOC__ Year 225 (Roman numerals, CCXXV) was a common year starting on Saturday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Fuscus and Domitius (or, less frequently ...
, 228,
232 Year 232 ( CCXXXII) was a leap year starting on Sunday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Lupus and Maximus (or, less frequently, year 985 ''Ab urbe condita'' ...
,
240 __NOTOC__ Year 240 ( CCXL) was a leap year starting on Wednesday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Sabinus and Venustus (or, less frequently, year 993 ''Ab u ...
,
248 __NOTOC__ Year 248 ( CCXLVIII) was a leap year starting on Saturday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Philippus and Severus (or, less frequently, year 1001 ...
,
252 Year 252 ( CCLII) was a leap year starting on Thursday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Trebonianus and Volusianus (or, less frequently, year 1005 ''Ab urbe ...
,
276 __NOTOC__ Year 276 ( CCLXXVI) was a leap year starting on Saturday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Tacitus and Aemilianus (or, less frequently, year 1029 ...
, 288,
296 __NOTOC__ Year 296 ( CCXCVI) was a leap year starting on Wednesday (link will display the full calendar) of the Julian calendar. In the Roman Empire, it was known as the Year of the Consulship of Diocletian and Constantius (or, less frequent ...
, ... For example, 18 has 6 divisors (1 and 18, 2 and 9, 3 and 6) and is divisible by 6. There are infinitely many refactorable numbers.


Properties

Cooper and Kennedy proved that refactorable numbers have
natural density In number theory, natural density (also referred to as asymptotic density or arithmetic density) is one method to measure how "large" a subset of the set of natural numbers is. It relies chiefly on the probability of encountering members of the ...
zero. Zelinsky proved that no three consecutive integers can all be refactorable. Colton proved that no refactorable number is
perfect Perfect commonly refers to: * Perfection, completeness, excellence * Perfect (grammar), a grammatical category in some languages Perfect may also refer to: Film * Perfect (1985 film), ''Perfect'' (1985 film), a romantic drama * Perfect (2018 f ...
. The equation \gcd(n,x) = \tau(n) has solutions only if n is a refactorable number, where \gcd is the
greatest common divisor In mathematics, the greatest common divisor (GCD) of two or more integers, which are not all zero, is the largest positive integer that divides each of the integers. For two integers ''x'', ''y'', the greatest common divisor of ''x'' and ''y'' i ...
function. Let T(x) be the number of refactorable numbers which are at most x. The problem of determining an asymptotic for T(x) is open. Spiro has proven that T(x) = \frac There are still unsolved problems regarding refactorable numbers. Colton asked if there are there arbitrarily large n such that both n and n + 1 are refactorable. Zelinsky wondered if there exists a refactorable number n_0 \equiv a \mod m, does there necessarily exist n > n_0 such that n is refactorable and n \equiv a \mod m.


History

First defined by Curtis Cooper and Robert E. Kennedy where they showed that the tau numbers have
natural density In number theory, natural density (also referred to as asymptotic density or arithmetic density) is one method to measure how "large" a subset of the set of natural numbers is. It relies chiefly on the probability of encountering members of the ...
zero, they were later rediscovered by
Simon Colton Simon Colton (London, 1973)El Pais "Las máquinas dan signos de saber apreciar la pintura"elpais.com 25.09.2010. Accessed 22 June 2011. is a British computer scientist, currently working as Professor of Computational Creativity in the Game AI Res ...
using a computer program he had made which invents and judges definitions from a variety of areas of mathematics such as
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Math ...
and
graph theory In mathematics, graph theory is the study of '' graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conn ...
.S. Colton,
Refactorable Numbers - A Machine Invention
" ''Journal of Integer Sequences'', Vol. 2 (1999), Article 99.1.2
Colton called such numbers "refactorable". While computer programs had discovered proofs before, this discovery was one of the first times that a computer program had discovered a new or previously obscure idea. Colton proved many results about refactorable numbers, showing that there were infinitely many and proving a variety of congruence restrictions on their distribution. Colton was only later alerted that Kennedy and Cooper had previously investigated the topic.


See also

*
Divisor function In mathematics, and specifically in number theory, a divisor function is an arithmetic function related to the divisors of an integer. When referred to as ''the'' divisor function, it counts the ''number of divisors of an integer'' (includi ...


References

{{Classes of natural numbers Integer sequences