# A Generalization of Gröbner Basis Algorithms to Polycyclic Group Rings

@article{Madlener1998AGO, title={A Generalization of Gr{\"o}bner Basis Algorithms to Polycyclic Group Rings}, author={Klaus Madlener and Birgit Reinert}, journal={J. Symb. Comput.}, year={1998}, volume={25}, pages={23-43} }

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…

## 10 Citations

### String Rewriting and Grr Obner Bases { a General Approach to Monoid and Group Rings Presented at the Workshop on Symbolic Rewriting Systems

- Mathematics, Computer Science
- 1998

This paper reviews some fundamental concepts concerning reduction rings in the spirit of Buchberger and introduces the concepts of saturation and completion for monoid rings having a nite convergent presentation by a semi-Thue system.

### Computational ideal theory in finitely generated extension rings

- Mathematics, Computer ScienceTheor. Comput. Sci.
- 2000

### Relating Rewriting Techniques on Monoids and Rings: Congruences on Monoids and Ideals in Monoid Rings

- MathematicsTheor. Comput. Sci.
- 1998

### Gröbner bases in function rings - A guide for introducing reduction relations to algebraic structures

- MathematicsJ. Symb. Comput.
- 2005

### Non-commutative reduction rings

- Mathematics
- 1999

Reduction relations are means to express congruences on rings. In the special case of congruences induced by ideals in commutative polynomial rings, the powerful tool of Grabner bases can be…

### A Systematic Study of Groebner Basis Methods

- Mathematics
- 2009

This habilitation (German variant of a PhD on top of a PhD) thesis presents the quintessence of the ideas and experiences with Groebner Bases of Birgit Reinert. She died unexpectedly without…

### MRC– Data Structures and Procedures for Computing in Monoid and Group Rings

- Computer Science, MathematicsApplicable Algebra in Engineering, Communication and Computing
- 1999

The data structures and procedures used to implement in a first step the concept of prefix reduction in the system MRC 1.0 are presented together with some examples.

### Reduced Gröbner Bases, Free Difference-Differential Modules and Difference-Differential Dimension Polynomials

- MathematicsJ. Symb. Comput.
- 2000

A theorem on difference?differential dimension polynomial is proved that generalizes both the classical Kolchin?s theorem on dimension poynomial of a differential field extension and the corresponding author?s result for difference fields.

### A systematic study of Gröbner basis methods

- Computer ScienceSchriftenreihe / Fachbereich Informatik, Universität Kaiserslautern
- 2005

Gewidmet ist diese Arbeit meiner Mutter, die leider die Fertigstellung nicht mehr erleben durfte, und Hannah, die auch heute noch Geduld aufbringt, wenn ihre Mutter am Computer für ihre " Schule "…

### String Rewriting and Gröbner Bases — A General Approach to Monoid and Group Rings

- Mathematics
- 1998

The concept of algebraic simplification is of great importance for the field of symbolic computation in computer algebra. In this paper we review some fundamental concepts concerning reduction rings…

## References

SHOWING 1-10 OF 19 REFERENCES

### A Generalization of Gröbner Basis Algorithms to Nilpotent Group Rings

- MathematicsApplicable Algebra in Engineering, Communication and Computing
- 1997

This paper defines an effective reduction for group rings over finitely generated nilpotent groups — a subclass of polycyclic-by-finite groups — and presents a generalization of Buchberger’s Gröbner basis method.

### Introducing Reduction to Polycyclic Group Rings - A Comparison of Methods

- Mathematics
- 1996

t is well-known that for the integral group ring of a polycyclic group several decision problems are decidable. In this paper a technique to solve themembership problem for right ideals originating…

### On Gröbner bases in monoid and group rings

- Mathematics
- 1995

A completion procedure for finitely generated right ideals in Z[H] is given, where H is an ordered monoid presented by a finite, convergent semi - Thue system (Sigma; T), and termination can be shown.

### An Algorithm for Constructing Gröbner and Free Schreier Bases in Free Group Algebras

- MathematicsJ. Symb. Comput.
- 1993

An algorithm for computing Grobner and free canonical Schreier bases for finitely generated one-sided ideals in free group algebras and obtains an algorithm similar to the Nielsen-Hall algorithm for constructing free bases for subgroups of free groups.

### Computing Gröbner bases in monoid and group rings

- Computer ScienceISSAC '93
- 1993

This paper summarizes procedures from this field and presents a description of their implementation in the system Mrc V 1.0.

### Finite Gröbner bases in non-Noetherian skew polynomial rings

- MathematicsISSAC '92
- 1992

One of the widest classes of lloll–collllll~~tati~~e 1~”--algebras known at present, where every (fhlitely generated) ideal has a finite Grobner basis, is the class of solvable polynomial rings studied in [KRW].

### An Extension of Buchberger's Algorithm and Calculations in Enveloping Fields of Lie Algebras

- MathematicsJ. Symb. Comput.
- 1988

### An Introduction to Commutative and Noncommutative Gröbner Bases

- MathematicsTheor. Comput. Sci.
- 1994