Pell's equation is an important topic of algebraic number theory that involves quadratic forms and the structure of rings of integers in algebraic number fields. The history of this equation is long and circuitous, and involved a number of different approaches before a definitive theory was found. There were partial patterns and quite effective methods of finding solutions, but a complete theory did not emerge until the end of the eighteenth century. The topic is motivated and developed through sections of exercises which allow the student to recreate known theory and provide a focus for their algebraic practice. There are also several explorations that encourage the reader to embark on their own research. Some of these are numerical and often require the use of a calculator or computer. Others introduce relevant theory that can be followed up on elsewhere, or suggest problems that the reader may wish to pursue. A high school background in mathematics is all that is needed to get into this book, and teachers and others interested in mathematics who do not have a background in advanced mathematics may find that it is a suitable vehicle for keeping up an independent interest in the subject. Edward Barbeau is Professor of Mathematics at the University of Toronto. He has published a number of books directed to students of mathematics and their teachers, including Polynomials (Springer 1989), Power Play (MAA 1997), Fallacies, Flaws and Flimflam (MAA 1999) and After Math (Wall & Emerson, Toronto 1995).

Algebraic statistics is a rapidly developing field, where ideas from statistics and algebra meet and stimulate new research directions. One of the origins of algebraic statistics is the work by Diaconis and Sturmfels in 1998 on the use of Grobner bases for constructing a connected Markov chain for performing conditional tests of a discrete exponential family.In this book we take up this topic and present a detailed summary of developments following the seminal work of Diaconis and Sturmfels.

This book is intended for statisticians with minimal backgrounds in algebra.As we ourselves learned algebraic notions through working on statistical problems and collaborating with notable algebraists, we hope that this book with many practical statistical problems is useful for statisticians to start working on the field."

Complexity increases with increasing system size in everything from organisms to organizations. The nonlinear dependence of a system's functionality on its size, by means of an allometry relation, is argued to be a consequence of their joint dependency on complexity (information). In turn, complexity is proven to be the source of allometry and to provide a new kind of force entailed by a system's information gradient. Based on first principles, the scaling behavior of the probability density function is determined by the exact solution to a set of fractional differential equations. The resulting lowest order moments in system size and functionality gives rise to the empirical allometry relations. Taking examples from various topics in nature, the book is of interest to researchers in applied mathematics, as well as, investigators in the natural, social, physical and life sciences. Contents Complexity Empirical allometry Statistics, scaling and simulation Allometry theories Strange kinetics Fractional probability calculus

This volume contains the accounts of the principal survey papers presented at GRAPHS and ORDER, held at Banff, Canada from May 18 to May 31, 1984. This conference was supported by grants from the N.A.T.O. Advanced Study Institute programme, the Natural Sciences and Engineering Research Council of Canada and the University of Calgary. We are grateful for all of this considerable support. Almost fifty years ago the first Symposium on Lattice Theory was held in Charlottesville, U.S.A. On that occasion the principal lectures were delivered by G. Birkhoff, O. Ore and M.H. Stone. In those days the theory of ordered sets was thought to be a vigorous relative of group theory. Some twenty-five years ago the Symposium on Partially Ordered Sets and Lattice Theory was held in Monterey, U.S.A. Among the principal speakers at that meeting were R.P. Dilworth, B. Jonsson, A. Tarski and G. Birkhoff. Lattice theory had turned inward: it was concerned primarily with problems about lattices themselves. As a matter of fact the problems that were then posed have, by now, in many instances, been completely solved.

