A note on inverses of cyclotomic mapping permutation polynomials over finite fields

In this note, we give a shorter proof of the result of Zheng, Yu, and Pei on the explicit formula of inverses of generalized cyclotomic permutation polynomials over finite fields. Moreover, we characterize all these cyclotomic permutation polynomials that are involutions. Our results provide a fast algorithm (only modular operations are involved) to generate many classes of generalized cyclotomic permutation polynomials, their inverses, and involutions.     

A public-key cryptosystem utilizing cyclotomic fields

While it is well-known that the RSA public-key cryptosystem can be broken if its modulusN can be factored, it is not known whether there are other ways of breaking RSA. This paper presents a public-key scheme which necessarily requires knowledge of the factorization of its modulus in order to be broken. Rabin introduced the first system whose security is equivalent to the difficulty of factoring the modulus. His scheme is based on squaring (cubing) for encryption and extracting square (cube) roots for decryption. This introduces a 14 (19) ambiguity in the decryption. Various schemes which overcome this problem have been introduced for both the quadratic and cubic case. We generalize the ideas of Williams' cubic system to larger prime exponents. The cases of higher prime order introduce a number of problems not encountered in the quadratic and cubic cases, namely the existence of fundamental units in the underlying cyclotomic field, the evaluation of higher power residue symbols, and the increased difficulty of Euclidean division in the field.     

Arithmetic actions on cyclotomic function fields

We derive the group structure for cyclotomic function fields obtained by applying the Carlitz action for extensions of an initial constant field. The tame and wild structures are isolated to describe the Galois action on differentials. We show that the associated invariant rings are not polynomial.     

Reciprocal relations between cyclotomic fields

We describe a reciprocity relation between the prime ideal factorization, and related properties, of certain cyclotomic integers of the type ?n(c−ζm) in the cyclotomic field of the m-th roots of unity and that of the symmetrical elements ?m(c−ζn) in the cyclotomic field of the n-th roots. Here m and n are two positive integers, ?n is the n-th cyclotomic polynomial, ζm a primitive m-th root of unity, and c a rational integer. In particular, one of these integers is a prime element in one cyclotomic field if and only if its symmetrical counterpart is prime in the other cyclotomic field. More properties are also established for the special class of pairs of cyclotomic integers q(1−ζp)−1 and p(1−ζq)−1, where p and q are prime numbers.     

Modular lattices over cyclotomic fields

This paper is concerned with modular lattices over cyclotomic fields. In particular, the notion of Arakelov modular ideal lattice is introduced. All the cyclotomic fields over which there exists an Arakelov modular lattice of given level are characterised.     

Class numbers of cyclotomic fields

In the first part of the paper we show how to construct real cyclotomic fields with large class numbers. If the GRH holds then the class number h_p⁺ of the pth real cyclotomic field satisfies h_p⁺ > p for the prime p = 11290018777. If we allow n to be composite we have, unconditionally, that $\text{h}{}_{\mathrm{n}}{}^{\mathrm{+}}\text{> n}{}^{\mathrm{<mtext>3</mtext><mtext>2</mtext><mtext>\; ?\; \epsilon </mtext>}}$ for infinitely many n. In the second part of the paper we show that if l ?= 2 mod 4 and n is the product of 4 distinct primes congruent to 1 mod l, then $\text{l}\text{2}$ (l, if l is odd) divides the class number h_n⁺ of the nth cyclotomic field. If the primes are congruent to 1 mod 4l then 2l divides h_n⁺.     

Class number parity for cyclotomic fields

We give a simple criterion for the parity of the class number of the cyclotomic field.

     

The Schur group of cyclotomic fields

We compute the Schur group of the cyclotomic fields Q(?_m) and real quadratic fields $\text{Q(d}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}$ where d is a product of an even number of primes congruent to three modulo four. Some results are also given about the Schur group of certain subfields of cyclotomic fields.     

All double coverings of cyclotomic fields

A double covering of a Galois extension K/F in the sense of [3] is an extension /K of degree ≤2 such that /F is Galois. In this paper we determine explicitly all double coverings of any cyclotomic extension over the rational number field in the complex number field. We get the results mainly by Galois theory and by using and modifying the results and the methods in [2] and [3]. Project 10571097 supported by NSFC     

