This volume gives two new methods for constructing $p$-elementary Hopf algebra orders over the valuation ring $R$ of a local field $K$ containing the $p$-adic rational numbers. One method constructs Hopf orders using isogenies of commutative degree 2 polynomial formal groups of dimension $n$, and is built on a systematic study of such formal group laws. The other method uses an exponential generalization of a 1992 construction of Greither. Both constructions yield Raynaud orders as iterated extensions of rank $p$ Hopf algebras; the exponential method obtains all Raynaud orders whose invariants satisfy a certain $p$-adic condition.
This book studies Hopf algebras over valuation rings of local fields and their application to the theory of wildly ramified extensions of local fields. The results, not previously published in book form, show that Hopf algebras play a natural role in local Galois module theory. Included in this work are expositions of short exact sequences of Hopf algebras; Hopf Galois structures on separable field extensions; a generalization of Noether's theorem on the Galois module structure of tamely ramified extensions of local fields to wild extensions acted on by Hopf algebras; connections between tameness and being Galois for algebras acted on by a Hopf algebra; constructions by Larson and Greither of Hopf orders over valuation rings; ramification criteria of Byott and Greither for the associated order of the valuation ring of an extension of local fields to be Hopf order; the Galois module structure of wildly ramified cyclic extensions of local fields of degree p and p2; and Kummer theory of formal groups. Beyond a general background in graduate-level algebra, some chapters assume an acquaintance with some algebraic number theory. From there, this exposition serves as an excellent resource and motivation for further work in the field.
Hopf algebras have been shown to play a natural role in studying questions of integral module structure in extensions of local or global fields. This book surveys the state of the art in Hopf-Galois theory and Hopf-Galois module theory and can be viewed as a sequel to the first author's book, Taming Wild Extensions: Hopf Algebras and Local Galois Module Theory, which was published in 2000. The book is divided into two parts. Part I is more algebraic and focuses on Hopf-Galois structures on Galois field extensions, as well as the connection between this topic and the theory of skew braces. Part II is more number theoretical and studies the application of Hopf algebras to questions of integral module structure in extensions of local or global fields. Graduate students and researchers with a general background in graduate-level algebra, algebraic number theory, and some familiarity with Hopf algebras will appreciate the overview of the current state of this exciting area and the suggestions for numerous avenues for further research and investigation.
This volume represents the refereed proceedings of the Fifth International Conference on Finite Fields and Applications (F q5) held at the University of Augsburg (Germany) from August 2-6, 1999, and hosted by the Department of Mathematics. The conference continued a series of biennial international conferences on finite fields, following earlier conferences at the University of Nevada at Las Vegas (USA) in August 1991 and August 1993, the University ofGlasgow (Scotland) in July 1995, and the University ofWaterloo (Canada) in August 1997. The Organizing Committee of F q5 comprised Thomas Beth (University ofKarlsruhe), Stephen D. Cohen (University of Glasgow), Dieter Jungnickel (University of Augsburg, Chairman), Alfred Menezes (University of Waterloo), Gary L. Mullen (Pennsylvania State University), Ronald C. Mullin (University of Waterloo), Harald Niederreiter (Austrian Academy of Sciences), and Alexander Pott (University of Magdeburg). The program ofthe conference consisted offour full days and one halfday ofsessions, with 11 invited plenary talks andover80contributedtalks that re- quired three parallel sessions. This documents the steadily increasing interest in finite fields and their applications. Finite fields have an inherently fasci- nating structure and they are important tools in discrete mathematics. Their applications range from combinatorial design theory, finite geometries, and algebraic geometry to coding theory, cryptology, and scientific computing. A particularly fruitful aspect is the interplay between theory and applications which has led to many new perspectives in research on finite fields.
The authors prove a polynomial multiple recurrence theorem for finitely many commuting measure preserving transformations of a probability space, extending a polynomial Szemerédi theorem appearing in [BL1]. The linear case is a consequence of an ergodic IP-Szemerédi theorem of Furstenberg and Katznelson ([FK2]). Several applications to the fine structure of recurrence in ergodic theory are given, some of which involve weakly mixing systems, for which we also prove a multiparameter weakly mixing polynomial ergodic theorem. The techniques and apparatus employed include a polynomialization of an IP structure theory developed in [FK2], an extension of Hindman's theorem due to Milliken and Taylor ([M], [T]), a polynomial version of the Hales-Jewett coloring theorem ([BL2]), and a theorem concerning limits of polynomially generated IP-systems of unitary operators ([BFM]).
The main purpose of this paper is to prove the existence, and in some cases the uniqueness, of unitarily invariant measures on formal completions of groups associated to affine Kac-Moody algebras, and associated homogeneous spaces. The basic invariant measure is a natural generalization of Haar measure for a simply connected compact Lie group, and its projection to flag spaces is a generalization of the normalized invariant volume element. The other "invariant measures" are actually measures having values in line bundles over these spaces; these bundle-valued measures heuristically arise from coupling the basic invariant measure to Hermitian structures on associated line bundles, but in this infinite dimensional setting they are generally singular with respect to the basic invariant measure.
This volume is devoted to the Brauer group of a commutative ring and related invariants. Part I presents a new self-contained exposition of the Brauer group of a commutative ring. Included is a systematic development of the theory of Grothendieck topologies and étale cohomology, and discussion of topics such as Gabber's theorem and the theory of Taylor's big Brauer group of algebras without a unit. Part II presents a systematic development of the Galois theory of Hopf algebras with special emphasis on the group of Galois objects of a cocommutative Hopf algebra. The development of the theory is carried out in such a way that the connection to the theory of the Brauer group in Part I is made clear. Recent developments are considered and examples are included. The Brauer-Long group of a Hopf algebra over a commutative ring is discussed in Part III. This provides a link between the first two parts of the volume and is the first time this topic has been discussed in a monograph. Audience: Researchers whose work involves group theory. The first two parts, in particular, can be recommended for supplementary, graduate course use.
If a black box simple group is known to be isomorphic to a classical group over a field of known characteristic, a Las Vegas algorithm is used to produce an explicit isomorphism. The proof relies on the geometry of the classical groups rather than on difficult group-theoretic background. This algorithm has applications to matrix group questions and to nearly linear time algorithms for permutation groups. In particular, we upgrade all known nearly linear time Monte Carlo permutation group algorithms to nearly linear Las Vegas algorithms when the input group has no composition factor isomorphic to an exceptional group of Lie type or a 3-dimensional unitary group.
