Personal tools
You are here: Home / Internal / RISC Forum / 2015 / Risc Colloquium

Risc Colloquium

Prof. Teo Mora: Buchberger Theory for Effective Associative Rings
When Mar 09, 2015
from 01:30 PM to 02:30 PM
Where Seminar Room Castle
Add event to calendar vCal

The extension of Buchberger Theory and Algorithm from the classical case of
polynomial rings over a field[1, 2, 3] to the case of (non necessarily commutative) monoid rings over a (non necessarily free) monoid and a principal ideal ring was immediately performed by a series of milestone papers: Zacharias’ [9] approach to canonical forms, Spear’s[7] theorem which extends Buchberger Theory to each effectively given rings, M¨oller’s[5] reformulation of Buchberger Algorithm in terms of lifting.

Since the universal property of the free monoid ring Q := Z[Z*] over Z and the
monoid Z* of all words over the alphabet Z grants that each ring with identity
A can be presented as a quotient A = Q/I of a free monoid ring Q modulo a
bilateral ideal I in Q, in order to impose a Buchberger Theory over any effectiveassociative ring it is sufficient to reformulate it in filtration-valuation terms [8,4, 6] and apply the results quoted above; in particular Zacharias canonical forms allow to effectively present A and its elements, Spear’s theorem describes how Q imposes its natural filtration on A and a direct application of M¨oller’s lifting theorem to such filtration allows to characterize the required S-polynomials.


[1] Buchberger B., Ein Algorithmus zum Auffinden der Basiselemente des
Restklassenringes nach einem nulldimensionalen Polynomideal, Ph. D.
Thesis, Innsbruck (1965)

[2] Buchberger B., Ein algorithmisches Kriterium f¨ur die L¨osbarkeit eines algebraischen Gleischunssystem, Aeq. Math. 4 (1970), 374–38

[3] Buchberger B., Gr¨obner Bases: An Algorithmic Method in Polynomial Ideal
Theory, in Bose N.K. (Ed.) Multidimensional Systems Theory (1985), 184–
232, Reider

[4] T. Mora, Seven variations on standard bases, (1988)

« September 2021 »
Upcoming Events
RISC Forum Nov 29, 2021 01:30 PM - 01:45 PM
RISC Forum Dec 06, 2021 01:30 PM - 01:45 PM
RISC Forum Dec 13, 2021 01:30 PM - 01:45 PM
NO RISC Forum Dec 20, 2021 01:30 PM - 01:45 PM
NO RISC Forum Dec 27, 2021 01:30 PM - 01:45 PM
Previous events…
Upcoming events…