Canonical basis for ideals in a polynomial domain over a commutative ring with finite basis for ideals. (Q2595682)

Ist \(A\) ein kommutativer King mit 1-Element, in dem jedes Ideal seine endliche Basis besitzt, so hat jedes Ideal in dem Polynomring \(A[x]\) eine ``kanonische'' Basis \[ a_{11},\ldots, a_{1r_1},a_{21},\ldots,a_{2r_2},\ldots, a_{tr_t}, \] wobei die höchsten Koeffizienten der Polynome \(a_{k1},\ldots,a_{kr_k}\) Ideale \(\mathfrak b_k\) in \(A\) mit der Eigenschaft bilden, daß \(\mathfrak b_k\) ein echter Teiler von \(\mathfrak b_{k-1}\) ist. Ist speziell \(A=C\) der Ring der ganzen rationalen Zahlen, so sind die Zahlen \(r_i = 1\), d. h. für jedes Ideal in \(C[x]\) existiert eine Basis \[ M_0x^n, M_1x^nf_1(x), M_2x^nf_1(x)f_2(x),\ldots, \] wo \(M_i\) ein echter Teiler von \(M_{i-1}\) ist. Hieraus folgt, daß jedes Primideal \(\mathfrak P\) von \(C[x]\) unter den drei folgenden Formen enthalten ist: 1) \(\mathfrak P = (p, f (x))\), 2) \(\mathfrak P = (p)\), 3) \(P= (f(x))\); dabei bedeutet \(p\) eine Primzahl und \(f(x)\) ein irreduzibles Polynom; entsprechend ist jedes Primärideal \(\mathfrak Q\) von \(C[x]\) unter den drei folgenden Formen enthalten: \[ \begin{aligned} \mathfrak Q&=(p^{\sigma_1}f^{\varrho_1}(x), p^{\sigma_2}f^{\varrho_2}(x),\ldots, p^{\sigma_t}f^{\varrho_t}(x)) \tag{1} \\ \noalign{\hfill mit \(\sigma_1>\sigma_2>\cdots>\sigma_t=0\) und \(\sigma=\varrho_1<\varrho_2<\cdots\varrho_t\),} \mathfrak Q&=(p^\sigma),\tag{2} \\ \mathfrak Q&=(f^\varrho(x)). \tag{3} \end{aligned} \]