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 Carthagin ...
, 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 * * 12/8 (disambiguation) {{numberdis ...
,
132 132 may refer to: *132 (number) *AD 132 *132 BC __NOTOC__ Year 132 BC was a year of the pre-Julian Roman calendar. At the time it was known as the Year of the Consulship of Laenas and Rupilius (or, less frequently, year 622 ''Ab urbe condita'') ...
,
136 136 may refer to: *136 (number) *AD 136 *136 BC 136 may refer to: *136 (number) *AD 136 Year 136 ( CXXXVI) was a leap year starting on Saturday (link will display the full calendar) of the Julian calendar, the 136th Year of the Common Era (C ...
, 152,
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 con ...
,
180 __NOTOC__ Year 180 ( CLXXX) 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 Rusticus and Condianus (or, less frequently, year 933 ''Ab ...
,
184 __NOTOC__ Year 184 ( CLXXXIV) 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 Eggius and Aelianus (or, less frequently, year 937 ''Ab ...
,
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 ( 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, year 978 ''Ab ...
,
228 Year 228 ( CCXXVIII) was a leap year starting on Tuesday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Modestus and Maecius (or, less frequently, year 981 ''Ab urbe cond ...
,
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,
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 Year 288 ( CCLXXXVIII) was a leap year starting on Sunday (link will display the full calendar) of the Julian calendar. In the Roman Empire, it was known as the Year of the Consulship of Maximian and Ianuarianus (or, less frequently, year 1041 ...
, 296, ... 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 des ...
zero. Zelinsky proved that no three consecutive integers can all be refactorable. Colton proved that no refactorable number is perfect. 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'' is ...
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 des ...
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 Re ...
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, "Mathe ...
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