Es sei ( H ) ⊆ K [ X 1 , … , X n ] {\displaystyle {}(H)\subseteq K[X_{1},\ldots ,X_{n}]} ein Hauptideal. Zeige, dass die Homogenisierung des Ideals ( H ) {\displaystyle {}(H)} gleich dem von der Homogenisierung
![{\displaystyle {}(H)\subseteq K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f3c05d4b3af41b522faa801c698fbf13d03eaa6)
erzeugten Hauptideal ist.