With over 60 figures, tables, and diagrams, this text is both an intuitive introduction to and a rigorous study of finite symmetric inverse semigroups. The book presents much of the material on the theory of finite symmetric inverse semigroups, unifying the classical finite symmetric group theory with its semigroup analogue. A comment section at the end of each chapter provides new historical perspective. New proofs, new theorems and the use of multiple figures, tables, and diagrams to present complex ideas make this book current and highly readable.
This first text on the subject provides a comprehensive introduction to the representation theory of finite monoids. Carefully worked examples and exercises provide the bells and whistles for graduate accessibility, bringing a broad range of advanced readers to the forefront of research in the area. Highlights of the text include applications to probability theory, symbolic dynamics, and automata theory. Comfort with module theory, a familiarity with ordinary group representation theory, and the basics of Wedderburn theory, are prerequisites for advanced graduate level study. Researchers in algebra, algebraic combinatorics, automata theory, and probability theory, will find this text enriching with its thorough presentation of applications of the theory to these fields. Prior knowledge of semigroup theory is not expected for the diverse readership that may benefit from this exposition. The approach taken in this book is highly module-theoretic and follows the modern flavor of the theory of finite dimensional algebras. The content is divided into 7 parts. Part I consists of 3 preliminary chapters with no prior knowledge beyond group theory assumed. Part II forms the core of the material giving a modern module-theoretic treatment of the Clifford –Munn–Ponizovskii theory of irreducible representations. Part III concerns character theory and the character table of a monoid. Part IV is devoted to the representation theory of inverse monoids and categories and Part V presents the theory of the Rhodes radical with applications to triangularizability. Part VI features 3 chapters devoted to applications to diverse areas of mathematics and forms a high point of the text. The last part, Part VII, is concerned with advanced topics. There are also 3 appendices reviewing finite dimensional algebras, group representation theory, and Möbius inversion.
The theory of semigroups is a relatively young branch of mathematics, with most of the major results having appeared after the Second World War. This book describes the evolution of (algebraic) semigroup theory from its earliest origins to the establishment of a full-fledged theory. Semigroup theory might be termed `Cold War mathematics' because of the time during which it developed. There were thriving schools on both sides of the Iron Curtain, although the two sides were not always able to communicate with each other, or even gain access to the other's publications. A major theme of this book is the comparison of the approaches to the subject of mathematicians in East and West, and the study of the extent to which contact between the two sides was possible.
This book contains a collection of fifteen articles and is dedicated to the sixtieth birthdays of Lex Renner and Mohan Putcha, the pioneers of the field of algebraic monoids. Topics presented include: structure and representation theory of reductive algebraic monoids monoid schemes and applications of monoids monoids related to Lie theory equivariant embeddings of algebraic groups constructions and properties of monoids from algebraic combinatorics endomorphism monoids induced from vector bundles Hodge–Newton decompositions of reductive monoids A portion of these articles are designed to serve as a self-contained introduction to these topics, while the remaining contributions are research articles containing previously unpublished results, which are sure to become very influential for future work. Among these, for example, the important recent work of Michel Brion and Lex Renner showing that the algebraic semi groups are strongly π-regular. Graduate students as well as researchers working in the fields of algebraic (semi)group theory, algebraic combinatorics and the theory of algebraic group embeddings will benefit from this unique and broad compilation of some fundamental results in (semi)group theory, algebraic group embeddings and algebraic combinatorics merged under the umbrella of algebraic monoids.
The book offers a direct and up-to-date introduction to the theory of one-parameter semigroups of linear operators on Banach spaces. The book is intended for students and researchers who want to become acquainted with the concept of semigroups.
To see objects that live in the fourth dimension we humans would need to add a fourth dimension to our three-dimensional vision. An example of such an object that lives in the fourth dimension is a hyper-sphere or “3-sphere.” The quest to imagine the elusive 3-sphere has deep historical roots: medieval poet Dante Alighieri used a 3-sphere to convey his allegorical vision of the Christian afterlife in his Divine Comedy. In 1917, Albert Einstein visualized the universe as a 3-sphere, describing this imagery as “the place where the reader’s imagination boggles. Nobody can imagine this thing.” Over time, however, understanding of the concept of a dimension evolved. By 2003, a researcher had successfully rendered into human vision the structure of a 4-web (think of an ever increasingly-dense spider’s web). In this text, Stephen Lipscomb takes his innovative dimension theory research a step further, using the 4-web to reveal a new partial image of a 3-sphere. Illustrations support the reader’s understanding of the mathematics behind this process. Lipscomb describes a computer program that can produce partial images of a 3-sphere and suggests methods of discerning other fourth-dimensional objects that may serve as the basis for future artwork.
Mirror symmetry began when theoretical physicists made some astonishing predictions about rational curves on quintic hypersurfaces in four-dimensional projective space. Understanding the mathematics behind these predictions has been a substantial challenge. This book is the first completely comprehensive monograph on mirror symmetry, covering the original observations by the physicists through the most recent progress made to date. Subjects discussed include toric varieties, Hodge theory, Kahler geometry, moduli of stable maps, Calabi-Yau manifolds, quantum cohomology, Gromov-Witten invariants, and the mirror theorem. This title features: numerous examples worked out in detail; an appendix on mathematical physics; an exposition of the algebraic theory of Gromov-Witten invariants and quantum cohomology; and, a proof of the mirror theorem for the quintic threefold.
The complex information systems which have evolved in recent decades rely on robust and coherent representations in order to function. Such representations and associated reasoning techniques constitute the modern discipline of formal ontology, which is now applied to fields such as artificial intelligence, computational linguistics, bioinformatics, GIS, conceptual modeling, knowledge engineering, information retrieval, and the semantic web. Ontologies are increasingly employed in a number of complex real-world application domains. For instance, in biology and medicine, more and more principle-based ontologies are being developed for the description of biological and biomedical phenomena. To be effective, such ontologies must work well together, and as they become more widely used, achieving coordinated development presents a significant challenge. This book presents collected articles from the 7th International Conference on Formal Ontologies (FOIS), held in Graz, Austria, in July 2012.FOIS is a forum which brings together representatives of all major communities involved in the development and application of ontologies to explore both theoretical issues and concrete applications in the field. The book is organized in eight sections, each of which deals with the ontological aspects of: bioinformatics; physical entities; artifacts and human resources; ontology evaluation; language and social relations; time and events; representation and the methodological aspects of ontological engineering. Providing a current overview of developments in formal ontology, this book will be of interest to all those whose work involves the application of ontologies, and to anybody wishing to keep abreast of advances in the field.
