Ideal theory and algebraic diffe\-rence equations. (Q2590494)

Sei \(R\) ein kommutativer Ring mit Einselement 1 oder ein Körper. Jedem Element \(a\) aus \(R\) werde ein Element \(a_1\) aus \(R\) als ``transformiertes'' zugeordnet; dabei sei \[ 1_1=1,\qquad(a+b)_1=a_1+b_1,\qquad(ab)_1=a_1b_1. \] Dann wird \(R\) als ``Differenzenring'' bzw. ``-körper'' bezeichnet. Entsprechend werden auch ``Differenzenideale'' eingeführt. Ein Differenzenkörper \(R\) kann durch Einführung von Symbolen \[ y_i(x + j)\qquad (i=1,\dots,n;\;j =1,2,3,\dots) \] erweitert werden, wobei \(y_i(x+j+1)\) als transformiertes Element von \(y_i(x+j)\) gilt. Dann kann man Polynome dieser Symbole bilden mit Koeffizienten aus \(R\). Die Gesamtheit dieser Polynome ist ein Differenzenring mit ``Basistheorem''.