Home » Non-Commutative Computer Algebra with Applications by Oleksandr Motsak
Non-Commutative Computer Algebra with Applications Oleksandr Motsak

Non-Commutative Computer Algebra with Applications

Oleksandr Motsak

Published August 4th 2011
ISBN : 9783838127521
Paperback
168 pages
Enter the sum

 About the Book 

This book that represents the authors 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 andMoreThis book that represents the authors 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 Buchbergers 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.