Details:
Title | | Author(s) | Klaus Madlener, Birgit Reinert | Type | Article in Journal | Abstract | It is well-known that for the integral group ring of a polycyclic group several decision problems are decidable, in particular the ideal membership problem. In this paper we define an effective reduction relation for group rings over polycyclic groups. This reduction is based on left multiplication and hence corresponds to left ideals. Using this reduction we present a generalization of Buchberger's Grobner basis method by giving an appropriate definition of "Grobner bases" in this setting and by characterizing them using the concepts of saturation and s-polynomials. The approach is extended to two-sided ideals and a discussion on a Grobner bases approach for right ideals is included.Copyright 1998 Academic Press Limited | Length | 21 | ISSN | 0747-7171 |
File |
| URL |
dx.doi.org/10.1006/jsco.1997.0165 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 25 | Number | 1 | Pages | 23-43 | Publisher | Academic Press, Inc. | Address | Duluth, MN, USA | Year | 1998 | Month | January | Translation |
No | Refereed |
No | Organization |
|
|