In these volumes, the most significant of the collected papers of the Chinese-American theoretical physicist Tsung-Dao Lee are printed. A complete list of his published papers, in order of publication, appears in the Bibliography of T.D. Lee. The papers have been arranged into ten categories, in most cases according to the subject matter. At the beginning of each of the first eight categories of papers, there is a commentary on the content and significance of all of the papers in the category. The two short final categories do not have any commentaries. The editor would like to thank Dr. Richard Friedberg for his assistance in the early stages of the editorial work on this project, as well as for writing commentaries on the papers of Categories III and IV. I would also like to thank Dr. Norman Christ for writing the commentary on the papers of Category VII. The assistance of Irene Tramm was in valuable in many aspects of preparing this collection, including locating copies of Lee's p pers. GERALD FEINBERG List of Categories of T.D. Lee's Papers Volume 1 I. Weak Interactions II. Early Papers on Astrophysics and Hydrodynamics III. Statistical Mechanics IV. Polarons and Solitons Volume 2 V. Quantum Field Theory VI. Symmetry Principles Volume 3 VII. Discrete Physics VIII. Strong Interaction Models IX. Historical Papers X. Gravity (Continuum Theory) Contents (Volume 3)* Introduction (by G. Feinberg) ............................................................ ix Bibliography of T.D. Lee ................................................................. xiii VII. Discrete Physics Commentary ................................................................ ."

"About binomial theorems I'm teeming with a lot of news, With many cheerful facts about the square on the hypotenuse. " - William S. Gilbert (The Pirates of Penzance, Act I) The question of divisibility is arguably the oldest problem in mathematics. Ancient peoples observed the cycles of nature: the day, the lunar month, and the year, and assumed that each divided evenly into the next. Civilizations as separate as the Egyptians of ten thousand years ago and the Central American Mayans adopted a month of thirty days and a year of twelve months. Even when the inaccuracy of a 360-day year became apparent, they preferred to retain it and add five intercalary days. The number 360 retains its psychological appeal today because it is divisible by many small integers. The technical term for such a number reflects this appeal. It is called a "smooth" number. At the other extreme are those integers with no smaller divisors other than 1, integers which might be called the indivisibles. The mystic qualities of numbers such as 7 and 13 derive in no small part from the fact that they are indivisibles. The ancient Greeks realized that every integer could be written uniquely as a product of indivisibles larger than 1, what we appropriately call prime numbers. To know the decomposition of an integer into a product of primes is to have a complete description of all of its divisors.

A mathematically precise definition of the intuitive notion of "algorithm" was implicit in Kurt Godel's [1931] paper on formally undecidable propo sitions of arithmetic. During the 1930s, in the work of such mathemati cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, Godel's idea evolved into the concept of a recursive function. Church pro posed the thesis, generally accepted today, that an effective algorithm is the same thing as a procedure whose output is a recursive function of the input (suitably coded as an integer). With these concepts, it became possible to prove that many familiar theories are undecidable (or non-recursive)-i. e. , that there does not exist an effective algorithm (recursive function) which would allow one to determine which sentences belong to the theory. It was clear from the beginning that any theory with a rich enough mathematical content must be undecidable. On the other hand, some theories with a substantial content are decidable. Examples of such decidabLe theories are the theory of Boolean algebras (Tarski [1949]), the theory of Abelian groups (Szmiele~ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]' but Tarski discovered these results around 1930). The de termination of precise lines of division between the classes of decidable and undecidable theories became an important goal of research in this area. algebra we mean simply any structure (A, h(i E I)} consisting of By an a nonvoid set A and a system of finitary operations Ii over A.

Proceedings of the NATO Advanced Study Institute, Antwerp, Belgium, August 2-12, 1983

Around 1978, a mutation of associative algebras was introduced to generalize the formalism of classical mechanics as well as quantum mechanics. This volume presents the first book devoted to a self-contained and detailed treatment of the mathematical theory of mutation algebras, which is based on research in this subject over the past fifteen years. The book also deals with a broader class of algebras, mutations of alternative algebras, which are a natural generalization of mutations of associative algebras. A complete structure theory, including automorphisms, derivations and certain representations, is given for mutations of artinian alternative algebras, and, in particular, of Cayley--Dickson algebras. Since the mutation algebras do not form a variety, the structure theory explored in this volume takes quite a different approach from the standard theory of nonassociative algebras and provides an important interplay with the theory of noncommutative (associative) algebras through mutation parameters. New simple algebras and open problems presented in this book will stimulate additional research and applications in the area. This book will be valuable to graduate students, mathematicians and physicists interested in applications of algebras.

This updated edition of this classic book is devoted to ordinary representation theory and is addressed to finite group theorists intending to study and apply character theory. It contains many exercises and examples, and the list of problems contains a number of open questions.

