Rational invariants of certain classical groups over finite fields

Let be a finite field with q elements, where q is a prime power. Let G be a subgroup of the general linear group over and be the rational function field over . We seek to understand the structure of the rational invariant subfield . In this paper, we prove that is rational (or, purely transcendental) by giving an explicit set of generators when G is the symplectic group. In particular, the set of generators we gave satisfies the Dickson property.      

K-loops from classical groups over ordered fields

K-loops will be constructed as transversals in classical groups over an ordered field. Manywell-known examples are subsumed in the present approach. Special attention is payed to the question which of these K-loops have fixed point free left inner mappings. Some new such examples are given. Isomorphisms between some of the K-loops are established as well.Dedicated to Professor Dr. Dr. h. c. Helmut Karzel on the occasion of his seventieth birthday     

Hasse principle for classical groups over function fields of curves over number fields

In (Letter to J.-P. Serre, 12 June 1991) Colliot-Thélène conjectures the following: Let F be a function field in one variable over a number field, with field of constants k and G be a semisimple simply connected linear algebraic group defined over F. Then the map has trivial kernel, denoting the set of places of k.The conjecture is true if G is of type 1A∗, i.e., isomorphic to SL₁(A) for a central simple algebra A over F of square free index, as pointed out by Colliot-Thélène, being an immediate consequence of the theorems of Merkurjev-Suslin [S1] and Kato [K]. Gille [G] proves the conjecture if G is defined over k and F=k(t), the rational function field in one variable over k. We prove that the conjecture is true for groups G defined over k of the types 2A∗, B_n, C_n, D_n (D₄ nontrialitarian), G₂ or F₄; a group is said to be of type 2A∗, if it is isomorphic to SU(B,τ) for a central simple algebra B of square free index over a quadratic extension k′ of k with a unitary k′|k involution τ.     

Galois cohomology of the classical groups over imperfect fields

Elaborating on techniques of Bayer-Fluckiger and Parimala, we prove the following strong version of Serre’s Conjecture II for classical groups: let G be a simply connected absolutely simple group of outer type A_n or of type B_n, C_n or D_n (non trialitarian) defined over an arbitrary field F. If the separable dimension of F is at most 2 for every torsion prime of G, then every G-torsor is trivial.     

Abstract simplicity of complete Kac-Moody groups over finite fields

Let G be a Kac-Moody group over a finite field corresponding to a generalized Cartan matrix A, as constructed by Tits. It is known that G admits the structure of a BN-pair, and acts on its corresponding building. We study the complete Kac-Moody group which is defined to be the closure of G in the automorphism group of its building. Our main goal is to determine when complete Kac-Moody groups are abstractly simple, that is have no proper non-trivial normal subgroups. Abstract simplicity of was previously known to hold when A is of affine type. We extend this result to many indefinite cases, including all hyperbolic generalized Cartan matrices A of rank at least four. Our proof uses Tits’ simplicity theorem for groups with a BN-pair and methods from the theory of pro-p groups.     

Generation of classical groups

Each finite simple group other thanU ₃(3) can be generated by three of its involutions. In fact, each such group is generated by two elements, of which one is strongly real and the other is an involution.The authors thank the MSRI in Berkeley, where this work was begun in Fall 1990, for its hospitality. The first and third author gratefully acknowledge financial support by the Deutsche Forschungsgemeinschaft.     

Structure of groups of rational points of classical algebraic groups over number fields

Dedicated to the memory of A. I. Mal'tsev.     

On the admissibility of finite groups over global fields of finite characteristic

Let k be a global field of characteristic p. A finite group G is called k-admissible if there exists a division algebra finite dimensional and central over k which is a crossed product for G. Let G be a finite group with normal Sylow p-subgroup P. If the factor group G/P is k-admissible, then G is k-admissible. A necessary condition is given for a group to be k-admissible: if a finite group G is k-admissible, then every Sylow l-subgroup of G for l ≠ p is metacyclic with some additional restriction. Then it is proved that a metacyclic group G generated by x and y is k-admissible if some relation between x and y is satisfied.     

Difference algebraic subgroups of commutative algebraic groups over finite fields

We study the question of which torsion subgroups of commutative algebraic groups over finite fields are contained in modular difference algebraic groups for some choice of a field automorphism. We show that if G is a simple commutative algebraic group over a finite field of characteristic p, ? is a prime different from p, and for some difference closed field (?, σ) the ?-primary torsion of G(?) is contained in a modular group definable in (?, σ), then it is contained in a group of the form {x∈G(?) :σ(x) =[a](x) } with a∈ℕ\p ^ℕ. We show that no such modular group can be found for many G of interest. In the cases that such equations may be found, we recover an effective version of a theorem of Boxall. Received: 28 May 1998 / Revised version: 20 December 1998     

The groups of points on abelian varieties over finite fields

Let A be an abelian variety with commutative endomorphism algebra over a finite field k. The k-isogeny class of A is uniquely determined by a Weil polynomial f _A without multiple roots. We give a classification of the groups of k-rational points on varieties from this class in terms of Newton polygons of f _A (1 − t).     

Two generators for the general linear groups over finite fields

For every finite field F and every n≥2, the group GL(n,F) can be generated by two elements (which are explicitly described). The multiplicative semigroup of all n by n matrices over F can then be generated by three elements.     

有限域上Bl型Chevalley群的二元生成

证明了有限域上Bl型Chevalley群可由两个元素生成