Capitulation problem for global function fields

Let q be a power of an odd prime number p, k=\mathbbF_q(t){p, k=\mathbb{F}_{q}(t)} be the rational function field over the finite field \mathbbF_q.{\mathbb{F}_{q}.} In this paper, we construct infinitely many real (resp. imaginary) quadratic extensions K over k whose ideal class group capitulates in a proper subfield of the Hilbert class field of K. The proof of the infinity of such fields K relies on an estimation of certain character sum over finite fields.     

Normal integral bases in quadratic and cyclic cubic extensions of quadratic fields

Let K be a number field and let G be a finite abelian group. We call K a Hilbert-Speiser field of type G if, and only if, every tamely ramified normal extension L/K with Galois group isomorphic to G has a normal integral basis. Now let C₂ and C₃ denote the cyclic groups of order 2 and 3, respectively. Firstly, we show that among all imaginary quadratic fields, there are exactly three Hilbert-Speiser fields of type $C_{2}: \mathbb{Q}(\sqrt {m})$, where $m \in \{-1, -3, -7\}$. Secondly, we give some necessary and sufficient conditions for a real quadratic field $K = \mathbb{Q}(\sqrt {m})$ to be a Hilbert-Speiser field of type C₂. These conditions are in terms of the congruence class of m modulo 4 or 8, the fundamental unit of K, and the class number of K. Finally, we show that among all quadratic number fields, there are exactly eight Hilbert-Speiser fields of type $C_{3}: \mathbb{Q}(\sqrt {m})$, where $m \in \{-11,-3, -2, 2, 5, 17, 41, 89\}$.Received: 2 April 2002     

On finite groups isospectral to simple linear and unitary groups

Let L be a simple linear or unitary group of dimension larger than 3 over a finite field of characteristic p. We deal with the class of finite groups isospectral to L. It is known that a group of this class has a unique nonabelian composition factor. We prove that if L ≠ U ₄(2), U ₅(2) then this factor is isomorphic to either L or a group of Lie type over a field of characteristic different from p.     

An alternative class of irreducible polynomials for optimal extension fields

Optimal extension fields (OEF) are a class of finite fields used to achieve efficient field arithmetic, especially required by elliptic curve cryptosystems (ECC). In software environment, OEFs are preferable to other methods in performance and memory requirement. However, the irreducible binomials required by OEFs are quite rare. Sometimes irreducible trinomials are alternative choices when irreducible binomials do not exist. Unfortunately, trinomials require more operations for field multiplication and thereby affect the efficiency of OEF. To solve this problem, we propose a new type of irreducible polynomials that are more abundant and still efficient for field multiplication. The proposed polynomial takes the advantage of polynomial residue arithmetic to achieve high performance for field multiplication which costs O(m ^3/2) operations in \mathbbF_p{\mathbb{F}_p} . Extensive simulation results demonstrate that the proposed polynomials roughly outperform irreducible binomials by 20% in some finite fields of medium prime characteristic. So this work presents an interesting alternative for OEFs.     

TheK-admissibility of 2A 6 and 2A 7

LetK be a field and letG be a finite group.G isK-admissible if there exists a Galois extensionL ofK withG=Gal(L/K) such thatL is a maximal subfield of a centralK-division algebra. This paper contains a characterization of those number fields which areQ ₁₆-admissible. This is the same class of number fields which are 2A ₆=SL(2, 9) and 2A ₇ admissible. Dedicated to John Thompson to celebrate his Wolf Prize in Mathematics 1992     

Periodic Groups Saturated with the Linear Groups of Degree 2 and the Unitary Groups of Degree 3 over Finite Fields of Odd Characteristic

Let M denote the set of the simple 3-dimensional unitary groups U₃ and the simple linear groups L₂ over finite fields of odd characteristic.We prove that each periodic group saturated with groups in M is locally finite and isomorphic to either U₃(Q) or L₂(Q) for a suitable locally finite field Q of odd characteristic.     

How often can a finite group be realized as a Galois group over a field?

Let G be any finite group and any class of fields. By we denote the minimal number of realizations of G as a Galois group over some field from the class . For G abelian and the class of algebraic extensions of ℚ we give an explicit formula for . Similarly we treat the case of an abelian p-group G and the class which is conjectured to be the class of all fields of characteristic ≠p for which the Galois group of the maximal p-extension is finitely generated. For non-abelian groups G we offer a variety of sporadic results. Received: 27 October 1998 / Revised version: 3 February 1999     

M-P invertible matrices and unitary groups over Fq2

The Moor-Penrose generalized inverses (M-P inverses for short) of matrices over a finite field F_q ² which is a generalization of the Moor-Penrose generalized inverses over the complex field, are studied in the present paper. Some necessary and sufficient conditions for anm xn matrixA over F_q ² having an M-P inverse are obtained, which make clear the set ofm xn matrices over F_q ² having M-P inverses and reduce the problem of constructing and enumerating the M-P invertible matrices to that of constructing and enumerating the non-isotropic subspaces with respect to the unitary group. Based on this reduction, both the construction problem and the enumeration problem are solved by borrowing the results in geometry of unitary groups over finite fields.     

Mappings of group shifts

