This volume highlights the links between model theory and algebra. The work contains a definitive account of algebraically compact modules, a topic of central importance for both module and model theory. Using concrete examples, particular emphasis is given to model theoretic concepts, such as axiomizability. Pure mathematicians, especially algebraists, ring theorists, logicians, model theorists and representation theorists, should find this an absorbing and stimulating book.
Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than via the completeness theorem of first-order logic). This leads fairly quickly to algebraic applications, like Malcev's local theorems of group theory and, after a little more preparation, to Hilbert's Nullstellensatz of field theory. Steinitz dimension theory for field extensions is obtained as a special case of a much more general model-theoretic treatment of strongly minimal theories. There is a final chapter on the models of the first-order theory of the integers as an abelian group. Both these topics appear here for the first time in a textbook at the introductory level, and are used to give hints to further reading and to recent developments in the field, such as stability (or classification) theory.
In this book, the authors present both traditional and modern discoveries in the subject area, concentrating on advanced aspects of the topic. Existing material is studied in detail, including finitely generated modules, projective and injective modules, and the theory of torsion and torsion-free modules. Some topics are treated from a new point of view. Also included are areas not found in current texts, for example, pure-injectivity, divisible modules, uniserial modules, etc. Special emphasis is given to results that are valid over arbitrary domains. The authors concentrate on modules over valuation and Prüfer domains, but also discuss Krull and Matlis domains, h-local, reflexive, and coherent domains. The volume can serve as a standard reference book for specialists working in the area and also is a suitable text for advanced-graduate algebra courses and seminars.
Accosiative rings and algebras are very interesting algebraic structures. In a strict sense, the theory of algebras (in particular, noncommutative algebras) originated fromasingleexample,namelythequaternions,createdbySirWilliamR.Hamilton in1843. Thiswasthe?rstexampleofanoncommutative”numbersystem”. During thenextfortyyearsmathematiciansintroducedotherexamplesofnoncommutative algebras, began to bring some order into them and to single out certain types of algebras for special attention. Thus, low-dimensional algebras, division algebras, and commutative algebras, were classi?ed and characterized. The ?rst complete results in the structure theory of associative algebras over the real and complex ?elds were obtained by T.Molien, E.Cartan and G.Frobenius. Modern ring theory began when J.H.Wedderburn proved his celebrated cl- si?cation theorem for ?nite dimensional semisimple algebras over arbitrary ?elds. Twenty years later, E.Artin proved a structure theorem for rings satisfying both the ascending and descending chain condition which generalized Wedderburn structure theorem. The Wedderburn-Artin theorem has since become a corn- stone of noncommutative ring theory. The purpose of this book is to introduce the subject of the structure theory of associative rings. This book is addressed to a reader who wishes to learn this topic from the beginning to research level. We have tried to write a self-contained book which is intended to be a modern textbook on the structure theory of associative rings and related structures and will be accessible for independent study.
Features a stimulating selection of papers on abelian groups, commutative and noncommutative rings and their modules, and topological groups. Investigates currently popular topics such as Butler groups and almost completely decomposable groups.
This volume provides a comprehensive introduction to module theory and the related part of ring theory, including original results as well as the most recent work. It is a useful and stimulating study for those new to the subject as well as for researchers and serves as a reference volume. Starting form a basic understanding of linear algebra, the theory is presented and accompanied by complete proofs. For a module M, the smallest Grothendieck category containing it is denoted by o[M] and module theory is developed in this category. Developing the techniques in o[M] is no more complicated than in full module categories and the higher generality yields significant advantages: for example, module theory may be developed for rings without units and also for non-associative rings. Numerous exercises are included in this volume to give further insight into the topics covered and to draw attention to related results in the literature.
This proceedings volume gathers together original articles and survey works that originate from presentations given at the conference Transient Transcendence in Transylvania, held in Brașov, Romania, from May 13th to 17th, 2019. The conference gathered international experts from various fields of mathematics and computer science, with diverse interests and viewpoints on transcendence. The covered topics are related to algebraic and transcendental aspects of special functions and special numbers arising in algebra, combinatorics, geometry and number theory. Besides contributions on key topics from invited speakers, this volume also brings selected papers from attendees.
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.
Fourteen papers presented at the conference on [title], held at the International Conference and Research Center for Computer Science, Schloss Dagstuhl, June 1991, as well as a few others submitted by colleagues unable to attend, reflect the interplay between algebra, logic, and semantics of programming languages. Among the topics are a formal specification of PARLOG, synthesis of nondeterministic asynchronous automata, observable modules and power domain constructions, the Smyth-completion of a quasi-uniform space, current trends in the semantics of data flow, and a theory of unary pairfunctions. Annotation copyright by Book News, Inc., Portland, OR
