数域中tame 核的p-秩

Let E/F be a Galois extension of number fields with Galois group G=Gal(E/F), and let p be a prime not dividing #G. In this paper, using character theory of finite groups, we obtain the upper bound of #K₂O_E if the group K₂O_E is cyclic, and prove some results on the divisibility of the p-rank of the tame kernel K₂O_E, where E/F is not necessarily abelian. In particular, in the case of G=C_n, D_n, A₄, we easily get some results on the divisibility of the p-rank of the tame kernel K₂O_E by the character table. Let E/Q be a normal extension with Galois group D_l, where l is an odd prime, and F/Q a non-normal subextension with degree l. As an application, we show that f|p-rank K₂O_F, where f is the smallest positive integer such that p^f≡±1(mod l).     

Polynomials with PSL(2, 7) as Galois group

We describe a technique for determining the set-transitivity of the Galois group of a polynomial over the rationals. As an application we give a short proof that the polynomial P₇(x) = x⁷ ? 154x + 99 has the simple group PSL(2, 7) of order 168 as its Galois group over the rationals. A similar method is used to prove that the associated splitting field is not that of the polynomial x⁷ ? 7x + 3 given by Trinks [9].     

Formal groups and zeta-functions of elliptic curves

The author shows that the isomorphism class of a formal group overZ/pZ (resp. overZ _p ) of finite height (resp. having reduction modp of finite height) is determined by its characteristic polynomial. It is then proved that the formal groups associated to a large class of Dirichlet series with integer coefficients are defined overZ.Finally, these results are used to extend a theorem of Honda (Osaka J. Math.5, 199–213 (1968), Theorem 5) to include the case of supersingular reduction at the primes 2 and 3. LetE be an elliptic curve defined overQ, andF(x, y) be a formal minimal model forE. LetG(x, y) be the formal group associated to the globalL-seriesL(E, s) ofE overQ. Honda's theorem now becomes:G(x, y) is defined over Z and is isomorphic over Z to F(x, y).     

Algebraic function fields of one variable over finite fields are stable

It is shown that any algebraic curveC over a finite field has a separable cover of some degreen over the projective lineP ₁ such that the geometric Galois group of the Galois hull ofC |P ₁ is the full symmetric groupS _n. This work was partially supported by a grant from G.I.F. (German Israeli Foundation for Scientific Research and Development).     

Integer Polynomials with Roots mod p for all Primes p

Let f(X) be an integer polynomial which is a product of two irreducible factors. Assume that f(X) has a root mod p for all primes p. If the splitting field of f(X) over the rationals is a cyclic extension of the stem fields, then the Galois group of f(X) over the rationals is soluble and of bounded Fitting length. Moreover, the fixed groups of the stem extensions are in, some sense, unique.     

Weyl groups as Galois groups of a regular extension of the field ℚ

For a finite group G, Gal_T(G) denotes the property that there exists a regular Galois extension of the rational function field ℚ(T) over the field of rationals ℚ, with a Galois group G. This property is established to be satisfied by all Weyl groups except the type F₄, from which it follows that it holds also for Chevalley groups C₃(2) and D₄(2). Translated fromAlgebra i Logika, Vol. 34, No. 3, pp. 311-315, May-June, 1995.     

Parallel Multiplication in GF(2k) using Polynomial Residue Arithmetic

We present a novel method of parallelization of the multiplication operation in GF(2^k) for an arbitrary value of k and arbitrary irreducible polynomial n(x) generating the field. The parallel algorithm is based on polynomial residue arithmetic, and requires that we find L pairwise relatively prime modulim _i(x) such that the degree of the product polynomialM(x)=m ₁(x)m ₂(x)··· m_L(x) is at least 2k. The parallel algorithm receives the residue representations of the input operands (elements of the field) and produces the result in its residue form, however, it is guaranteed that the degree of this polynomial is less than k and it is properly reduced by the generating polynomial n(x), i.e., it is an element of the field. In order to perform the reductions, we also describe a new table lookup based polynomial reduction method.     

Linear relations among algebraic solutions of differential equations