The companion title, Linear Algebra, has sold over 8,000 copies

The writing style is very accessible

The material can be covered easily in a one-year or one-term course

Includes Noah Snyder's proof of the Mason-Stothers polynomial abc theorem

New material included on product structure for matrices including descriptions of the conjugation representation of the diagonal group

This book provides an exposition of the algebraic aspects of the theory of lattice-ordered rings and lattice-ordered modules. All of the background material on rings, modules, and lattice-ordered groups necessary to make the work self-contained and accessible to a variety of readers is included. Filling a gap in the literature, Lattice-Ordered Rings and Modules may be used as a textbook or for self-study by graduate students and researchers studying lattice-ordered rings and lattice-ordered modules.

Steinberg presents the material through 800+ extensive examples of varying levels of difficulty along with numerous exercises at the end of each section. Key topics include: lattice-ordered groups, rings, and fields; archimedean $l$-groups; f-rings and larger varieties of $l$-rings; the category of f-modules; various commutativity results.

Semisimple Lie groups, and their algebraic analogues over fields other than the reals, are of fundamental importance in geometry, analysis, and mathematical physics. Three independent, self-contained volumes, under the general title Lie Theory, feature survey work and original results by well-established researchers in key areas of semisimple Lie theory.

Unitary Representations and Compactifications of Symmetric Spaces, a self-contained work by A. Borel, L. Ji, and T. Kobayashi, focuses on two fundamental questions in the theory of semisimple Lie groups: the geometry of Riemannian symmetric spaces and their compactifications; and branching laws for unitary representations, i.e., restricting unitary representations to (typically, but not exclusively, symmetric) subgroups and decomposing the ensuing representations into irreducibles.

Ji's introductory chapter motivates the subject of symmetric spaces and their compactifications with carefully selected examples. A discussion of Satake and Furstenberg boundaries and a survey of the geometry of Riemannian symmetric spaces in general provide a good background for the second chapter, namely, the Borela "Ji authoritative treatment of various types of compactifications useful for studying symmetric and locally symmetric spaces. Borela "Ji further examine constructions of Oshima, De Concini, Procesi, and Melrose, which demonstrate the wide applicability of compactification techniques.

Kobayashi examines the important subject of branching laws. Important concepts from modern representation theory, such as Harisha "Chandra modules, associated varieties, microlocal analysis, derived functor modules, and geometric quantization areintroduced. Concrete examples and relevant exercises engage the reader.

Knowledge of basic representation theory of Lie groups as well as familiarity with semisimple Lie groups and symmetric spaces is required of the reader.

This study covers comodules, rational modules and bicomodules; cosemisimple, semiperfect and co-Frobenius algebras; bialgebras and Hopf algebras; actions and coactions of Hopf algebras on algebras; finite dimensional Hopf algebras, with the Nicholas-Zoeller and Taft-Wilson theorems and character theory; and more.

A PRACTICAL GUIDE TO OPTIMIZATION PROBLEMS WITH DISCRETE OR INTEGER VARIABLES, REVISED AND UPDATED The revised second edition of Integer Programming explains in clear and simple terms how to construct custom-made algorithms or use existing commercial software to obtain optimal or near-optimal solutions for a variety of real-world problems. The second edition also includes information on the remarkable progress in the development of mixed integer programming solvers in the 22 years since the first edition of the book appeared. The updated text includes information on the most recent developments in the field such as the much improved preprocessing/presolving and the many new ideas for primal heuristics included in the solvers. The result has been a speed-up of several orders of magnitude. The other major change reflected in the text is the widespread use of decomposition algorithms, in particular column generation (branch-(cut)-and-price) and Benders' decomposition. The revised second edition: Contains new developments on column generation Offers a new chapter on Benders' algorithm Includes expanded information on preprocessing, heuristics, and branch-and-cut Presents several basic and extended formulations, for example for fixed cost network flows Also touches on and briefly introduces topics such as non-bipartite matching, the complexity of extended formulations or a good linear program for the implementation of lift-and-project Written for students of integer/mathematical programming in operations research, mathematics, engineering, or computer science, Integer Programming offers an updated edition of the basic text that reflects the most recent developments in the field.

