On the cyclotomic polynomial

For a given positive integer m and an algebraic number field K necessary and sufficient conditions for the mth cyclotomic polynomial to have K-integral solutions modulo a given integer of K are given. Among applications thereof are: that the solvability of the cyclotomic polynomial mod an integer yields information about the class number of related number fields; and about representation of integers by binary quadratic forms. The latter extends previous work of the author. Moreover some information is obtained pertaining to when an integer of K is the norm of an integer in a given quadratic extension of K. Finally an explicit determination of the pqth cyclotomic polynomial for distinct primes p and q is provided, and known results in the literature as well as generalizations thereof are obtained.     

Carmichael numbers in number rings

We generalize Carmichael numbers to ideals in number rings and prove a generalization of Korselt's Criterion for these Carmichael ideals. We investigate when Carmichael numbers in the integers generate Carmichael ideals in the algebraic integers of abelian number fields. In particular, we show that given any composite integer n, there exist infinitely many quadratic number fields in which n is not Carmichael. Finally, we show that there are infinitely many abelian number fields K with discriminant relatively prime to n such that n is not Carmichael in K.     

Elements with prime and small indices in bicyclic biquadratic number fields

We give necessary and sufficient conditions for the existence of primitive algebraic integers with index A in totally complex bicyclic biquadratic number fields where A is an odd prime or a positive rational integer at most 10. We also determine all these elements and prove that there are infinitely many totally complex bicyclic biquadratic number fields containing elements with index A.     

Transcendence of the values of infinite products in several variables

The aim of this paper is to prove the transcendence of certain infinite products. As applications, we get necessary and sufficient conditions for transcendence of the value of $\Pi_{k=0}^{\infty}(1+a_{k}^{(1)}{z_{1}r^{k}}+\cdot\cdot\cdot+a_{k}^{(m)}{z_{m}r^{k}})$ at appropriate algebraic points, where r ≥ 2 is an integer and {a_n ⁽ⁱ⁾}_{n≥ 0} (1 ≤ i ≤ m) are suitable sequences of algebraic numbers.     

Subgroups of ideal class groups of real quadratic algebraic function fields

Necessary and sufficient condition on real quadratic algebraic function fields K is given for their ideal class groups H(K) to contain cyclic subgroups of order n. And eight series of such real quadratic function fields K are obtained whose ideal class groups contain cyclic subgroups of order n. In particular, the ideal class numbers of these function fields are divisible by n.     

Class numbers and a generalized Fermat theorem

Conditions for divisibility of class numbers of algebraic number fields by prime powers are explored and linked to the existence of integer solutions of certain cyclotomic polynomials modulo a given rational integer. Several applications are provided, including a generalization of the Fermat “two-square theorem”.     

Primitive roots in quadratic fields, II

We consider an analogue of Artin's primitive root conjecture for algebraic numbers which are not units in quadratic fields. Given such an algebraic number α, for a rational prime p which is inert in the field, the maximal possible order of α modulo (p) is p²−1. An extension of Artin's conjecture is that there are infinitely many such inert primes for which this order is maximal. We show that for any choice of 113 algebraic numbers satisfying a certain simple restriction, at least one of the algebraic numbers has order at least for infinitely many inert primes p.     

On a formal analogue of the Bernoulli numbers

Using properties of the modular forms G_k, it is shown that G_K(z) = α_kω^2k where z is an integer in an imaginary quadratic field and α_k is algebraic and involves analogues of the Bernoulli numbers. A recursion formula (3) is given for these numbers.     

Gauss sums and multinomial coefficients

Consider a Gauss sum for a finite field of characteristic p, where p is an odd prime. When such a sum (or a product of such sums) is a p-adic integer we show how it can be realized as a p-adic limit of a sequence of multinomial coefficients. As an application we generalize some congruences of Hahn and Lee to exhibit p-adic limit formulae, in terms of multinomial coefficients, for certain algebraic integers in imaginary quadratic fields related to the splitting of rational primes. We also give an example illustrating how such congruences arise from a p-integral formal group law attached to the p-adic unit part of a product of Gauss sums.     

