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,
108 108 may refer to: * 108 (number) * AD 108, a year * 108 BC, a year * 108 (artist) (born 1978), Italian street artist * 108 (band), an American hardcore band * 108 (emergency telephone number), an emergency telephone number in several states in Ind ...
, 128, 132, 136, 152, 156,
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, 204, 225, 228, 232, 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,
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 __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 de ...
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 de ...
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 arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777â ...
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 conne ...
.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'' (including ...


References

{{Classes of natural numbers Integer sequences