A group shift is a proper closed shift-invariant subgroup ofG ^ℤ ₂ whereG is a finite group. We consider a class of group shifts in whichG is a finite field and show that mixing is a necessary and sufficient condition on such a group shift for all codes from it into another group shift to be affine and all codes from another group shift into it to be affine. As a corollary, it will follow forG=ℤ _p that two mixing group shifts are topologically conjugate if and only if they are equal.     

The wedderburn-malcev theorem for comodule algebras

Let H be a Hopf algebra over a field k. Under some assumptions on H we state and prove a generalization of the Wedderburn-Malcev theorem for i7-comodule algebras. We show that our version of this theorem holds for a large enough class of Hopf algebras, such as coordinate rings of completely reducible affine algebraic groups, finite dimensional Hopf algebras over fields of characteristic 0 and group algebras. Some dual results are also included.     

On genus and embeddings of torsion-free nilpotent groups of class two

Summary We study embeddings between torsion-free nilpotent groups having isomorphic localizations. Firstly, we show that for finitely generated torsion-free nilpotent groups of nilpotency class 2, the property of having isomorphicP-localizations (whereP denotes any set of primes) is equivalent to the existence of mutual embeddings of finite index not divisible by any prime inP. We then focus on a certain family Γ of nilpotent groups whose Mislin genera can be identified with quotient sets of ideal class groups in quadratic fields. We show that the multiplication of equivalence classes of groups in Γ induced by the ideal class group structure can be described by means of certain pull-back diagrams reflecting the existence of enough embeddings between members of each Mislin genus. In this sense, the family Γ resembles the family N₀ of infinite, finitely generated nilpotent groups with finite commutator subgroup. We also show that, in further analogy with N₀, two groups in Γ with isomorphic localizations at every prime have isomorphic localizations at every finite set of primes. We supply counterexamples showing that this is not true in general, neither for finitely generated torsion-free nilpotent groups of class 2 nor for torsion-free abelian groups of finite rank. Supported by DGICYT grant PB94-0725 This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag.     

Class field theory for arithmetic schemes

Let X be a regular arithmetic scheme, i.e. a regular integral separated scheme flat and of finite type over Spec . Generalising classical class field theory for number fields, we define a class group C _X and show there is a natural surjective map whose kernel is the connected component of 0.      

A low-memory algorithm for finding short product representations in finite groups

We describe a space-efficient algorithm for solving a generalization of the subset sum problem in a finite group G, using a Pollard-ρ approach. Given an element z and a sequence of elements S, our algorithm attempts to find a subsequence of S whose product in G is equal to z. For a random sequence S of length d log₂ n, where n = #G and d ≥ 2 is a constant, we find that its expected running time is O(?n log n){O(\sqrt{n}\,{\rm log}\,n)} group operations (we give a rigorous proof for d > 4), and it only needs to store O(1) group elements. We consider applications to class groups of imaginary quadratic fields, and to finding isogenies between elliptic curves over a finite field.     

A characterisation of PSp(4,K)

This paper gives a characterization of the group PS_p(4K) over some algebraically closed field K of characteristic not 2 inside the class of simple K ^*-groups of finite Morley rank not interpreting a bad field using the structure of centralizers of involutions.     

On self-orthogonal group ring codes

We obtain structural results about group ring codes over F[G], where F is a finite field of characteristic p > 0 and the Sylow p-subgroup of the Abelian group G is cyclic. As a special case, we characterize cyclic codes over finite fields in the case the length of the code is divisible by the characteristic of the field. By the same approach we study cyclic codes of length m over the ring R = F _q [u], u ^r  = 0 with r  > 0, gcd(m, q) = 1. Finally, we give a construction of quasi-cyclic codes over finite fields.      

Construction of genus field and some applications

Let k be a number field of finite degree. The narrow genus field K of k (genus field of k in the sense of Fröhlich) is defined as the maximal extension of k which is unramified at all finite primes of k of the form kk₁, where k₁ is an Abelian number field. In this article, K is determined and some applications are given. The results indicate a possibility that many class field theoretic properties of normal number fields could be extended to nonnormal number fields.     

Central Pairs, Galois Theory and Automorphic Forms

A central pair over a field k of characteristic 0 consists of a finite Abelian group which is equipped with a central 2-cocycle with values in the multiplicative group k ^* of k. In this paper we use specific central pairs to construct a class of projective representations of the absolute Galois group G _k of k and if k is a number field we investigate the liftings of these projective representations to linear representations of G _k . In particular we relate these linear representations to automorphic representations. It turns out that some of these automorphic representations correspond to certain indefinite modular forms already constructed by E. Hecke.     

Galois Structure of K-Groups of Rings of Integers

N/Kbe a Galois extension of number fields with finite Galois group G.We describe a new approach for constructing invariants of the G-module structure of the K groups of the ring of integers of N in the Grothendieck group of finitely generated projective Z[G]modules. In various cases we can relate these classes, and their function field counterparts, to the root number class of Fröhlich and Cassou-Noguès.     

Curves with Many Points and Multiplication Complexity in Any Extension of q

From the existence of algebraic function fields having some good properties, we obtain some new upper bounds on the bilinear complexity of multiplication in all extensions of the finite field _q, where q is an arbitrary prime power. So we prove that the bilinear complexity of multiplication in the finite fields _qⁿ is linear uniformly in q with respect to the degree n.