The famous and important theorem of W. Feit and J. G. Thompson states that every group of odd order is solvable, and the proof of this has roughly two parts. The first part appeared in Bender and Glauberman's Local Analysis for the Odd Order Theorem which was number 188 in this series. This book provides the character-theoretic second part and thus completes the proof. All researchers in group theory should have a copy of this book in their library.

Approximately fifty articles that were published in The Mathematical Intelligencer during its first eighteen years. The selection demonstrates the wide variety of attractive articles that have appeared over the years, ranging from general interest articles of a historical nature to lucid expositions of important current discoveries. Each article is introduced by the editors. "...The Mathematical Intelligencer publishes stylish, well-illustrated articles, rich in ideas and usually short on proofs. ...Many, but not all articles fall within the reach of the advanced undergraduate mathematics major. ... This book makes a nice addition to any undergraduate mathematics collection that does not already sport back issues of The Mathematical Intelligencer." D.V. Feldman, University of New Hamphire, CHOICE Reviews, June 2001.

This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013, 6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with 3 invited talks were carefully reviewed and selected, resulting in 33 papers from a total of 73 submissions.

A concise treatment of topics from group theory and representation theory for use in a one-term course. Focussing on the non-commutative side of the field, this advanced textbook emphasizes the general linear group as the most important group and example. Readers are expected to be familiar with groups, rings, and fields, and to have a solid knowledge of linear algebra. Close to 200 exercises of varying difficulty serve both to reinforce the main concept of the text and to introduce the reader to additional topics.

The book presents a new version of the local analysis section of the Feit-Thompson theorem.

The text begins with a review of group actions and Sylow theory. It includes semidirect products, the Schur–Zassenhaus theorem, the theory of commutators, coprime actions on groups, transfer theory, Frobenius groups, primitive and multiply transitive permutation groups, the simplicity of the PSL groups, the generalized Fitting subgroup and also Thompson's J-subgroup and his normal $p$-complement theorem. Topics that seldom (or never) appear in books are also covered. These include subnormality theory, a group-theoretic proof of Burnside's theorem about groups with order divisible by just two primes, the Wielandt automorphism tower theorem, Yoshida's transfer theorem, the “principal ideal theorem” of transfer theory and many smaller results that are not very well known. Proofs often contain original ideas, and they are given in complete detail. In many cases they are simpler than can be found elsewhere. The book is largely based on the author's lectures, and consequently, the style is friendly and somewhat informal. Finally, the book includes a large collection of problems at disparate levels of difficulty. These should enable students to practice group theory and not just read about it. Martin Isaacs is professor of mathematics at the University of Wisconsin, Madison. Over the years, he has received many teaching awards and is well known for his inspiring teaching and lecturing. He received the University of Wisconsin Distinguished Teaching Award in 1985, the Benjamin Smith Reynolds Teaching Award in 1989, and the Wisconsin Section MAA Teaching Award in 1993, to name only a few. He was also honored by being the selected MAA Pólya Lecturer in 2003–2005.

The AMS History of Mathematics series is one of the most popular items for bookstore sales. These books feature colorful, attractive covers that are perfect for face out displays. The topics will appeal to a broad audience in the mathematical and scientific communities.

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

This book, which can be considered as a sequel of the author's famous book Character Theory of Finite Groups, concerns the character theory of finite solvable groups and other groups that have an abundance of normal subgroups. It is subdivided into three parts: -theory, character correspondences, and M-groups. The -theory section contains an exposition of D. Gajendragadkar's -special characters, and it includes various extensions, generalizations, and applications of his work. The character correspondences section proves the McKay character counting conjecture and the Alperin weight conjecture for solvable groups, and it constructs a canonical McKay bijection for odd-order groups. In addition to a review of some basic material on M-groups, the third section contains an exposition of the use of symplectic modules for studying M-groups. In particular, an accessible presentation of E. C. Dade's deep results on monomial characters of odd prime-power degree is included. Very little of this material has previously appeared in book form, and much of it is based on the author's research. By reading a clean and accessible presentation written by the leading expert in the field, researchers and graduate students will be inspired to learn and work in this area that has fascinated the author for decades.

The classification of the finite simple groups is one of the major feats of contemporary mathematical research, but its proof has never been completely extricated from the journal literature in which it first appeared. This book serves as an introduction to a series devoted to organizing and simplifying the proof. The purpose of the series is to present as direct and coherent a proof as is possible with existing techniques. This first volume, which sets up the structure for the entire series, begins with largely informal discussions of the relationship between the Classification Theorem and the general structure of finite groups, as well as the general strategy to be followed in the series and a comparison with the original proof. Also listed are background results from the literature that will be used in subsequent volumes. Next, the authors formally present the structure of the proof and the plan for the series of volumes in the form of two grids, giving the main case division of the proof as well as the principal milestones in the analysis of each case. Thumbnail sketches are given of the ten or so principal methods underlying the proof. Much of the book is written in an expository style accessible to nonspecialists.