1. Problemstellung Wir gehen vom Polynomring K [x,,..., x,] über einem kommutativen Körper
K (abgekürzt K [x]) und einem beliebigen Polynomideal a=(f,..., f)(fe K [x] für j= 1,..., s)
aus.(Nicht ausdrücklich definierte Begriffe werden genau in dem Sinne verwendet, wie sie in
[Gröbner 1] bzw.[Waerden] eingeführt werden.) Der Restklassenring o= KI, la ist bekanntlich
eine (ia unendlich dimensionale) Algebra über K. Ist a nulldimensional, so ist o von
endlicher Dimension über K und umgekehrt. Die Restklassen der Potenzprodukte …