For any univariate polynomial with coefficients in a differential field of characteristic zero and any integer, q, there exists an associated nonzero linear ordinary differential equation (LODE) with the following two properties. Each term of the LODE lies in the differential field generated by the rational numbers and the coefficients of the polynomial, and the qth power of each root of the polynomial is a solution of this LODE. This LODE is called a qth power resolvent of the polynomial. We will show how one can get a resolvent for the logarithmic derivative of the roots of a polynomial from the αth power resolvent of the polynomial, where α is an indeterminate that takes the place of q. We will demonstrate some simple relations among the algebraic and differential equations for the roots and their logarithmic derivatives. We will also prove several theorems regarding linear relations of roots of a polynomial over constants or the coefficient field of the polynomial depending upon the (nondifferential) Galois group. Finally, we will use a differential resolvent to solve the Riccati equation.     

Full Periodicity of Galois Polynomials over Nontrivial Galois Rings of Odd Characteristic

In this paper, we present a criterion for a Galois polynomial over a Galois ring to have full period represented in terms of coefficients of this polynomial. In contrast to [4–6, 12], we consider the case of a Galois ring of odd characteristic, which is neither a residue ring nor a finite field. Such a ring is said to be nontrivial. Computational experiments show that the criterion provided is useful and convenient for practical purposes. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 14, Algebra, 2004.     

The inverse Galois problem over formal power series fields

Consider a valuation ringR of a discrete Henselian field and a positive integerr. LetF be the quotient field of the ringR[[X ₁, …,X _r ]]. We prove that every finite group occurs as a Galois group overF. In particular, ifK ₀ is an arbitrary field andr≥2, then every finite group occurs as a Galois group overK ₀((X ₁, …,X _r )). The work on this paper started when the author was an organizer of a research group on the Arithmetic of Fields in the Institute for Advanced Studies at the Hebrew Univesity of Jerusalem in 1991–92. It was partially supported by a grant from the G.I.F., the German-Israeli Foundation for Scientific Research and Development.     

Descent principle in modular Galois theory

We propound a descent principle by which previously constructed equations over GF(q _n)(X) may be deformed to have incarnations over GF(q)(X) without changing their Galois groups. Currently this is achieved by starting with a vectorial (= additive)q-polynomial ofq-degreem with Galois group GL(m, q) and then, under suitable conditions, enlarging its Galois group to GL(m, q _n) by forming its generalized iterate relative to an auxiliary irreducible polynomial of degreen. Elsewhere this was proved under certain conditions by using the classification of finite simple groups, and under some other conditions by using Kantor’s classification of linear groups containing a Singer cycle. Now under different conditions we prove it by using Cameron-Kantor’s classification of two-transitive linear groups.     

Endomorphisms of superelliptic jacobians

Let K be a field of characteristic zero, n ≥ 5 an integer, f(x) an irreducible polynomial over K of degree n, whose Galois group contains a doubly transitive simple non-abelian group. Let p be an odd prime, the ring of integers in the pth cyclotomic field, C _{f, p} : y ^p  =  f(x) the corresponding superelliptic curve and J(C _{f, p} ) its jacobian. Assuming that either n  =  p + 1 or p does not divide n(n  −  1), we prove that the ring of all endomorphisms of J(C _{f, p} ) coincides with . The same is true if n  =  4, the Galois group of f(x) is the full symmetric group S ₄ and K contains a primitive pth root of unity. An erratum to this article can be found at     

Solvable absolute Galois groups are metabelian

We show that solvable absolute Galois groups have an abelian normal subgroup such that the quotient is the direct product of two finite cyclic and a torsion-free procyclic group. In particular, solvable absolute Galois groups are metabelian. Moreover, any field with solvable absolute Galois group G admits a non-trivial henselian valuation, unless each Sylow-subgroup of G is either procyclic or isomorphic to Z ₂⋊Z/2Z. A complete classification of solvable absolute Galois groups (up to isomorphism) is given. Oblatum 22-IV-1998 & 1-IX-2000?Published online: 30 October 2000     

The Galois group of the Eisenstein polynomial X 5 + aX + a

Let p be a rational prime and let a be an integer which is divisible by p exactly to the first power. Then the Galois group of the Eisenstein polynomial f = X ^p + aX + a is known to be either the full symmetric group S ^p or the affine group A(1, p), and it is conjectured that always G = S _p . In this note we settle this conjecture for p = 5 and, answering a question by J.-P. Serre, we show that this does not carry over when replacing the integer a by some rational number with 5-adic valuation equal to 1. Received: 6 June 2007     