This volume contains papers which are based primarily on talks given at an inter national conference on Algorithmic Problems in Groups and Semigroups held at the University of Nebraska-Lincoln from May ll-May 16, 1998. The conference coincided with the Centennial Celebration of the Department of Mathematics and Statistics at the University of Nebraska-Lincoln on the occasion of the one hun dredth anniversary of the granting of the first Ph.D. by the department. Funding was provided by the US National Science Foundation, the Department of Math ematics and Statistics, and the College of Arts and Sciences at the University of Nebraska-Lincoln, through the College's focus program in Discrete, Experimental and Applied Mathematics. The purpose of the conference was to bring together researchers with interests in algorithmic problems in group theory, semigroup theory and computer science. A particularly useful feature of this conference was that it provided a framework for exchange of ideas between the research communities in semigroup theory and group theory, and several of the papers collected here reflect this interac tion of ideas. The papers collected in this volume represent a cross section of some of the results and ideas that were discussed in the conference. They reflect a synthesis of overlapping ideas and techniques stimulated by problems concerning finite monoids, finitely presented mono ids, finitely presented groups and free groups."

This proceedings volume, the fifth in a series from the Combinatorial and Additive Number Theory (CANT) conferences, is based on talks from the 19th annual workshop, held online due to the COVID-19 pandemic. Organized every year since 2003 by the New York Number Theory Seminar at the CUNY Graduate Center, the workshops survey state-of-the-art open problems in combinatorial and additive number theory and related parts of mathematics. The CANT 2021 meeting featured over a hundred speakers from North and South America, Europe, Asia, Australia, and New Zealand, and was the largest CANT conference in terms of the number of both lectures and participants. These proceedings contain peer-reviewed and edited papers on current topics in number theory. Topics featured in this volume include sumsets, minimal bases, Sidon sets, analytic and prime number theory, combinatorial and discrete geometry, numerical semigroups, and a survey of expansion, divisibility, and parity. This selection of articles will be of relevance to both researchers and graduate students interested in current progress in number theory.

Nestled between number theory, combinatorics, algebra and analysis lies a rapidly developing subject in mathematics variously known as additive combinatorics, additive number theory, additive group theory, and combinatorial number theory. Its main objects of study are not abelian groups themselves, but rather the additive structure of subsets and subsequences of an abelian group, i.e., sumsets and subsequence sums. This text is a hybrid of a research monograph and an introductory graduate textbook. With few exceptions, all results presented are self-contained, written in great detail, and only reliant upon material covered in an advanced undergraduate curriculum supplemented with some additional Algebra, rendering this bookusable as an entry-level text. However, it will perhaps be of even more interest to researchers already in the field.

The majority of material is not found in book form and includes many new results as well. Even classical results, when included, are given in greater generality or using new proof variations. The text has a particular focus on results of a more exact and precise nature, results with strong hypotheses and yet stronger conclusions, and on fundamental aspects of the theory. Also included are intricate results often neglected in other texts owing to their complexity. Highlights include an extensive treatment of Freiman Homomorphisms and the Universal Ambient Group of sumsets A+B, an entire chapter devoted to Hamidoune s Isoperimetric Method, a novel generalization allowing infinite summands in finite sumset questions, weighted zero-sum problems treated in the general context of viewing homomorphisms as weights, and simplified proofs of the Kemperman Structure Theorem and the Partition Theorem for setpartitions."

This is a book about graph homomorphisms. Graph theory is now an established discipline but the study of graph homomorphisms has only recently begun to gain wide acceptance and interest. The subject gives a useful perspective in areas such as graph reconstruction, products, fractional and circular colorings, and has applications in complexity theory, artificial intelligence, telecommunication, and, most recently, statistical physics.
Based on the authors' lecture notes for graduate courses, this book can be used as a textbook for a second course in graph theory at 4th year or master's level and has been used for courses at Simon Fraser University (Vancouver), Charles University (Prague), ETH (Zurich), and UFRJ (Rio de Janeiro).
The exercises vary in difficulty. The first few are usually intended to give the reader an opportunity to practice the concepts introduced in the chapter; the later ones explore related concepts, or even introduce new ones. For the harder exercises hints and references are provided.
The authors are well known for their research in this area and the book will be invaluable to graduate students and researchers alike.