Reducing the number of variables in integer quadratic programming problem

In this paper, a new variable reduction technique is presented for general integer quadratic programming problem (GP), under which some variables of (GP) can be fixed at zero without sacrificing optimality. A sufficient condition and a necessary condition for the identification of dominated terms are provided. By comparing the given data of the problem and the upper bound of the variables, if they meet certain conditions, some variables can be fixed at zero. We report a computational study to demonstrate the efficacy of the proposed technique in solving general integer quadratic programming problems. Furthermore, we discuss separable integer quadratic programming problems in a simpler and clearer form.     

SUBGROUPS OF CLASS GROUPS OF ALGEBRAIC QUADRATIC FUNCTION FIELDS

Ideal class groups H(K) of algebraic quadratic function fields K are studied. Necessary and sufficient condition is given for the class group H(K) to contain a cyclic subgroup of any order n, which holds true for both real and imaginary fields K. Then several series of function fields K, including real, inertia imaginary, and ramified imaginary quadratic function fields, are given, for which the class groups H(K) are proved to contain cyclic subgroups of order n.     

Worst-case complexity bounds for algorithms in the theory of integral quadratic forms

The problem of factoring an integer and many other number-theoretic problems can be formulated in terms of binary quadratic Diophantine equations. This class of equations is also significant in complexity theory, subclasses of it having provided most of the natural examples of problems apparently intermediate in difficulty between P and NP-complete problems, as well as NP-complete problems [2, 3, 22, 26]. The theory of integral quadratic forms developed by Gauss gives some of the deepest known insights into the structure of classes of binary quadratic Diophantine equations. This paper establishes explicit polynomial worst-case running time bounds for algorithms to solve certain of the problems in this theory. These include algorithms to do the following: (1) reduce a given integral binary quadratic form; (2) quasi-reduce a given integral ternary quadratic form; (3) produce a form composed of two given integral binary quadratic forms; (4) calculate genus characters of a given integral binary quadratic form, when a complete prime factorization of its determinant D is given as input; (5) produce a form that is the square root under composition of a given form (when it exists), when a complete factorization of D and a quadratic nonresidue for each prime dividing D is given as input.     

First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers

We extend results of Videla and Fukuzaki to define algebraic integers in large classes of infinite algebraic extensions of Q and use these definitions for some of the fields to show the first-order undecidabilitv. We also obtain a structural sufficient condition for definability of the ring of integers over its field of fractions. In particular, we show that the following propositions hold: (1) For any rational prime q and any positive rational integer m. algebraic integers are definable in any Galois extension of Q where the degree of any finite subextension is not divisible by q^m. (2) Given a prime q, and an integer m > 0, algebraic integers are definable in a cyclotomic extension (and any of its subfields) generated by any set \(\{ {\zeta _{{p^l}}}|l \in {Z_{ > 0,}}P \ne q\) is any prime such that q^{m +1} ∧(p — 1)}. (3) The first-order theory of Any Abelina Extension of Q With Finitely Many Rational Primes is undecidable and rational integers are definable in these extensions.We also show that under a condition on the splitting of one rational Q generated elliptic curve over the field in question is enough to have a definition of Z and to show that the field is undecidable.     

On Numbers which are Mahler Measures

We investigate which algebraic numbers can be Mahler measures. Adler and Marcus showed that these must be Perron numbers. We prove that certain integer multiples of every Perron number are Mahler measures. The results of Boyd give some necessary conditions on Perron number to be a measure. These do not include reciprocal algebraic integers, so it would be of interest to find one which is not a Mahler measure. We prove a result in this direction. Finally, we show that for every non-negative integer k there is a cubic algebraic integer having norm 2 such that precisely the kth iteration of its Mahler measure is an integer.     

