PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very low
Higgs prime (Definition)

A Higgs prime is a prime number $Hp_n$ for which, given an exponent $a$ it is the case that $$\phi(Hp_n)|\prod_{i = 1}^{n - 1} {Hp_i}^a,$$ (where $\phi(x)$ is Euler's totient function) and $Hp_n > Hp_{n - 1}$

For $a = 2$ the first few Higgs primes are 2, 3, 5, 7, 11, 13, 19, 23, 29, 31, 37, 43, 47, etc., listed in A007459 of Sloane's OEIS. So, for example, 13 is a Higgs prime because the square of the product of the smaller Higgs primes is 5336100, and divided by 12 this is 444675. But 17 is not a Higgs prime because the square of the product of the smaller primes is 901800900, which leaves a remainder of 4 when divided by 16.

From observation of the first few Higgs primes for squares through seventh powers, it would seem more compact to list those primes that are not Higgs primes. Observation further reveals that a Fermat prime $2^{2^n} + 1$ can't be a Higgs prime for the $a$ power if $a < 2^n$

It's not known if there are infinitely many Higgs primes for any exponent $a > 1$ The situation is quite different for $a = 1$ There are only four of them: 2, 3, 7 and 43 (a sequence suspiciously similar to Sylvester's sequence). In 1993, Burris and Lee found that about a fifth of the primes below a million are Higgs prime, and they concluded that even if the sequence of Higgs primes for squares is finite, ``a computer enumeration is not feasible.''

Bibliography

1
S. Burris & S. Lee, ``Tarski's high school identities'', Amer. Math. Monthly 100 (1993): 233
2
N. Sloane & S. Plouffe, The Encyclopedia of Integer Sequences, New York: Academic Press (1995): M0660




"Higgs prime" is owned by PrimeFan.
(view preamble | get metadata)

View style:

Other names:  Higgs' prime, Higgs's prime, Higg's prime, Higg prime
Log in to rate this entry.
(view current ratings)

Cross-references: finite, even, Sylvester's sequence, similar, sequence, Fermat prime, compact, remainder, product, square, OEIS, Euler's totient function, exponent, prime number

This is version 3 of Higgs prime, born on 2007-02-20, modified 2007-02-22.
Object id is 8939, canonical name is HiggsPrime.
Accessed 2813 times total.

Classification:
AMS MSC11A41 (Number theory :: Elementary number theory :: Primes)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy
Clarifications by mclase on 2007-02-21 15:23:26
Wouldn't it be simpler to replace \phi(Hp_n) with Hp_n - 1 and the condition \pi(Hp_n) > \pi(Hp_{n-1}) with Hp_n > Hp_{n-1}?

Since Hp_n is prime, it seems that these are equivalent and simpler formulations.

Also, it would be nice to have some motivation for the definition -- do these sequences of primes arise from some other considerations?

[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)