This volume focuses on group theory and model theory with a particular emphasis on the interplay of the two areas. The survey papers provide an overview of the developments across group, module, and model theory while the research papers present the most recent study in those same areas. With introductory sections that make the topics easily accessible to students, the papers in this volume will appeal to beginning graduate students and experienced researchers alike. As a whole, this book ...

This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of log...

This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Informatics, CAI 2019, held in Niš, Serbia, in June/July 2019.The 20 revised papers presented were carefully reviewed and selected from 35 submissions. The papers present research at the intersection of theoretical computer science, algebra, and related areas. They report original unpublished research and cover a broad range of topics from automata theory and logic, cryptography and codi...

At first sight, finitely generated abelian groups and canonical forms of matrices appear to have little in common. However, reduction to Smith normal form, named after its originator H.J.S.Smith in 1861, is a matrix version of the Euclidean algorithm and is exactly what the theory requires in both cases. Starting with matrices over the integers, Part 1 of this book provides a measured introduction to such groups: two finitely generated abelian groups are isomorphic if and only if their inv...

Providing an accessible approach to a special case of the Rank Theorem, the present text considers the exact finiteness properties of S-arithmetic subgroups of split reductive groups in positive characteristic when S contains only two places. While the proof of the general Rank Theorem uses an involved reduction theory due to Harder, by imposing the restrictions that the group is split and that S has only two places, one can instead make use of the theory of twin buildings.

The first part of this book provides an elementary and self-contained exposition of classical Galois theory and its applications to questions of solvability of algebraic equations in explicit form. The second part describes a surprising analogy between the fundamental theorem of Galois theory and the classification of coverings over a topological space. The third part contains a geometric description of finite algebraic extensions of the field of meromorphic functions on a Riemann surface ...

In mathematical physics, the correspondence between quantum and classical mechanics is a central topic, which this book explores in more detail in the particular context of spin systems, that is, SU(2)-symmetric mechanical systems. A detailed presentation of quantum spin-j systems, with emphasis on the SO(3)-invariant decomposition of their operator algebras, is first followed by an introduction to the Poisson algebra of the classical spin system and then by a similarly detailed examinatio...

This is the second in a series of three volumes dealing with important topics in algebra. Volume 2 is an introduction to linear algebra (including linear algebra over rings), Galois theory, representation theory, and the theory of group extensions. The section on linear algebra (chapters 1–5) does not require any background material from Algebra 1, except an understanding of set theory. Linear algebra is the most applicable branch of mathematics, and it is essential for students o...

This highly readable book aims to ease the many challenges of starting undergraduate research. It accomplishes this by presenting a diverse series of self-contained, accessible articles which include specific open problems and prepare the reader to tackle them with ample background material and references. Each article also contains a carefully selected bibliography for further reading.The content spans the breadth of mathematics, including many topics that are not normally address...

Combinatorial Algebra: Syntax and Semantics provides comprehensive account of many areas of combinatorial algebra. It contains self-contained proofs of more than 20 fundamental results, both classical and modern. This includes Golod–Shafarevich and Olshanskii's solutions of Burnside problems, Shirshov's solution of Kurosh's problem for PI rings, Belov's solution of Specht's problem for varieties of rings, Grigorchuk's solution of Milnor's problem, Bass–Guivarc'h theorem about grow...

This book explores the theory and application of locally nilpotent derivations, a subject motivated by questions in affine algebraic geometry and having fundamental connections to areas such as commutative algebra, representation theory, Lie algebras and differential equations.The author provides a unified treatment of the subject, beginning with 16 First Principles on which the theory is based. These are used to establish classical results, such as Rentschler's Theorem for the pla...

Groups are a means of classification, via the group action on a set, but also the object of a classification. How many groups of a given type are there, and how can they be described? Hölder’s program for attacking this problem in the case of finite groups is a sort of leitmotiv throughout the text. Infinite groups are also considered, with particular attention to logical and decision problems. Abelian, nilpotent and solvable groups are studied both in the finite and infinite case. Permuta...