Displaying similar documents to “A reduction of the Čebotarev density theorem to the cyclic case”

Properties of Primes and Multiplicative Group of a Field

Kenichi Arai, Hiroyuki Okazaki (2009)

Formalized Mathematics

Similarity:

In the [16] has been proven that the multiplicative group Z/pZ* is a cyclic group. Likewise, finite subgroup of the multiplicative group of a field is a cyclic group. However, finite subgroup of the multiplicative group of a field being a cyclic group has not yet been proven. Therefore, it is of importance to prove that finite subgroup of the multiplicative group of a field is a cyclic group.Meanwhile, in cryptographic system like RSA, in which security basis depends upon the difficulty...