Hallo,

ich muss leider sagen das ich noch nichts mit Computeralgebra zu tun hatte. Ich bin mir auch nicht 100% sicher was dir genau unklar ist aber ich will es trotzdem mal versuchen,

Ich denke der Part mit dem ? ist dir unklar. Soweit ich das verstehe ist \( \tilde{I} \) ein Ideal. weil die Multiplikation des Ideals \( I \) mit dem Polynomring sofort das dritte Axiom erfüllt und erhält das erste und zweite durch \( I \).

Da bereits alle \( h_i \in \tilde{I} \) sind hat unsere Idealkette nur ein Ideal und somit hat \( \tilde{I} \) die Dimension 0.

Das T wird denke ich komplett durch das \( \sum a_i Y_i \) kompensiert. Deshalb die Isomorphie.

Ich habe wie gesagt leider in der Computeralgebra keine sonderliche Erfahrung. Vielleicht bringt dich das auf gute Ideen. Ansonsten spezifiziere vielleicht einmal was dir genau unklar ist, damit man darauf besser eingehen kann.

Grüße Christian