Giving an easily accessible elementary introduction to the algebraic theory of quadratic forms, this book covers both Witt's theory and Pfister's theory of quadratic forms. Leading topics include the geometry of bilinear spaces, classification of bilinear spaces up to isometry depending on the ground field, formally real fields, Pfister forms, the Witt ring of an arbitrary field (characteristic two included), prime ideals of the Witt ring, Brauer group of a field, Hasse and Witt invariants of quadratic forms, and equivalence of fields with respect to quadratic forms. Problem sections are included at the end of each chapter. There are two appendices: the first gives a treatment of Hasse and Witt invariants in the language of Steinberg symbols, and the second contains some more advanced problems in 10 groups, including the u-invariant, reduced and stable Witt rings, and Witt equivalence of fields.

This book is a comprehensive study of the algebraic theory of quadratic forms, from classical theory to recent developments, including results and proofs that have never been published. The book is written from the viewpoint of algebraic geometry and includes the theory of quadratic forms over fields of characteristic two, with proofs that are characteristic independent whenever possible. For some results both classical and geometric proofs are given. Part I includes classical algebraic theory of quadratic and bilinear forms and answers many questions that have been raised in the early stages of the development of the theory. Assuming only a basic course in algebraic geometry, Part II presents the necessary additional topics from algebraic geometry including the theory of Chow groups, Chow motives, and Steenrod operations. These topics are used in Part III to develop a modern geometric theory of quadratic forms.

By focusing on quadratic numbers, this advanced undergraduate or master’s level textbook on algebraic number theory is accessible even to students who have yet to learn Galois theory. The techniques of elementary arithmetic, ring theory and linear algebra are shown working together to prove important theorems, such as the unique factorization of ideals and the finiteness of the ideal class group. The book concludes with two topics particular to quadratic fields: continued fractions and quadratic forms. The treatment of quadratic forms is somewhat more advanced than usual, with an emphasis on their connection with ideal classes and a discussion of Bhargava cubes. The numerous exercises in the text offer the reader hands-on computational experience with elements and ideals in quadratic number fields. The reader is also asked to fill in the details of proofs and develop extra topics, like the theory of orders. Prerequisites include elementary number theory and a basic familiarity with ring theory.

The first coherent exposition of the theory of binary quadratic forms was given by Gauss in the Disqnisitiones Arithmeticae. During the nine teenth century, as the theory of ideals and the rudiments of algebraic number theory were developed, it became clear that this theory of bi nary quadratic forms, so elementary and computationally explicit, was indeed just a special case of a much more elega,nt and abstract theory which, unfortunately, is not computationally explicit. In recent years the original theory has been laid aside. Gauss's proofs, which involved brute force computations that can be done in what is essentially a two dimensional vector space, have been dropped in favor of n-dimensional arguments which prove the general theorems of algebraic number the ory. In consequence, this elegant, yet pleasantly simple, theory has been neglected even as some of its results have become extremely useful in certain computations. I find this neglect unfortunate, because binary quadratic forms have two distinct attractions. First, the subject involves explicit computa tion and many of the computer programs can be quite simple. The use of computers in experimenting with examples is both meaningful and enjoyable; one can actually discover interesting results by com puting examples, noticing patterns in the "data," and then proving that the patterns result from the conclusion of some provable theorem.

This open access textbook presents a comprehensive treatment of the arithmetic theory of quaternion algebras and orders, a subject with applications in diverse areas of mathematics. Written to be accessible and approachable to the graduate student reader, this text collects and synthesizes results from across the literature. Numerous pathways offer explorations in many different directions, while the unified treatment makes this book an essential reference for students and researchers alike. Divided into five parts, the book begins with a basic introduction to the noncommutative algebra underlying the theory of quaternion algebras over fields, including the relationship to quadratic forms. An in-depth exploration of the arithmetic of quaternion algebras and orders follows. The third part considers analytic aspects, starting with zeta functions and then passing to an idelic approach, offering a pathway from local to global that includes strong approximation. Applications of unit groups of quaternion orders to hyperbolic geometry and low-dimensional topology follow, relating geometric and topological properties to arithmetic invariants. Arithmetic geometry completes the volume, including quaternionic aspects of modular forms, supersingular elliptic curves, and the moduli of QM abelian surfaces. Quaternion Algebras encompasses a vast wealth of knowledge at the intersection of many fields. Graduate students interested in algebra, geometry, and number theory will appreciate the many avenues and connections to be explored. Instructors will find numerous options for constructing introductory and advanced courses, while researchers will value the all-embracing treatment. Readers are assumed to have some familiarity with algebraic number theory and commutative algebra, as well as the fundamentals of linear algebra, topology, and complex analysis. More advanced topics call upon additional background, as noted, though essential concepts and motivation are recapped throughout.

For a long time - at least from Fermat to Minkowski - the theory of quadratic forms was a part of number theory. Much of the best work of the great number theorists of the eighteenth and nineteenth century was concerned with problems about quadratic forms. On the basis of their work, Minkowski, Siegel, Hasse, Eichler and many others crea ted the impressive "arithmetic" theory of quadratic forms, which has been the object of the well-known books by Bachmann (1898/1923), Eichler (1952), and O'Meara (1963). Parallel to this development the ideas of abstract algebra and abstract linear algebra introduced by Dedekind, Frobenius, E. Noether and Artin led to today's structural mathematics with its emphasis on classification problems and general structure theorems. On the basis of both - the number theory of quadratic forms and the ideas of modern algebra - Witt opened, in 1937, a new chapter in the theory of quadratic forms. His most fruitful idea was to consider not single "individual" quadratic forms but rather the entity of all forms over a fixed ground field and to construct from this an algebra ic object. This object - the Witt ring - then became the principal object of the entire theory. Thirty years later Pfister demonstrated the significance of this approach by his celebrated structure theorems.