This book is the ninth volume in a series whose goal is to furnish a careful and largely self-contained proof of the classification theorem for the finite simple groups. Having completed the classification of the simple groups of odd type as well as the classification of the simple groups of generic even type (modulo uniqueness theorems to appear later), the current volume begins the classification of the finite simple groups of special even type. The principal result of this volume is a classification of the groups of bicharacteristic type, i.e., of both even type and of $p$-type for a suitable odd prime $p$. It is here that the largest sporadic groups emerge, namely the Monster, the Baby Monster, the largest Conway group, and the three Fischer groups, along with six finite groups of Lie type over small fields, several of which play a major role as subgroups or sections of these sporadic groups.

One-Cocycles and Knot Invariants is about classical knots, i.e., smooth oriented knots in 3-space. It introduces discrete combinatorial analysis in knot theory in order to solve a global tetrahedron equation. This new technique is then used to construct combinatorial 1-cocycles in a certain moduli space of knot diagrams. The construction of the moduli space makes use of the meridian and the longitude of the knot. The combinatorial 1-cocycles are therefore lifts of the well-known Conway polynomial of knots, and they can be calculated in polynomial time. The 1-cocycles can distinguish loops consisting of knot diagrams in the moduli space up to homology. They give knot invariants when they are evaluated on canonical loops in the connected components of the moduli space. They are a first candidate for numerical knot invariants which can perhaps distinguish the orientation of knots.

This book is the third of a three-volume set of books on the theory of algebras, a study that provides a consistent framework for understanding algebraic systems, including groups, rings, modules, semigroups and lattices. Volume I, first published in the 1980s, built the foundations of the theory and is considered to be a classic in this field. The long-awaited volumes II and III are now available. Taken together, the three volumes provide a comprehensive picture of the state of art in general algebra today, and serve as a valuable resource for anyone working in the general theory of algebraic systems or in related fields. The two new volumes are arranged around six themes first introduced in Volume I. Volume II covers the Classification of Varieties, Equational Logic, and Rudiments of Model Theory, and Volume III covers Finite Algebras and their Clones, Abstract Clone Theory, and the Commutator. These topics are presented in six chapters with independent expositions, but are linked by themes and motifs that run through all three volumes.

This monograph provides a coherent development of operads, infinity operads, and monoidal categories, equipped with equivariant structures encoded by an action operad. A group operad is a planar operad with an action operad equivariant structure. In the first three parts of this monograph, we establish a foundation for group operads and for their higher coherent analogues called infinity group operads. Examples include planar, symmetric, braided, ribbon, and cactus operads, and their infinity analogues. For example, with the tools developed here, we observe that the coherent ribbon nerve of the universal cover of the framed little 2-disc operad is an infinity ribbon operad.In Part 4 we define general monoidal categories equipped with an action operad equivariant structure and provide a unifying treatment of coherence and strictification for them. Examples of such monoidal categories include symmetric, braided, ribbon, and coboundary monoidal categories, which naturally arise in the representation theory of quantum groups and of coboundary Hopf algebras and in the theory of crystals of finite dimensional complex reductive Lie algebras.

The study of the geometry of structures that arise in a variety of specific natural systems, such as chemical, physical, biological, and geological, revealed the existence of a wide range of types of polytopes of the highest dimension that were unknown in classical geometry. At the same time, new properties of polytopes were discovered as well as the geometric patterns to which they obey. There is a need to classify these types of polytopes of the highest dimension by listing their properties and formulating the laws to which they obey. The Classes of Higher Dimensional Polytopes in Chemical, Physical, and Biological Systems explains the meaning of higher dimensions and systematically generalizes the results of geometric research in various fields of knowledge. This book is useful both for the fundamental development of geometry and for the development of branches of science related to human activities. It builds upon previous books published by the author on this topic. Covering areas such as heredity, geometry, and dimensions, this reference work is ideal for researchers, scholars, academicians, practitioners, industry professionals, instructors, and students.

Symmetry is all around us. Of fundamental significance to the way we interpret the world, this unique, pervasive phenomenon indicates a dynamic relationship between objects. Combining a rich historical narrative with his own personal journey as a mathematician, Marcus du Sautoy takes a unique look into the mathematical mind as he explores deep conjectures about symmetry and brings us face-to-face with the oddball mathematicians, both past and present, who have battled to understand symmetry's elusive qualities.

Classical Deformation Theory is used for determining the completions of the local rings of an eventual moduli space. When a moduli variety exists, a main result in the book is that the local ring in a closed point can be explicitly computed as an algebraization of the pro-representing hull (therefore, called the local formal moduli) of the deformation functor for the corresponding closed point.The book gives explicit computational methods and includes the most necessary prerequisites. It focuses on the meaning and the place of deformation theory, resulting in a complete theory applicable to moduli theory. It answers the question 'why moduli theory' and it give examples in mathematical physics by looking at the universe as a moduli of molecules. Thereby giving a meaning to most noncommutative theories.The book contains the first explicit definition of a noncommutative scheme, covered by not necessarily commutative rings. This definition does not contradict any of the previous abstract definitions of noncommutative algebraic geometry, but rather gives interesting relations to other theories which is left for further investigation.