This book presents a comprehensive introduction to the theory of separable algebras over commutative rings. After a thorough introduction to the general theory, the fundamental roles played by separable algebras are explored. For example, Azumaya algebras, the henselization of local rings, and Galois theory are rigorously introduced and treated. Interwoven throughout these applications is the important notion of étale algebras. Essential connections are drawn between the theory of separable algebras and Morita theory, the theory of faithfully flat descent, cohomology, derivations, differentials, reflexive lattices, maximal orders, and class groups. The text is accessible to graduate students who have finished a first course in algebra, and it includes necessary foundational material, useful exercises, and many nontrivial examples.

These lecture notes were prepared by the authors for use in graduate courses and seminars, based on the work of many earlier mathematicians. In addition to very elementary results, presented for the convenience of the reader, Chapter I contains the Morita theorems and the definition of the projective class group of a commutative ring. Chapter II addresses the Brauer group of a commutative ring, and automorphisms of separable algebras. Chapter III surveys the principal theorems of the Galois theory for commutative rings. In Chapter IV the authors present a direct derivation of the first six terms of the seven-term exact sequence for Galois cohomology. In the fifth and final chapter the authors illustrate the preceding material with applications to the structure of central simple algebras and the Brauer group of a Dedekind domain, and they pose problems for further investigation. Exercises are included at the end of each chapter.

Within the context of the Wedderburn-Malcev theorem a radical complement exists and all complements are conjugated. The main topics of this work are to analyze the Determination of a (all) radical complements, the representation of an element as the sum of a nilpotent and fully separable element and the compatibility of the Wedderburn-Malcev theorem with derived structures. Answers are presented in details for commutative and solvable associative algebras. Within the analysis the set of fully-separable elements and the generalized Jordan decomposition are of special interest. We provide examples based on generalized quaternion algebras, group algebras and algebras of traingular matrices over a field. The results (and also the theorem of Wedderburn-Malcev and Taft) are transferred to non-unitary algebras by using the star-composition and the adjunction of an unit. Within the App endix we present proofs for the Wedderburn-Malcev theorem for unitary algebras, for Taft's theorem on G-invariant radical complements for unitary algebras and for a theorem of Bauer concerning solvable unit groups of associative algebras.

The landscape of homological algebra has evolved over the last half-century into a fundamental tool for the working mathematician. This book provides a unified account of homological algebra as it exists today. The historical connection with topology, regular local rings, and semi-simple Lie algebras are also described. This book is suitable for second or third year graduate students. The first half of the book takes as its subject the canonical topics in homological algebra: derived functors, Tor and Ext, projective dimensions and spectral sequences. Homology of group and Lie algebras illustrate these topics. Intermingled are less canonical topics, such as the derived inverse limit functor lim1, local cohomology, Galois cohomology, and affine Lie algebras. The last part of the book covers less traditional topics that are a vital part of the modern homological toolkit: simplicial methods, Hochschild and cyclic homology, derived categories and total derived functors. By making these tools more accessible, the book helps to break down the technological barrier between experts and casual users of homological algebra.

Ah Love! Could you and I with Him consl?ire To grasp this sorry Scheme of things entIre' KHAYYAM People investigating algebraic groups have studied the same objects in many different guises. My first goal thus has been to take three different viewpoints and demonstrate how they offer complementary intuitive insight into the subject. In Part I we begin with a functorial idea, discussing some familiar processes for constructing groups. These turn out to be equivalent to the ring-theoretic objects called Hopf algebras, with which we can then con struct new examples. Study of their representations shows that they are closely related to groups of matrices, and closed sets in matrix space give us a geometric picture of some of the objects involved. This interplay of methods continues as we turn to specific results. In Part II, a geometric idea (connectedness) and one from classical matrix theory (Jordan decomposition) blend with the study of separable algebras. In Part III, a notion of differential prompted by the theory of Lie groups is used to prove the absence of nilpotents in certain Hopf algebras. The ring-theoretic work on faithful flatness in Part IV turns out to give the true explanation for the behavior of quotient group functors. Finally, the material is connected with other parts of algebra in Part V, which shows how twisted forms of any algebraic structure are governed by its automorphism group scheme.

Doi-Koppinen Hopf modules and entwined modules unify various kinds of modules that have been intensively studied over the past decades, such as Hopf modules, graded modules, Yetter-Drinfeld modules. The book presents a unified theory, with focus on categorical concepts generalizing the notions of separable and Frobenius algebras, and discussing relations with smash products, Galois theory and descent theory. Each chapter of Part II is devoted to a particular nonlinear equation. The exposé is organized in such a way that the analogies between the four are clear: the quantum Yang-Baxter equation is related to Yetter-Drinfeld modules, the pentagon equation to Hopf modules, and the Long equation to Long dimodules. The Frobenius-separability equation provides a new viewpoint to Frobenius and separable algebras.

Module theory over commutative asociative rings is usually extended to noncommutative associative rings by introducing the category of left (or right) modules. An alternative to this procedure is suggested by considering bimodules. A refined module theory for associative rings is used to investigate the bimodule structure of arbitary algebras and group actions on these algebras.

For many people there is life after 40; for some mathematicians there is algebra after Galois theory. The objective ofthis book is to prove the latter thesis. It is written primarily for students who have assimilated substantial portions of a standard first year graduate algebra textbook, and who have enjoyed the experience. The material that is presented here should not be fatal if it is swallowed by persons who are not members of that group. The objects of our attention in this book are associative algebras, mostly the ones that are finite dimensional over a field. This subject is ideal for a textbook that will lead graduate students into a specialized field of research. The major theorems on associative algebras inc1ude some of the most splendid results of the great heros of algebra: Wedderbum, Artin, Noether, Hasse, Brauer, Albert, Jacobson, and many others. The process of refine ment and c1arification has brought the proof of the gems in this subject to a level that can be appreciated by students with only modest background. The subject is almost unique in the wide range of contacts that it makes with other parts of mathematics. The study of associative algebras con tributes to and draws from such topics as group theory, commutative ring theory, field theory, algebraic number theory, algebraic geometry, homo logical algebra, and category theory. It even has some ties with parts of applied mathematics.

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.