Class numbers of definite binary quadratic lattices over algebraic function fields

Let k be an algebraic function field of one variable X having a finite field GF(q) of constants with q elements, q odd. Confined to imaginary quadratic extensions $\text{K}\text{k}$, class number formulas are developed for both the maximal and nonmaximal binary quadratic lattices L on (K, N), where N denotes the norm from K to k. The class numbers of L grow either with the genus g(k) of k (assuming the fields under consideration have bounded degree) or with the relative genus $\text{g(}\text{K}\text{k}\text{)}$ (assuming the lattices under consideration have bounded scale). In contrast to analogous theorems concerning positive definite binary quadratic lattices over totally real number fields, k is not necessarily totally real.     

Quadratic differentials (A(z − a)(z − b)/(z − c)2) dz2 and algebraic Cauchy transform

We discuss the representability almost everywhere (a.e.) in C of an irreducible algebraic function as the Cauchy transform of a signed measure supported on a finite number of compact semi-analytic curves and a finite number of isolated points. This brings us to the study of trajectories of the particular family of quadratic differentials A(z ? a)(z ? b)×(z ? c)^?2 dz². More precisely, we give a necessary and sufficient condition on the complex numbers a and b for these quadratic differentials to have finite critical trajectories. We also discuss all possible configurations of critical graphs.     

Special values of L-functions of elliptic curves over Q and their base change to real quadratic fields

For an elliptic curve E over Q, and a real quadratic extension F of Q, satisfying suitable hypotheses, we study the algebraic part of certain twisted L-values for E/F. The Birch and Swinnerton-Dyer conjecture predicts that these L-values are squares of rational numbers. We show that this question is related to the ratio of Petersson inner products of a quaternionic form on a definite quaternion algebra over Q and its base change to F.     

Ray class fields generated by torsion points of certain elliptic curves

We first normalize the derivative Weierstrass ???-function appearing in the Weierstrass equations which give rise to analytic parametrizations of elliptic curves, by the Dedekind ??-function. And, by making use of this normalization of ???, we associate a certain elliptic curve to a given imaginary quadratic field K and then generate an infinite family of ray class fields over K by adjoining to K torsion points of such an elliptic curve. We further construct some ray class invariants of imaginary quadratic fields by utilizing singular values of the normalization of ???, as the y-coordinate in the Weierstrass equation of this elliptic curve, which would be a partial result towards the Lang?CSchertz conjecture of constructing ray class fields over K by means of the Siegel?CRamachandra invariant.     

Involutions of Type G<Subscript>2</Subscript> Over Fields of Characteristic Two

We continue a study of automorphisms of order 2 of algebraic groups. In particular we look at groups of type G₂ over fields k of characteristic two. Let C be an octonion algebra over k; then Aut(C) is a group of type G₂ over k. We characterize automorphisms of order 2 and their corresponding fixed point groups for Aut(C) by establishing a connection between the structure of certain four dimensional subalgebras of C and the elements in Aut(C) that induce inner automorphisms of order 2. These automorphisms relate to certain quadratic forms which, in turn, determine the Galois cohomology of the fixed point groups of the involutions. The characteristic two case is unique because of the existence of four dimensional totally singular subalgebras. Over finite fields we show how our results coincide with known results, and we establish a classification of automorphisms of order 2 over infinite fields of characteristic two.     

ON ALGEBRAIC VOLUME DENSITY PROPERTY

A smooth affine algebraic variety X equipped with an algebraic volume form ω has the algebraic volume density property (AVDP) if the Lie algebra generated by complete algebraic vector fields of ω-divergence zero coincides with the space of all algebraic vector fields of ω-divergence zero. We develop an effective criterion of verifying whether a given X has AVDP. As an application of this method we establish AVDP for any homogeneous space X = G/R that admits a G-invariant algebraic volume form where G is a linear algebraic group and R is a closed reductive subgroup of G.