Class numbers of cyclotomic function fields

Let be a prime power and let be the finite field with elements. For each polynomial in , one could use the Carlitz module to construct an abelian extension of , called a Carlitz cyclotomic extension. Carlitz cyclotomic extensions play a fundamental role in the study of abelian extensions of , similar to the role played by cyclotomic number fields for abelian extensions of . We are interested in the tower of Carlitz cyclotomic extensions corresponding to the powers of a fixed irreducible polynomial in . Two types of properties are obtained for the -parts of the class numbers of the fields in this tower, for a fixed prime number . One gives congruence relations between the -parts of these class numbers. The other gives lower bound for the -parts of these class numbers.

     

Representation of cyclotomic fields and their subfields

Let $\mathbb{K}$ be a finite extension of a characteristic zero field $\mathbb{F}$ . We say that a pair of n × n matrices (A,B) over $\mathbb{F}$ represents $\mathbb{K}$ if $\mathbb{K} \cong {{\mathbb{F}\left[ A \right]} \mathord{\left/ {\vphantom {{\mathbb{F}\left[ A \right]} {\left\langle B \right\rangle }}} \right. \kern-0em} {\left\langle B \right\rangle }}$ , where $\mathbb{F}\left[ A \right]$ denotes the subalgebra of $\mathbb{M}_n \left( \mathbb{F} \right)$ containing A and 〈B〉 is an ideal in $\mathbb{F}\left[ A \right]$ , generated by B. In particular, A is said to represent the field $\mathbb{K}$ if there exists an irreducible polynomial $q\left( x \right) \in \mathbb{F}\left[ x \right]$ which divides the minimal polynomial of A and $\mathbb{K} \cong {{\mathbb{F}\left[ A \right]} \mathord{\left/ {\vphantom {{\mathbb{F}\left[ A \right]} {\left\langle {q\left( A \right)} \right\rangle }}} \right. \kern-0em} {\left\langle {q\left( A \right)} \right\rangle }}$ . In this paper, we identify the smallest order circulant matrix representation for any subfield of a cyclotomic field. Furthermore, if p is a prime and $\mathbb{K}$ is a subfield of the p-th cyclotomic field, then we obtain a zero-one circulant matrix A of size p × p such that (A, J) represents $\mathbb{K}$ , where J is the matrix with all entries 1. In case, the integer n has at most two distinct prime factors, we find the smallest order 0, 1-companion matrix that represents the n-th cyclotomic field. We also find bounds on the size of such companion matrices when n has more than two prime factors.     

Nontrivial Galois module structure of cyclotomic fields

We say a tame Galois field extension with Galois group has trivial Galois module structure if the rings of integers have the property that is a free -module. The work of Greither, Replogle, Rubin, and Srivastav shows that for each algebraic number field other than the rational numbers there will exist infinitely many primes so that for each there is a tame Galois field extension of degree so that has nontrivial Galois module structure. However, the proof does not directly yield specific primes for a given algebraic number field For any cyclotomic field we find an explicit so that there is a tame degree extension with nontrivial Galois module structure.

     

The class number of cyclotomic function fields

Let k be a rational function field over a finite field. Carlitz and Hayes have described a family of extensions of k which are analogous to the collection of cyclotomic extensions {Q(ζm)| m ≥ 2} of the rational field Q. We investigate arithmetic properties of these “cyclotomic function fields.” We introduce the notion of the maximal real subfield of the cyclotomic function field and develop class number formulas for both the cyclotomic function field and its maximal real subfield. Our principal result is the analogue of a classical theorem of Kummer which for a prime p and positive integer n relates the class number of Q(ζpn + ζpn?1), the maximal real subfield of Q(ζpn), to the index of the group of cyclotomic units in the full unit group of Z[ζpn].     

On the class numbers of cyclotomic fields

Let g_n denote the first factor of the class number of the nth cyclotomic field. It is proved that if n runs through a sequence of prime powers p^r tending to infinity, then

$\text{log}\text{g}{}_{\mathrm{n}}\text{～}\text{1}\text{4}\text{[1 ? (}\text{1}\text{p}\text{)]n}\text{log}\text{n}$

.