Computational Aspects of Polynomial Identities: Volume l, Kemer's Theorems, 2nd Edition presents the underlying ideas in recent polynomial identity (PI)-theory and demonstrates the validity of the proofs of PI-theorems. This edition gives all the details involved in Kemer's proof of Specht's conjecture for affine PI-algebras in characteristic 0.The
Computational Aspects of Polynomial Identities: Volume l, Kemer's Theorems, 2nd Edition presents the underlying ideas in recent polynomial identity (PI)-theory and demonstrates the validity of the proofs of PI-theorems. This edition gives all the details involved in Kemer's proof of Specht's conjecture for affine PI-algebras in characteristic 0. The book first discusses the theory needed for Kemer's proof, including the featured role of Grassmann algebra and the translation to superalgebras. The authors develop Kemer polynomials for arbitrary varieties as tools for proving diverse theorems. They also lay the groundwork for analogous theorems that have recently been proved for Lie algebras and alternative algebras. They then describe counterexamples to Specht's conjecture in characteristic p as well as the underlying theory. The book also covers Noetherian PI-algebras, Poincaré-Hilbert series, Gelfand-Kirillov dimension, the combinatoric theory of affine PI-algebras, and homogeneous identities in terms of the representation theory of the general linear group GL. Through the theory of Kemer polynomials, this edition shows that the techniques of finite dimensional algebras are available for all affine PI-algebras. It also emphasizes the Grassmann algebra as a recurring theme, including in Rosset's proof of the Amitsur-Levitzki theorem, a simple example of a finitely based T-ideal, the link between algebras and superalgebras, and a test algebra for counterexamples in characteristic p.
A polynomial identity for an algebra (or a ring) A A is a polynomial in noncommutative variables that vanishes under any evaluation in A A. An algebra satisfying a nontrivial polynomial identity is called a PI algebra, and this is the main object of study in this book, which can be used by graduate students and researchers alike. The book is divided into four parts. Part 1 contains foundational material on representation theory and noncommutative algebra. In addition to setting the stage for the rest of the book, this part can be used for an introductory course in noncommutative algebra. An expert reader may use Part 1 as reference and start with the main topics in the remaining parts. Part 2 discusses the combinatorial aspects of the theory, the growth theorem, and Shirshov's bases. Here methods of representation theory of the symmetric group play a major role. Part 3 contains the main body of structure theorems for PI algebras, theorems of Kaplansky and Posner, the theory of central polynomials, M. Artin's theorem on Azumaya algebras, and the geometric part on the variety of semisimple representations, including the foundations of the theory of Cayley–Hamilton algebras. Part 4 is devoted first to the proof of the theorem of Razmyslov, Kemer, and Braun on the nilpotency of the nil radical for finitely generated PI algebras over Noetherian rings, then to the theory of Kemer and the Specht problem. Finally, the authors discuss PI exponent and codimension growth. This part uses some nontrivial analytic tools coming from probability theory. The appendix presents the counterexamples of Golod and Shafarevich to the Burnside problem.
This volume contains the talks given at the INDAM workshop entitled "Polynomial identites in algebras", held in Rome in September 2019. The purpose of the book is to present the current state of the art in the theory of PI-algebras. The review of the classical results in the last few years has pointed out new perspectives for the development of the theory. In particular, the contributions emphasize on the computational and combinatorial aspects of the theory, its connection with invariant theory, representation theory, growth problems. It is addressed to researchers in the field.
These lecture notes treat polynomial identity rings from both the combinatorial and structural points of view. The greater part of recent research in polynomial identity rings is about combinatorial questions, and the combinatorial part of the lecture notes gives an up-to-date account of recent research. On the other hand, the main structural results have been known for some time, and the emphasis there is on a presentation accessible to newcomers to the subject.
This book contains a complete proof of Kemer's Theorem. In addition, it includes a new and much faster proof of Beidar's representability theorem for Noetherian rings and a thorough treatment of Zubilin's method.
Represents the proceedings of the conference on Groups, Rings and Group Rings, held July 28 - August 2, 2008, in Ubatuba, Brazil. This title contains results in active research areas in the theory of groups, group rings and algebras (including noncommutative rings), polynomial identities, Lie algebras and superalgebras.
Modular forms are tremendously important in various areas of mathematics, from number theory and algebraic geometry to combinatorics and lattices. Their Fourier coefficients, with Ramanujan's tau-function as a typical example, have deep arithmetic significance. Prior to this book, the fastest known algorithms for computing these Fourier coefficients took exponential time, except in some special cases. The case of elliptic curves (Schoof's algorithm) was at the birth of elliptic curve cryptography around 1985. This book gives an algorithm for computing coefficients of modular forms of level one in polynomial time. For example, Ramanujan's tau of a prime number p can be computed in time bounded by a fixed power of the logarithm of p. Such fast computation of Fourier coefficients is itself based on the main result of the book: the computation, in polynomial time, of Galois representations over finite fields attached to modular forms by the Langlands program. Because these Galois representations typically have a nonsolvable image, this result is a major step forward from explicit class field theory, and it could be described as the start of the explicit Langlands program. The computation of the Galois representations uses their realization, following Shimura and Deligne, in the torsion subgroup of Jacobian varieties of modular curves. The main challenge is then to perform the necessary computations in time polynomial in the dimension of these highly nonlinear algebraic varieties. Exact computations involving systems of polynomial equations in many variables take exponential time. This is avoided by numerical approximations with a precision that suffices to derive exact results from them. Bounds for the required precision--in other words, bounds for the height of the rational numbers that describe the Galois representation to be computed--are obtained from Arakelov theory. Two types of approximations are treated: one using complex uniformization and another one using geometry over finite fields. The book begins with a concise and concrete introduction that makes its accessible to readers without an extensive background in arithmetic geometry. And the book includes a chapter that describes actual computations.
Let FG be the group ring of a group G over a field F. Write U(FG) for the group of units of FG. It is an important problem to determine the conditions under which U(FG) satisfies a group identity. In the mid 1990s, a conjecture of Hartley was verified, namely, if U(FG) satisfies a group identity, and G is torsion, then FG satisfies a polynomial identity. Necessary and sufficient conditions for U(FG) to satisfy a group identity soon followed. Since the late 1990s, many papers have been devoted to the study of the symmetric units; that is, those units u satisfying u* = u, where * is the involution on FG defined by sending each element of G to its inverse. The conditions under which these symmetric units satisfy a group identity have now been determined. This book presents these results for arbitrary group identities, as well as the conditions under which the unit group or the set of symmetric units satisfies several particular group identities of interest.
Designed as a self-contained account of a number of key algorithmic problems and their solutions for linear algebraic groups, this book combines in one single text both an introduction to the basic theory of linear algebraic groups and a substantial collection of useful algorithms. Computation with Linear Algebraic Groups offers an invaluable guide to graduate students and researchers working in algebraic groups, computational algebraic geometry, and computational group theory, as well as those looking for a concise introduction to the theory of linear algebraic groups.
