今天被老师问问题问蒙了…其实我也意识到了这一年来的问题，但是毕竟要思考努力充电，终归是需要时间的。
由hilbert基定理可以知道Z上多元多项式环上的理想都是有限生成的。所以一个问题就是：给了一个环同态f，怎么得出ker f 的生成元呢？