Post #1815106

@francisbrb This is what I had in mind! I think the more conceptual phrasing is that R[x] is the free R-algebra on one *commutative* generator, and so the "evaluation at a" map R[x] --> R is only a ring hom when a is central. The reason for this is essentially your argument about multiplying terms.