Editing Repunit

{{short description|Numbers that contain only the digit 1}}
{{pp-semi-indef|small=yes}}
{{Infobox integer sequence
| name = Repunit prime
| terms_number       = 11
| con_number         = Infinite
| first_terms        = [[11 (number)|11]], 1111111111111111111, 11111111111111111111111
| largest_known_term = (10<sup>8177207</sup>−1)/9
| OEIS               = A004022
| OEIS_name          = Primes of the form (10^n − 1)/9
}}

In [[recreational mathematics]], a '''repunit''' is a [[number]] like 11, 111, or 1111 that contains only the digit [[1 (number)|1]] &mdash; a more specific type of [[repdigit]]. The term stands for "repeated unit" and was coined in 1966 by Albert H. Beiler in his book ''Recreations in the Theory of Numbers''.{{refn|group=note|Albert H. Beiler coined the term "repunit number" as follows:<blockquote>A number which consists of a repeated of a single digit is sometimes called a monodigit number, and for convenience the author has used the term "repunit number" (repeated unit) to represent monodigit numbers consisting solely of the digit 1.<ref>{{Harvnb|Beiler|2013|pp=83}}</ref></blockquote>}}<!--- Original publication was 1964; did he coin repunit in that edition? or was this added in 1966? --->

A '''repunit prime''' is a repunit that is also a [[prime number]]. Primes that are repunits in [[Binary number|base-2]] are [[Mersenne prime]]s. As of October 2024, the [[largest known prime number]] {{nowrap|2<sup>136,279,841</sup> − 1}}, the largest [[probable prime]] ''R''<sub>8177207</sub> and the largest [[elliptic curve primality]]-proven prime ''R''<sub>86453</sub> are all repunits in various bases.

== Definition ==

The base-''b'' repunits are defined as (this ''b'' can be either positive or negative)
:<math>R_n^{(b)}\equiv 1 + b + b^2 + \cdots + b^{n-1} = {b^n-1\over{b-1}}\qquad\mbox{for }|b|\ge2, n\ge1.</math>
Thus, the number ''R''<sub>''n''</sub><sup>(''b'')</sup> consists of ''n'' copies of the digit 1 in base-''b'' representation. The first two repunits base-''b'' for ''n''&thinsp;=&thinsp;1 and ''n''&thinsp;=&thinsp;2 are 
:<math>R_1^{(b)}={b-1\over{b-1}}= 1 \qquad \text{and} \qquad R_2^{(b)}={b^2-1\over{b-1}}= b+1\qquad\text{for}\ |b|\ge2.</math>

In particular, the ''[[decimal]] (base-''10'') repunits'' that are often referred to as simply ''repunits'' are defined as
:<math>R_n \equiv R_n^{(10)} = {10^n-1\over{10-1}} = {10^n-1\over9}\qquad\mbox{for } n \ge 1.</math>
Thus, the number ''R''<sub>''n''</sub> = ''R''<sub>''n''</sub><sup>(10)</sup> consists of ''n'' copies of the digit 1 in base 10 representation. The sequence of repunits base-10 starts with
: [[1 (number)|1]], [[11 (number)|11]], [[111 (number)|111]], 1111, 11111, 111111, ... {{OEIS|A002275}}.

Similarly, the repunits base-2 are defined as
:<math>R_n^{(2)} = {2^n-1\over{2-1}} = {2^n-1}\qquad\mbox{for }n \ge 1.</math>
Thus, the number ''R''<sub>''n''</sub><sup>(2)</sup> consists of ''n'' copies of the digit 1 in base-2 representation. In fact, the base-2 repunits are the well-known [[Mersenne prime|Mersenne number]]s ''M''<sub>''n''</sub>&nbsp;=&nbsp;2<sup>''n''</sup>&nbsp;&minus;&nbsp;1, they start with
:1, 3, 7, 15, 31, 63, 127, 255, 511, 1023, 2047, 4095, 8191, 16383, 32767, 65535, ... {{OEIS|id=A000225}}.

