Algorithmic Methods in Non-Commutative Algebra

Algorithmic Methods in Non-Commutative Algebra
Author: J.L. Bueso
Publisher: Springer Science & Business Media
Total Pages: 307
Release: 2013-03-09
Genre: Computers
ISBN: 9401702853

The already broad range of applications of ring theory has been enhanced in the eighties by the increasing interest in algebraic structures of considerable complexity, the so-called class of quantum groups. One of the fundamental properties of quantum groups is that they are modelled by associative coordinate rings possessing a canonical basis, which allows for the use of algorithmic structures based on Groebner bases to study them. This book develops these methods in a self-contained way, concentrating on an in-depth study of the notion of a vast class of non-commutative rings (encompassing most quantum groups), the so-called Poincaré-Birkhoff-Witt rings. We include algorithms which treat essential aspects like ideals and (bi)modules, the calculation of homological dimension and of the Gelfand-Kirillov dimension, the Hilbert-Samuel polynomial, primality tests for prime ideals, etc.

Computational Methods in Commutative Algebra and Algebraic Geometry

Computational Methods in Commutative Algebra and Algebraic Geometry
Author: Wolmer Vasconcelos
Publisher: Springer Science & Business Media
Total Pages: 432
Release: 2004-05-18
Genre: Mathematics
ISBN: 9783540213116

This ACM volume deals with tackling problems that can be represented by data structures which are essentially matrices with polynomial entries, mediated by the disciplines of commutative algebra and algebraic geometry. The discoveries stem from an interdisciplinary branch of research which has been growing steadily over the past decade. The author covers a wide range, from showing how to obtain deep heuristics in a computation of a ring, a module or a morphism, to developing means of solving nonlinear systems of equations - highlighting the use of advanced techniques to bring down the cost of computation. Although intended for advanced students and researchers with interests both in algebra and computation, many parts may be read by anyone with a basic abstract algebra course.

Computational Noncommutative Algebra and Applications

Computational Noncommutative Algebra and Applications
Author: Jim Byrnes
Publisher: Springer Science & Business Media
Total Pages: 435
Release: 2006-01-28
Genre: Mathematics
ISBN: 1402023073

The fusion of algebra, analysis and geometry, and their application to real world problems, have been dominant themes underlying mathematics for over a century. Geometric algebras, introduced and classified by Clifford in the late 19th century, have played a prominent role in this effort, as seen in the mathematical work of Cartan, Brauer, Weyl, Chevelley, Atiyah, and Bott, and in applications to physics in the work of Pauli, Dirac and others. One of the most important applications of geometric algebras to geometry is to the representation of groups of Euclidean and Minkowski rotations. This aspect and its direct relation to robotics and vision will be discussed in several chapters of this multi-authored textbook, which resulted from the ASI meeting. Moreover, group theory, beginning with the work of Burnside, Frobenius and Schur, has been influenced by even more general problems. As a result, general group actions have provided the setting for powerful methods within group theory and for the use of groups in applications to physics, chemistry, molecular biology, and signal processing. These aspects, too, will be covered in detail. With the rapidly growing importance of, and ever expanding conceptual and computational demands on signal and image processing in remote sensing, computer vision, medical image processing, and biological signal processing, and on neural and quantum computing, geometric algebras, and computational group harmonic analysis, the topics of the book have emerged as key tools. The list of authors includes many of the world's leading experts in the development of new algebraic modeling and signal representation methodologies, novel Fourier-based and geometrictransforms, and computational algorithms required for realizing the potential of these new application fields. The intention of this textbook is share their profound wisdom with the many future stars of pure and computational noncommutative algebra. A key feature of both the meeting and the book will be their presentation of problems and applications that will shape the twenty-first century computational technology base.

Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory

Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory
Author: Gebhard Böckle
Publisher: Springer
Total Pages: 753
Release: 2018-03-22
Genre: Mathematics
ISBN: 3319705660

This book presents state-of-the-art research and survey articles that highlight work done within the Priority Program SPP 1489 “Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory”, which was established and generously supported by the German Research Foundation (DFG) from 2010 to 2016. The goal of the program was to substantially advance algorithmic and experimental methods in the aforementioned disciplines, to combine the different methods where necessary, and to apply them to central questions in theory and practice. Of particular concern was the further development of freely available open source computer algebra systems and their interaction in order to create powerful new computational tools that transcend the boundaries of the individual disciplines involved. The book covers a broad range of topics addressing the design and theoretical foundations, implementation and the successful application of algebraic algorithms in order to solve mathematical research problems. It offers a valuable resource for all researchers, from graduate students through established experts, who are interested in the computational aspects of algebra, geometry, and/or number theory.

Ideals, Varieties, and Algorithms

Ideals, Varieties, and Algorithms
Author: David Cox
Publisher: Springer Science & Business Media
Total Pages: 523
Release: 2013-04-17
Genre: Mathematics
ISBN: 1475721811

Written at a level appropriate to undergraduates, this book covers such topics as the Hilbert Basis Theorem, the Nullstellensatz, invariant theory, projective geometry, and dimension theory. Contains a new section on Axiom and an update about MAPLE, Mathematica and REDUCE.

Non-commutative Computer Algebra with applications

Non-commutative Computer Algebra with applications
Author: Oleksandr Motsak
Publisher: Sudwestdeutscher Verlag Fur Hochschulschriften AG
Total Pages: 168
Release: 2011
Genre:
ISBN: 9783838127521

