# Searching for primitive roots in finite fields

Research output: Contribution to journalArticle

### Abstract

Let GF(pn) be the finite field with pn elements, where p is prime. We consider the problem of how to deterministically generate in polynomial time a subset of GF(pn) that contains a primitive root, i.e., an element that generates the multiplicative group of nonzero elements in GF(pn). We present three results. First, we present a solution to this problem for the case where p is small, i.e., p = nO(1). Second, we present a solution to this problem under the assumption of the Extended Riemann Hypothesis (ERH) for the case where p is large and n = 2. Third, we give a quantitative improvement of a theorem of Wang on the least primitive root for GF(p), assuming the ERH.

Original language English (US) 369-380 12 Mathematics of Computation 58 197 https://doi.org/10.1090/S0025-5718-1992-1106981-9 Published - 1992

### Fingerprint

Primitive Roots
Set theory
Galois field
Riemann hypothesis
Polynomials
Multiplicative
Polynomial time
Subset
Theorem

### ASJC Scopus subject areas

• Algebra and Number Theory
• Computational Mathematics
• Applied Mathematics

### Cite this

In: Mathematics of Computation, Vol. 58, No. 197, 1992, p. 369-380.

Research output: Contribution to journalArticle

@article{17f96639e5dc461382abf51af87b8a2b,
title = "Searching for primitive roots in finite fields",
abstract = "Let GF(pn) be the finite field with pn elements, where p is prime. We consider the problem of how to deterministically generate in polynomial time a subset of GF(pn) that contains a primitive root, i.e., an element that generates the multiplicative group of nonzero elements in GF(pn). We present three results. First, we present a solution to this problem for the case where p is small, i.e., p = nO(1). Second, we present a solution to this problem under the assumption of the Extended Riemann Hypothesis (ERH) for the case where p is large and n = 2. Third, we give a quantitative improvement of a theorem of Wang on the least primitive root for GF(p), assuming the ERH.",
author = "Victor Shoup",
year = "1992",
doi = "10.1090/S0025-5718-1992-1106981-9",
language = "English (US)",
volume = "58",
pages = "369--380",
journal = "Mathematics of Computation",
issn = "0025-5718",
publisher = "American Mathematical Society",
number = "197",

}

TY - JOUR

T1 - Searching for primitive roots in finite fields

AU - Shoup, Victor

PY - 1992

Y1 - 1992

N2 - Let GF(pn) be the finite field with pn elements, where p is prime. We consider the problem of how to deterministically generate in polynomial time a subset of GF(pn) that contains a primitive root, i.e., an element that generates the multiplicative group of nonzero elements in GF(pn). We present three results. First, we present a solution to this problem for the case where p is small, i.e., p = nO(1). Second, we present a solution to this problem under the assumption of the Extended Riemann Hypothesis (ERH) for the case where p is large and n = 2. Third, we give a quantitative improvement of a theorem of Wang on the least primitive root for GF(p), assuming the ERH.

AB - Let GF(pn) be the finite field with pn elements, where p is prime. We consider the problem of how to deterministically generate in polynomial time a subset of GF(pn) that contains a primitive root, i.e., an element that generates the multiplicative group of nonzero elements in GF(pn). We present three results. First, we present a solution to this problem for the case where p is small, i.e., p = nO(1). Second, we present a solution to this problem under the assumption of the Extended Riemann Hypothesis (ERH) for the case where p is large and n = 2. Third, we give a quantitative improvement of a theorem of Wang on the least primitive root for GF(p), assuming the ERH.

UR - http://www.scopus.com/inward/record.url?scp=84968515930&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84968515930&partnerID=8YFLogxK

U2 - 10.1090/S0025-5718-1992-1106981-9

DO - 10.1090/S0025-5718-1992-1106981-9

M3 - Article

VL - 58

SP - 369

EP - 380

JO - Mathematics of Computation

JF - Mathematics of Computation

SN - 0025-5718

IS - 197

ER -