( q,t)-analogues and $GL_{n}({\ma thbb{F}}_{ q})$

We start with a (q,t)-generalization of a binomial coefficient. It can be viewed as a polynomial in t that depends upon an integer q, with combinatorial interpretations when q is a positive integer, and algebraic interpretations when q is the order of a finite field. These (q,t)-binomial coefficients and their interpretations generalize further in two directions, one relating to column-strict tableaux and Macdonald’s “7 ^th variation” of Schur functions, the other relating to permutation statistics and Hilbert series from the invariant theory of GL_n(\mathbbF_q)GL_{n}({\mathbb{F}}_{q}) .     

Some observations on the arithmetic of Eisenstein series for the modular group SL(2, \Bbb Z)

For even integers k\geqq4k\geqq4, let j_k(X)\varphi_k(X) be the separable rational polynomial that encodes the j-invariants of non-elliptic zeroes of the Eisenstein series E_k for the modular group SL(2,Bbb Z)(2,{Bbb Z}). We prove Kummer-type congruence properties for the j_k\varphi_k and, based on extensive calculations, make observations about the Galois group, the discriminant, and the distribution of zeroes of j_k(X)\varphi_k(X).     

Finding independent sets in a graph using continuous multivariable polynomial formulations

Two continuous formulations of the maximum independent set problem on a graph G=(V,E) are considered. Both cases involve the maximization of an n-variable polynomial over the n-dimensional hypercube, where n is the number of nodes in G. Two (polynomial) objective functions F(x) and H(x) are considered. Given any solution to x ₀ in the hypercube, we propose two polynomial-time algorithms based on these formulations, for finding maximal independent sets with cardinality greater than or equal to F(x₀) and H(x₀), respectively. A relation between the two approaches is studied and a more general statement for dominating sets is proved. Results of preliminary computational experiments for some of the DIMACS clique benchmark graphs are presented.     

Gauss Sum of Index 4： （2） Non-cyclic Case

Assume that m ≥ 2, p is a prime number, （m,p（p - 1）） = 1,-1 not belong to 〈p〉 belong to （Z/mZ）^＊ and [（Z/mZ）^＊：〈p〉]=4.In this paper, we calculate the value of Gauss sum G（X）=∑x∈F^＊x（x）ζp^T（x） over Fq,where q=p^f,f=φ（m）/4,x is a multiplicative character of Fq and T is the trace map from Fq to Fp.Under our assumptions,G（x） belongs to the decomposition field K of p in Q（ζm） and K is an imaginary quartic abelian unmber field.When the Galois group Gal（K/Q） is cyclic,we have studied this cyclic case in anotyer paper：＂Gauss sums of index four：（1）cyclic case＂（accepted by Acta Mathematica Sinica,2003）.In this paper we deal with the non-cyclic case.     

Hecke Algebras and Automorphic Forms

The goal of this paper is to carry out some explicit calculations of the actions of Hecke operators on spaces of algebraic modular forms on certain simple groups. In order to do this, we give the coset decomposition for the supports of these operators. We present the results of our calculations along with interpretations concerning the lifting of forms. The data we have obtained is of interest both from the point of view of number theory and of representation theory. For example, our data, together with a conjecture of Gross, predicts the existence of a Galois extension of Q with Galois group G ₂(F₅) which is ramified only at the prime 5. We also provide evidence of the existence of the symmetric cube lifting from PGL₂ to PGSp₄.     

Torsors under finite and flat group schemes of rank <Emphasis Type="Italic">p</Emphasis> with Galois action

In this note we study the geometry of torsors under flat and finite commutative group schemes of rank p above curves in characteristic p, and above relative curves over a complete discrete valuation ring of inequal characteristic. In both cases we study the Galois action of the Galois group of the base field on these torsors. We also study the degeneration of _p -torsors, from characteritic 0 to characteristic p, and show that this degeneration is compatible with the Galois action. We then discuss the lifting of torsors under flat and commutative group schemes of rank p from positive to zero characteristics. Finally, for a proper and smooth curve X over a complete discrete valuation field, of inequal characteristic, which has good reduction, we show the existence of a canonical Galois equivariant filtration, on the first étale cohomology group of the geometric fibre of X, with values in _p .