This book that represents the author's Ph.D. thesis is devoted to constructive module theory of polynomial graded commutative algebras over a field. It treats the theory of Grobner bases, standard bases (SB) and syzygies as well as algorithms and their implementations over graded commutative algebras, which naturally unify exterior and commutative polynomial algebras. They are graded non-commutative, associative unital algebras over fields and may contain zero-divisors. In this book we try to make the most use out of a-priori knowledge about their characteristic (super-commutative) structure in developing direct symbolic methods, algorithms and implementations, which are intrinsic to these algebras and practically efficient. We also tackle their central localizations by generalizing a variation of Mora algorithm. In this setting we prove a generalized Buchberger's criterion, which shows that syzygies of leading terms play the utmost important role in SB and syzygy computations. We develop a variation of the La Scala-Stillman free resolution algorithm. Benchmarks show that our new algorithms and implementation are efficient. We give some applications of the developed framework.

A Singular Introduction to Commutative Algebra

A Singular Introduction to Commutative Algebra
Author: Gert-Martin Greuel
Publisher: Springer Science & Business Media
Total Pages: 703
Release: 2007-11-05
Genre: Mathematics
ISBN: 3540735410

This substantially enlarged second edition aims to lead a further stage in the computational revolution in commutative algebra. This is the first handbook/tutorial to extensively deal with SINGULAR. Among the book’s most distinctive features is a new, completely unified treatment of the global and local theories. Another feature of the book is its breadth of coverage of theoretical topics in the portions of commutative algebra closest to algebraic geometry, with algorithmic treatments of almost every topic.

Computational Approaches to Problems in Noncommutative Algebra

Computational Approaches to Problems in Noncommutative Algebra
Author: Albert Heinle
Publisher:
Total Pages: 131
Release: 2016
Genre: Algebra
ISBN:

Noncommutative rings appear in several areas of mathematics. Most prominently, they can be used to model operator equations, such as differential or difference equations. In the Ph.D. studies leading to this thesis, the focus was mainly on two areas: Factorization in certain noncommutative domains and matrix normal forms over noncommutative principal ideal domains. Regarding the area of factorization, we initialize in this thesis a classification of noncommutative domains with respect to the factorization properties of their elements. Such a classification is well established in the area of commutative integral domains. Specifically, we define conditions to identify so-called finite factorization domains, and discover that the ubiquitous G-algebras are finite factorization domains. We furthermore realize a practical factorization algorithm applicable to G-algebras, with minor assumptions on the underlying field. Since the generality of our algorithm comes with the price of performance, we also study how it can be optimized for specific domains. Moreover, all of these factorization algorithms are implemented. However, it turns out that factorization is difficult for many types of noncommutative rings. This observation leads to the adjunct examination of noncommutative rings in the context of cryptography. In particular, we develop a Diffie-Hellman-like key exchange protocol based on certain noncommutative rings. Regarding the matrix normal forms, we present a polynomial-time algorithm of Las Vegas type to compute the Jacobson normal form of matrices over specific domains. We will study the flexibility, as well as the limitations of our proposal. Another core contribution of this thesis consists of various implementations to assist future researchers working with noncommutative algebras. Detailed reports on all these programs and software-libraries are provided. We furthermore develop a benchmarking tool called SDEval, tailored to the needs of the computer algebra community. A description of this tool is also included in this thesis.

Computational Methods in Commutative Algebra and Algebraic Geometry

Computational Methods in Commutative Algebra and Algebraic Geometry
Author: Wolmer Vasconcelos
Publisher: Springer
Total Pages: 0
Release: 2004-06-01
Genre: Mathematics
ISBN: 9783642589515

This ACM volume deals with tackling problems that can be represented by data structures which are essentially matrices with polynomial entries, mediated by the disciplines of commutative algebra and algebraic geometry. The discoveries stem from an interdisciplinary branch of research which has been growing steadily over the past decade. The author covers a wide range, from showing how to obtain deep heuristics in a computation of a ring, a module or a morphism, to developing means of solving nonlinear systems of equations - highlighting the use of advanced techniques to bring down the cost of computation. Although intended for advanced students and researchers with interests both in algebra and computation, many parts may be read by anyone with a basic abstract algebra course.

Noncommutative Polynomial Algebras of Solvable Type and Their Modules

Noncommutative Polynomial Algebras of Solvable Type and Their Modules
Author: Huishi Li
Publisher: CRC Press
Total Pages: 230
Release: 2021-11-08
Genre: Mathematics
ISBN: 1000471101

Noncommutative Polynomial Algebras of Solvable Type and Their Modules is the first book to systematically introduce the basic constructive-computational theory and methods developed for investigating solvable polynomial algebras and their modules. In doing so, this book covers: A constructive introduction to solvable polynomial algebras and Gröbner basis theory for left ideals of solvable polynomial algebras and submodules of free modules The new filtered-graded techniques combined with the determination of the existence of graded monomial orderings The elimination theory and methods (for left ideals and submodules of free modules) combining the Gröbner basis techniques with the use of Gelfand-Kirillov dimension, and the construction of different kinds of elimination orderings The computational construction of finite free resolutions (including computation of syzygies, construction of different kinds of finite minimal free resolutions based on computation of different kinds of minimal generating sets), etc. This book is perfectly suited to researchers and postgraduates researching noncommutative computational algebra and would also be an ideal resource for teaching an advanced lecture course.