Esta va para Pedro, jaja.
No me acuerdo si lo vimos o no en algún lado, pero me resultó interesante por ejemplo que Z[x]/[x] = Z.
Como el kernel de p(x)↦p(0) : Z[x]↠Z es [x], por el primer teorema del isomorfismo se tiene lo de arriba.
Corríjanme si hay algo mal, já.