== Properties ==
* Any repunit in any base having a composite number of digits is necessarily composite.  For example,
*: ''R''<sub>35</sub><sup>(''b'')</sup> = {{loop|35|1}} = {{loop|5|1}} × 1{{loop|6|{{loop|4|0}}1}} = {{loop|7|1}} × 1{{loop|4|{{loop|6|0}}1}},
:since 35 = 7 × 5 = 5 × 7.  This repunit factorization does not depend on the base-''b'' in which the repunit is expressed.
:Only repunits (in any base) having a prime number of digits can be prime. This is a [[Necessity and sufficiency|necessary but not sufficient condition]].  For example,
:: ''R''<sub>11</sub><sup>(2)</sup> = 2<sup>11</sup> − 1 = 2047 = 23 × 89.
* If ''p'' is an odd prime, then every prime ''q'' that divides ''R''<sub>''p''</sub><sup>(''b'')</sup> must be either 1 plus a multiple of 2''p,'' or a factor of ''b'' − 1. For example, a prime factor of ''R''<sub>29</sub> is 62003 = 1 + 2·29·1069. The reason is that the prime ''p'' is the smallest exponent greater than 1 such that ''q'' divides ''b<sup>p</sup>'' − 1, because ''p'' is prime. Therefore, unless ''q'' divides ''b'' − 1, ''p'' divides the [[Carmichael function]] of ''q'', which is even and equal to ''q'' − 1. 
*Any positive multiple of the repunit ''R''<sub>''n''</sub><sup>(''b'')</sup> contains at least ''n'' nonzero digits in base-''b''.
* Any number ''x'' is a two-digit repunit in base x − 1.
* The only known numbers that are repunits with at least 3 digits in more than one base simultaneously are 31 (111 in base-5, 11111 in base-2) and 8191 (111 in base-90, 1111111111111 in base-2). The [[Goormaghtigh conjecture]] says there are only these two cases.
* Using the [[pigeon-hole principle]] it can be easily shown that for [[Coprime integers|relatively prime]] natural numbers ''n'' and ''b'', there exists a repunit in base-''b'' that is a multiple of ''n''. To see this consider repunits ''R''<sub>1</sub><sup>(''b'')</sup>,...,''R''<sub>''n''</sub><sup>(''b'')</sup>. Because there are ''n'' repunits but only ''n''−1 non-zero residues modulo ''n'' there exist two repunits ''R''<sub>''i''</sub><sup>(''b'')</sup> and ''R''<sub>''j''</sub><sup>(''b'')</sup> with 1 ≤ ''i'' < ''j'' ≤ ''n'' such that ''R''<sub>''i''</sub><sup>(''b'')</sup> and ''R''<sub>''j''</sub><sup>(''b'')</sup> have the same residue modulo ''n''. It follows that ''R''<sub>''j''</sub><sup>(''b'')</sup> − ''R''<sub>''i''</sub><sup>(''b'')</sup> has residue 0 modulo ''n'', i.e. is divisible by ''n''. Since ''R''<sub>''j''</sub><sup>(''b'')</sup> − ''R''<sub>''i''</sub><sup>(''b'')</sup> consists of ''j'' − ''i'' ones followed by ''i'' zeroes, {{nowrap|1=''R''<sub>''j''</sub><sup>(''b'')</sup> − ''R''<sub>''i''</sub><sup>(''b'')</sup> = ''R''<sub>''j''−''i''</sub><sup>(''b'')</sup> × ''b''<sup>''i''</sup>}}. Now ''n'' divides the left-hand side of this equation, so it also divides the right-hand side, but since ''n'' and ''b'' are relatively prime, ''n'' must divide ''R''<sub>''j''−''i''</sub><sup>(''b'')</sup>.
* The [[Feit–Thompson conjecture]] is that ''R''<sub>''q''</sub><sup>(''p'')</sup> never divides ''R''<sub>''p''</sub><sup>(''q'')</sup> for two distinct primes ''p'' and ''q''.
* Using the [[Euclidean Algorithm]] for repunits definition: ''R''<sub>1</sub><sup>(''b'')</sup> = 1; ''R''<sub>''n''</sub><sup>(''b'')</sup> = ''R''<sub>''n''−1</sub><sup>(''b'')</sup> × ''b'' + 1, any consecutive repunits ''R''<sub>''n''−1</sub><sup>(''b'')</sup> and ''R''<sub>''n''</sub><sup>(''b'')</sup> are relatively prime in any base-''b'' for any ''n''.
* If ''m'' and ''n'' have a common divisor ''d'', ''R''<sub>''m''</sub><sup>(''b'')</sup> and ''R''<sub>''n''</sub><sup>(''b'')</sup> have the common divisor ''R''<sub>''d''</sub><sup>(''b'')</sup> in any base-''b'' for any ''m'' and ''n''. That is, the repunits of a fixed base form a [[Divisibility sequence|strong divisibility sequence]]. As a consequence, If ''m'' and ''n'' are relatively prime, ''R''<sub>''m''</sub><sup>(''b'')</sup> and ''R''<sub>''n''</sub><sup>(''b'')</sup> are relatively prime. The Euclidean Algorithm is based on ''gcd''(''m'', ''n'') = ''gcd''(''m'' − ''n'', ''n'') for ''m'' > ''n''. Similarly, using ''R''<sub>''m''</sub><sup>(''b'')</sup> − ''R''<sub>''n''</sub><sup>(''b'')</sup> × ''b''<sup>''m''−''n''</sup> = ''R''<sub>''m''−''n''</sub><sup>(''b'')</sup>, it can be easily shown that ''gcd''(''R''<sub>''m''</sub><sup>(''b'')</sup>, ''R''<sub>''n''</sub><sup>(''b'')</sup>) = ''gcd''(''R''<sub>''m''−''n''</sub><sup>(''b'')</sup>, ''R''<sub>''n''</sub><sup>(''b'')</sup>) for ''m'' > ''n''. Therefore, if ''gcd''(''m'', ''n'') = ''d'', then ''gcd''(''R''<sub>''m''</sub><sup>(''b'')</sup>, ''R''<sub>''n''</sub><sup>(''b'')</sup>) = ''R<sub>d</sub>''<sup>(''b'')</sup>.