Deals with the most basic notion of linear algebra, to bring emphasis on approaches to the topic serving at the elementary level and more broadly. A typical feature is where computational algorithms and theoretical proofs are brought together. Another is respect for symmetry, so that when this has some part in the form of a matter it should also be reflected in the treatment. Issues relating to computational method are covered. These interests may have suggested a limited account, to be rounded-out suitably. However this limitation where basic material is separated from further reaches of the subject has an appeal of its own. To the `elementary operations' method of the textbooks for doing linear algebra, Albert Tucker added a method with his `pivot operation'. Here there is a more primitive method based on the `linear dependence table', and yet another based on `rank reduction'. The determinant is introduced in a completely unusual upside-down fashion where Cramer's rule comes first. Also dealt with is what is believed to be a completely new idea, of the `alternant', a function associated with the affine space the way the determinant is with the linear space, with n+1 vector arguments, as the determinant has n. Then for affine (or barycentric) coordinates we find a rule which is an unprecedented exact counterpart of Cramer's rule for linear coordinates, where the alternant takes on the role of the determinant. These are among the more distinct or spectacular items for possible novelty, or unfamiliarity. Others, with or without some remark, may be found scattered in different places.

"Presents the proceedings of the recently held Third International Conference on Commutative Ring Theory in Fez, Morocco. Details the latest developments in commutative algebra and related areas-featuring 26 original research articles and six survey articles on fundamental topics of current interest. Examines wide-ranging developments in commutative algebra, together with connections to algebraic number theory and algebraic geometry."

Group cohomology has a rich history that goes back a century or more. Its origins are rooted in investigations of group theory and num ber theory, and it grew into an integral component of algebraic topology. In the last thirty years, group cohomology has developed a powerful con nection with finite group representations. Unlike the early applications which were primarily concerned with cohomology in low degrees, the in teractions with representation theory involve cohomology rings and the geometry of spectra over these rings. It is this connection to represen tation theory that we take as our primary motivation for this book. The book consists of two separate pieces. Chronologically, the first part was the computer calculations of the mod-2 cohomology rings of the groups whose orders divide 64. The ideas and the programs for the calculations were developed over the last 10 years. Several new features were added over the course of that time. We had originally planned to include only a brief introduction to the calculations. However, we were persuaded to produce a more substantial text that would include in greater detail the concepts that are the subject of the calculations and are the source of some of the motivating conjectures for the com putations. We have gathered together many of the results and ideas that are the focus of the calculations from throughout the mathematical literature."

Let G be a group. An automorphism of G is called intense if it sends each subgroup of G to a conjugate; the collection of such automorphisms is denoted by Int(G). In the special case in which p is a prime number and G is a finite p-group, one can show that Int(G) is the semidirect product of a normal p-Sylow and a cyclic subgroup of order dividing p?1. In this paper we classify the finite p-groups whose groups of intense automorphisms are not themselves p-groups. It emerges from our investigation that the structure of such groups is almost completely determined by their nilpotency class: for p > 3, they share a quotient, growing with their class, with a uniquely determined infinite 2-generated pro-p group.

This self-contained monograph explores a new theory centered around boolean representations of simplicial complexes leading to a new class of complexes featuring matroids as central to the theory. The book illustrates these new tools to study the classical theory of matroids as well as their important geometric connections. Moreover, many geometric and topological features of the theory of matroids find their counterparts in this extended context. Graduate students and researchers working in the areas of combinatorics, geometry, topology, algebra and lattice theory will find this monograph appealing due to the wide range of new problems raised by the theory. Combinatorialists will find this extension of the theory of matroids useful as it opens new lines of research within and beyond matroids. The geometric features and geometric/topological applications will appeal to geometers. Topologists who desire to perform algebraic topology computations will appreciate the algorithmic potential of boolean representable complexes.