== Factorization of decimal repunits ==

(Prime factors colored {{color|red|red}} means "new factors", i. e. the prime factor divides ''R''<sub>''n''</sub> but does not divide ''R''<sub>''k''</sub> for all ''k'' < ''n'') {{OEIS|id=A102380}}<ref>For more information, see [http://stdkmd.net/nrr/repunit/ Factorization of repunit numbers].</ref>

{|
|-
||
{|
|-
|''R''<sub>1</sub> =||1
|-
|''R''<sub>2</sub> =||{{color|red|11}}
|-
|''R''<sub>3</sub> =||{{color|red|3}} · {{color|red|37}}
|-
|''R''<sub>4</sub> =||11 · {{color|red|101}}
|-
|''R''<sub>5</sub> =||{{color|red|41}} · {{color|red|271}}
|-
|''R''<sub>6</sub> =||3 · {{color|red|7}} · 11 · {{color|red|13}} · 37
|-
|''R''<sub>7</sub> =||{{color|red|239}} · {{color|red|4649}}
|-
|''R''<sub>8</sub> =||11 · {{color|red|73}} · 101 · {{color|red|137}}
|-
|''R''<sub>9</sub> =||3<sup>2</sup> · 37 · {{color|red|333667}}
|-
|''R''<sub>10</sub> =||11 · 41 · 271 · {{color|red|9091}}
|}
||
{|
|-
|''R''<sub>11</sub> =||{{color|red|21649}} · {{color|red|513239}}
|-
|''R''<sub>12</sub> =||3 · 7 · 11 · 13 · 37 · 101 · {{color|red|9901}}
|-
|''R''<sub>13</sub> =||{{color|red|53}} · {{color|red|79}} · {{color|red|265371653}}
|-
|''R''<sub>14</sub> =||11 · 239 · 4649 · {{color|red|909091}}
|-
|''R''<sub>15</sub> =||3 · {{color|red|31}} · 37 · 41 · 271 · {{color|red|2906161}}
|-
|''R''<sub>16</sub> =||11 · {{color|red|17}} · 73 · 101 · 137 · {{color|red|5882353}}
|-
|''R''<sub>17</sub> =||{{color|red|2071723}} · {{color|red|5363222357}}
|-
|''R''<sub>18</sub> =||3<sup>2</sup> · 7 · 11 · 13 · {{color|red|19}} · 37 · {{color|red|52579}} · 333667
|-
|''R''<sub>19</sub> =||{{color|red|{{loop|19|1}}}}
|-
|''R''<sub>20</sub> =||11 · 41 · 101 · 271 · {{color|red|3541}} · 9091 · {{color|red|27961}}
|}
||
{|
|-
|''R''<sub>21</sub> =||3 · 37 · {{color|red|43}} · 239 · {{color|red|1933}} · 4649 · {{color|red|10838689}}
|-
|''R''<sub>22</sub> =||11<sup>2</sup> · {{color|red|23}} · {{color|red|4093}} · {{color|red|8779}} · 21649 · 513239
|-
|''R''<sub>23</sub> =||{{color|red|{{loop|23|1}}}}
|-
|''R''<sub>24</sub> =||3 · 7 · 11 · 13 · 37 · 73 · 101 · 137 · 9901 · {{color|red|99990001}}
|-
|''R''<sub>25</sub> =||41 · 271 · {{color|red|21401}} · {{color|red|25601}} · {{color|red|182521213001}}
|-
|''R''<sub>26</sub> =||11 · 53 · 79 · {{color|red|859}} · 265371653 · {{color|red|1058313049}}
|-
|''R''<sub>27</sub> =||3<sup>3</sup> · 37 · {{color|red|757}} · 333667 · {{color|red|440334654777631}}
|-
|''R''<sub>28</sub> =||11 · {{color|red|29}} · 101 · 239 · {{color|red|281}} · 4649 · 909091 · {{color|red|121499449}}
|-
|''R''<sub>29</sub> =||{{color|red|3191}} · {{color|red|16763}} · {{color|red|43037}} · {{color|red|62003}} · {{color|red|77843839397}}
|-
|''R''<sub>30</sub> =||3 · 7 · 11 · 13 · 31 · 37 · 41 · {{color|red|211}} · {{color|red|241}} · 271 · {{color|red|2161}} · 9091 · 2906161
|}
|}

Smallest prime factor of ''R''<sub>''n''</sub> for ''n'' > 1 are
:11, 3, 11, 41, 3, 239, 11, 3, 11, 21649, 3, 53, 11, 3, 11, 2071723, 3, 1111111111111111111, 11, 3, 11, 11111111111111111111111, 3, 41, 11, 3, 11, 3191, 3, 2791, 11, 3, 11, 41, 3, 2028119, 11, 3, 11, 83, 3, 173, 11, 3, 11, 35121409, 3, 239, 11, ... {{OEIS|id=A067063}}

==Repunit primes==
{{main list|List of repunit primes}}

The definition of repunits was motivated by recreational mathematicians looking for [[integer factorization|prime factors]] of such numbers.

It is easy to show that if ''n'' is divisible by ''a'', then ''R''<sub>''n''</sub><sup>(''b'')</sup> is divisible by ''R''<sub>''a''</sub><sup>(''b'')</sup>:

:<math>R_n^{(b)}=\frac{1}{b-1}\prod_{d|n}\Phi_d(b),</math>

where <math>\Phi_d(x)</math> is the <math>d^\mathrm{th}</math> [[cyclotomic polynomial]] and ''d'' ranges over the divisors of ''n''. For ''p'' prime,

:<math>\Phi_p(x)=\sum_{i=0}^{p-1}x^i,</math>

which has the expected form of a repunit when ''x'' is substituted with ''b''.

For example, 9 is divisible by 3, and thus ''R''<sub>9</sub> is divisible by ''R''<sub>3</sub>&mdash;in fact, 111111111&nbsp;=&nbsp;111&nbsp;·&nbsp;1001001. The corresponding cyclotomic polynomials <math>\Phi_3(x)</math> and <math>\Phi_9(x)</math> are <math>x^2+x+1</math> and <math>x^6+x^3+1</math>, respectively. Thus, for ''R''<sub>''n''</sub> to be prime, ''n'' must necessarily be prime, but it is not sufficient for ''n'' to be prime. For example, ''R''<sub>3</sub>&nbsp;=&nbsp;111&nbsp;=&nbsp;3&nbsp;·&nbsp;37 is not prime. Except for this case of ''R''<sub>3</sub>,  ''p'' can only divide ''R''<sub>''n''</sub> for prime ''n'' if ''p'' = 2''kn'' + 1 for some ''k''.

=== Decimal repunit primes ===
''R''<sub>''n''</sub> is prime for ''n''&nbsp;=&nbsp;2,&nbsp;19,&nbsp;23, 317, 1031, 49081, 86453, 109297  ... (sequence [[OEIS:A004023|A004023]] in [[OEIS]]). On July 15, 2007, Maksym Voznyy announced ''R''<sub>270343</sub> to be probably prime.<ref>Maksym Voznyy, ''[https://listserv.nodak.edu/cgi-bin/wa.exe?A2=ind0707&L=NMBRTHRY&P=5903 New PRP Repunit R(270343)]''</ref> Serge Batalov and Ryan Propper found ''R''<sub>5794777</sub> and ''R''<sub>8177207</sub> to be probable primes on April 20 and May 8, 2021, respectively.<ref>{{cite OEIS|A004023|2=Indices of prime repunits: numbers n such that 11...111 (with n 1's) = (10^n - 1)/9 is prime.}}</ref> As of their discovery, each was the largest known probable prime. On March 22, 2022, probable prime ''R''<sub>49081</sub> was eventually proven to be a prime.<ref>{{cite web |url=https://primes.utm.edu/primes/page.php?id=133761 |title=PrimePage Primes: R(49081) |date=2022-03-21 |website=PrimePage Primes |access-date=2022-03-31}}</ref> On May 15, 2023, probable prime ''R''<sub>86453</sub> was eventually proven to be a prime.<ref>{{cite web |url=https://primes.utm.edu/primes/page.php?id=136044 |title=PrimePage Primes: R(86453) |date=2023-05-16 |website=PrimePage Primes |access-date=2023-05-16}}</ref> On May 26, 2025, probable prime ''R''<sub>109297</sub> was eventually proven to be a prime.<ref>{{cite web |url=https://primes.utm.edu/primes/page.php?id=140799 |title=PrimePage Primes: R(109297) |date=2025-05-27|website=PrimePage Primes |access-date=2025-05-27}}</ref>

It has been conjectured that there are infinitely many repunit primes<ref>{{cite web |author=Chris Caldwell |url=http://primes.utm.edu/glossary/page.php?sort=Repunit |work=The Prime Glossary |title=repunit |publisher=[[Prime Pages]]}}</ref> and they seem to occur roughly as often as the [[prime number theorem]] would predict: the exponent of the ''N''th repunit prime is generally around a fixed multiple of the exponent of the (''N''−1)th.

The prime repunits are a trivial subset of the [[permutable prime]]s, i.e., primes that remain prime after any [[permutation]] of their digits.

Particular properties are

*The remainder of ''R''<sub>''n''</sub> modulo 3 is equal to the remainder of ''n'' modulo 3. Using 10<sup>''a''</sup> ≡ 1 (mod 3) for any ''a'' &ge; 0,<br />''n'' ≡ 0 (mod 3) ⇔ ''R''<sub>''n''</sub> ≡ 0 (mod 3) ⇔ ''R''<sub>''n''</sub> ≡ 0 (mod ''R''<sub>3</sub>),<br />''n'' ≡ 1 (mod 3) ⇔ ''R''<sub>''n''</sub> ≡ 1 (mod 3) ⇔ ''R''<sub>''n''</sub> ≡ ''R''<sub>1</sub> ≡ 1 (mod ''R''<sub>3</sub>),<br />''n'' ≡ 2 (mod 3) ⇔ ''R''<sub>''n''</sub> ≡ 2 (mod 3) ⇔ ''R''<sub>''n''</sub> ≡ ''R''<sub>2</sub> ≡ 11 (mod ''R''<sub>3</sub>).<br />Therefore, 3 | ''n'' ⇔ 3 | ''R''<sub>''n''</sub> ⇔ ''R''<sub>3</sub> | ''R''<sub>''n''</sub>.
* The remainder of ''R''<sub>''n''</sub> modulo 9 is equal to the remainder of ''n'' modulo 9. Using 10<sup>''a''</sup> ≡ 1 (mod 9) for any ''a'' &ge; 0,<br />''n'' ≡ ''r'' (mod 9) ⇔ ''R''<sub>''n''</sub> ≡ ''r'' (mod 9) ⇔ ''R''<sub>''n''</sub> ≡ ''R''<sub>''r''</sub> (mod ''R''<sub>9</sub>),<br />for 0 &le; ''r'' &lt; 9.<br />Therefore, 9 | ''n'' ⇔ 9 | ''R''<sub>''n''</sub> ⇔ ''R''<sub>9</sub> | ''R''<sub>''n''</sub>.

=== Algebra factorization of generalized repunit numbers ===
If ''b'' is a [[perfect power]] (can be written as ''m''<sup>''n''</sup>, with ''m'', ''n'' integers, ''n'' > 1) differs from 1, then there is at most one repunit in base-''b''. If ''n'' is a [[prime power]] (can be written as ''p''<sup>''r''</sup>, with ''p'' prime, ''r'' integer, ''p'', ''r'' >0), then all repunit in base-''b'' are not prime aside from ''R<sub>p</sub>'' and ''R<sub>2</sub>''. ''R<sub>p</sub>'' can be either prime or composite, the former examples, ''b'' = −216, −128, 4, 8, 16, 27, 36, 100, 128, 256, etc., the latter examples, ''b'' = −243, −125, −64, −32, −27, −8, 9, 25, 32, 49, 81, 121, 125, 144, 169, 196, 216, 225, 243, 289, etc., and ''R<sub>2</sub>'' can be prime (when ''p'' differs from 2) only if ''b'' is negative, a power of −2, for example, ''b'' = −8, −32, −128, −8192, etc., in fact, the ''R<sub>2</sub>'' can also be composite, for example, ''b'' = −512, −2048, −32768, etc. If ''n'' is not a prime power, then no base-''b'' repunit prime exists, for example, ''b'' = 64, 729 (with ''n'' = 6), ''b'' = 1024 (with ''n'' = 10), and ''b'' = −1 or 0 (with ''n'' any natural number). Another special situation is ''b'' = −4''k''<sup>4</sup>, with ''k'' positive integer, which has the [[aurifeuillean factorization]], for example, ''b'' = −4 (with ''k'' = 1, then ''R<sub>2</sub>'' and ''R<sub>3</sub>'' are primes), and ''b'' = −64, −324, −1024, −2500, −5184, ... (with ''k'' = 2, 3, 4, 5, 6, ...), then no base-''b'' repunit prime exists. It is also conjectured that when ''b'' is neither a perfect power nor −4''k''<sup>4</sup> with ''k'' positive integer, then there are infinity many base-''b'' repunit primes.

=== The generalized repunit conjecture ===

A conjecture related to the generalized repunit primes:<ref>[http://primes.utm.edu/mersenne/heuristic.html Deriving the Wagstaff Mersenne Conjecture]</ref><ref>[https://listserv.nodak.edu/cgi-bin/wa.exe?A2=ind0906&L=NMBRTHRY&P=R295&1=NMBRTHRY&9=A&J=on&d=No+Match%3BMatch%3BMatches&z=4 Generalized Repunit Conjecture]</ref> (the conjecture predicts where is the next [[generalized Mersenne prime]], if the conjecture is true, then there are infinitely many repunit primes for all bases <math>b</math>)

For any integer <math>b</math>, which satisfies the conditions:

# <math>|b|>1</math>.
# <math>b</math> is not a [[perfect power]]. (since when <math>b</math> is a perfect <math>r</math>th power, it can be shown that there is at most one <math>n</math> value such that <math>\frac{b^n-1}{b-1}</math> is prime, and this <math>n</math> value is <math>r</math> itself or a [[nth root|root]] of <math>r</math>)
# <math>b</math> is not in the form <math>-4k^4</math>. (if so, then the number has [[aurifeuillean factorization]])

has generalized repunit primes of the form

:<math>R_p(b)=\frac{b^p-1}{b-1}</math>

for prime <math>p</math>, the prime numbers will be distributed near the best fit line

:<math>
Y=G \cdot \log_{|b|}\left( \log_{|b|}\left( R_{(b)}(n) \right) \right)+C,
</math>

where limit <math>n\rightarrow\infty</math>, <math>G=\frac{1}{e^\gamma}=0.561459483566...</math>

and there are about

:<math>
\left( \log_e(N)+m \cdot \log_e(2) \cdot \log_e \big( \log_e(N) \big)
+\frac{1}{\sqrt N}-\delta \right) \cdot \frac{e^\gamma}{\log_e(|b|)}
</math>

base-''b'' repunit primes less than ''N''.

*<math>e</math> is the [[e (mathematical constant)|base of natural logarithm]].
*<math>\gamma</math> is [[Euler–Mascheroni constant]].
*<math>\log_{|b|}</math> is the [[logarithm]] in [[base of a logarithm|base]] <math>|b|</math>
*<math>R_{(b)}(n)</math> is the <math>n</math>th generalized repunit prime in base''b'' (with prime ''p'')
*<math>C</math> is a data fit constant which varies with <math>b</math>.
*<math>\delta=1</math> if <math>b>0</math>, <math>\delta=1.6</math> if <math>b<0</math>.
*<math>m</math> is the largest natural number such that <math>-b</math> is a <math>2^{m-1}</math>th power.

We also have the following 3 properties:

# The number of prime numbers of the form <math>\frac{b^n-1}{b-1}</math> (with prime <math>p</math>) less than or equal to <math>n</math> is about <math>e^\gamma \cdot \log_{|b|}\big(\log_{|b|}(n)\big)</math>.
# The expected number of prime numbers of the form <math>\frac{b^n-1}{b-1}</math> with prime <math>p</math> between <math>n</math> and <math>|b| \cdot n</math> is about <math>e^\gamma</math>. 
# The probability that number of the form <math>\frac{b^n-1}{b-1}</math> is prime (for prime <math>p</math>) is about <math>\frac{e^\gamma}{p \cdot \log_e(|b|)}</math>.

==History==
Although they were not then known by that name, repunits in base-10 were studied by many mathematicians during the nineteenth century in an effort to work out and predict the cyclic patterns of [[repeating decimal]]s.<ref name="Dickson1999">{{Harvnb|Dickson|Cresse|1999|pp=164–167}}</ref>

It was found very early on that for any prime ''p'' greater than 5, the [[Repeating decimal|period]] of the decimal expansion of 1/''p'' is equal to the length of the smallest repunit number that is divisible by ''p''. Tables of the period of reciprocal of primes up to 60,000 had been published by 1860 and permitted the [[integer factorization|factorization]] by such mathematicians as Reuschle of all repunits up to ''R<sub>16</sub>'' and many larger ones. By 1880, even ''R<sub>17</sub>'' to ''R<sub>36</sub>'' had been factored<ref name="Dickson1999" /> and it is curious that, though [[Édouard Lucas]] showed no prime below three million had period [[19 (number)|nineteen]], there was no attempt to test any repunit for primality until early in the twentieth century. The American mathematician Oscar Hoppe proved ''R<sub>19</sub>'' to be prime in 1916,<ref>{{Harvnb|Francis|1988|pp=240–246}}</ref> and Lehmer and Kraitchik independently found ''R<sub>23</sub>'' to be prime in 1929.

Further advances in the study of repunits did not occur until the 1960s, when computers allowed many new factors of repunits to be found and the gaps in earlier tables of prime periods corrected. ''R<sub>317</sub>'' was found to be a [[probable prime]] circa 1966 and was proved prime eleven years later, when ''R<sub>1031</sub>'' was shown to be the only further possible prime repunit with fewer than ten thousand digits. It was proven prime in 1986, but searches for further prime repunits in the following decade consistently failed. However, there was a major side-development in the field of generalized repunits, which produced a large number of new primes and probable primes.

Since 1999, four further probably prime repunits have been found, but it is unlikely that any of them will be proven prime in the foreseeable future because of their huge size.

The [[Cunningham project]] endeavours to document the integer factorizations of (among other numbers) the repunits to base 2, 3, 5, 6, 7, 10, 11, and 12.

== Demlo numbers ==
[[D. R. Kaprekar]] has defined Demlo numbers as concatenation of a left, middle and right part, where the left and right part must be of the same length (up to a possible leading zero to the left) and must add up to a repdigit number, and the middle part may contain any additional number of this repeated digit.<ref>{{harvs|nb|last=Kaprekar|year1=1938a|year2=1938b}}, {{Harvnb|Gunjikar|Kaprekar|1939}}</ref> 
They are named after [[Demlo]] railway station (now called [[Dombivli railway station|Dombivili]]) 30 miles from Bombay on the then [[G.I.P. Railway]], where Kaprekar started investigating them.
He calls ''Wonderful Demlo numbers'' those of the form 1, 121, 12321, 1234321, ..., 12345678987654321. The fact that these are the squares of the repunits has led some authors to call Demlo numbers the infinite sequence of these,<ref>{{MathWorld |title= Demlo Number |urlname=DemloNumber |ref=none}}</ref> 1, 121, 12321, ..., 12345678987654321, 1234567900987654321, 123456790120987654321, ..., {{OEIS|id=A002477}}, although one can check these are not Demlo numbers for ''p'' = 10, 19, 28, ...

==See also==
* [[All one polynomial]] — Another generalization
* [[Goormaghtigh conjecture]]
* [[Repeating decimal]]
* [[Repdigit]]
* [[Wagstaff prime]] — can be thought of as repunit primes with [[negative base]] <math>b = -2</math>

== Footnotes ==
=== Notes ===
{{reflist|group=note}}

=== References ===
{{reflist|30em}}

==References==
*{{Citation
|last=Beiler
|first=Albert H.
|author-link=Albert Beiler
|orig-year=1964
|date=2013
|title=Recreations in the Theory of Numbers: The Queen of Mathematics Entertains
|publisher=Dover Publications
|location=New York
|edition=2nd Revised
|series=Dover Recreational Math
|url={{Google books|NbbbL9gMJ88C|Recreations in the theory of numbers|plainurl=yes}}
|isbn=978-0-486-21096-4
}}
*{{Citation
|last1=Dickson
|first1=Leonard Eugene
|author-link=Leonard Eugene Dickson
|last2=Cresse
|first2=G.H.
|author2-link=G. H. Cresse
|year=1999
|title=History of the Theory of Numbers
|location=Providence, RI
|edition=2nd Reprinted
|publisher=AMS Chelsea Publishing
|series=Volume I: Divisibility and primality
|url={{Google books|XnwsAQAAIAAJ|History of the Theory of Numbers|plainurl=yes}}
|isbn=978-0-8218-1934-0
}}
*{{Citation
|last=Francis
|first=Richard L.
|author-link=Richard L. Francis
|year=1988
|title=Mathematical Haystacks: Another Look at Repunit Numbers
|journal=The College Mathematics Journal
|volume=19
|issue=3
|pages=240–246
|doi=10.1080/07468342.1988.11973120
}}
*{{Citation
|last1=Gunjikar
|first1=K. R.
|author-link=K. R. Gunjikar
|last2=Kaprekar
|first2=D. R.
|author-link2=D. R. Kaprekar
|year=1939
|title=Theory of Demlo numbers
|journal=Journal of the University of Bombay
|volume=VIII
|issue=3
|pages=3–9
|url=http://OEIS.org/A249605/a249605.pdf
}}
*{{Citation
|last=Kaprekar
|first=D. R.
|author-link=D. R. Kaprekar
|year=1938a
|title=On Wonderful Demlo numbers
|journal=The Mathematics Student 
|volume=6
|page=68
|url=http://www.indianmathsociety.org.in/
}}
*{{Citation
|last=Kaprekar
|first=D. R.
|author-link=D. R. Kaprekar
|year=1938b
|title=Demlo numbers
|journal=J. Phys. Sci. Univ. Bombay
|volume=VII
|issue=3
}}
*{{Citation
|last=Kaprekar
|first=D. R.
|author-link=D. R. Kaprekar
|year=1948
|title=Demlo numbers
|publisher=Khareswada
|place=Devlali, India
}}
*{{Citation
|last=Ribenboim
|first=Paulo
|author-link=Paulo Ribenboim
|date=1996-02-02
|title=The New Book of Prime Number Records
|publisher=Springer
|location=New York
|edition=3rd
|series=Computers and Medicine
|url={{Google books|2VTSBwAAQBAJ|The New Book of Prime Number Records|plainurl=yes}}
|isbn=978-0-387-94457-9
}}
*{{Citation
|last=Yates
|first=Samuel
|author-link=Samuel Yates
|year=1982
|title=Repunits and repetends
|publisher=Delray Beach
|location=FL
|isbn=978-0-9608652-0-8
|url={{Google books|3_vuAAAAMAAJ|Repunits and repetends|plainurl=yes}}
}}

==External links==
*{{mathworld|urlname=Repunit|title=Repunit}}
*[http://www.cerias.purdue.edu/homes/ssw/cun/third/pmain901 The main tables] of the [http://www.cerias.purdue.edu/homes/ssw/cun/ Cunningham project].
*[http://primes.utm.edu/glossary/page.php?sort=Repunit Repunit] at [[Prime Pages|The Prime Pages]] by Chris Caldwell.
*[http://www.worldofnumbers.com/repunits.htm Repunits and their prime factors] at [http://www.worldofnumbers.com World!Of Numbers].
*[https://web.archive.org/web/20131019185910/http://www.primes.viner-steward.org/andy/titans.html Prime generalized repunits] of at least 1000 decimal digits by Andy Steward
*[http://www.elektrosoft.it/matematica/repunit/repunit.htm Repunit Primes Project] Giovanni Di Maria's repunit primes page.
*[https://docs.google.com/document/d/e/2PACX-1vRha5-vd9Covl4k6I02lOEdWdhsXnBCeFT3FHyhMYTO1i7jtZdTV3wQw2yXgTNja5k_-XINgqL9VNmo/pub Smallest odd prime p such that (b^p-1)/(b-1) and (b^p+1)/(b+1) is prime for bases 2<=b<=1024]
*[http://stdkmd.net/nrr/repunit/ Factorization of repunit numbers]
*[http://www.primenumbers.net/Henri/us/MersFermus.htm Generalized repunit primes in base -50 to 50]

{{Classes of natural numbers}}
{{Prime number classes}}

[[Category:Integers]]
[[Category:Base-dependent integer sequences]]