Definition talk:Polynomial over Ring

I know the last two sections (polynomial functions and something else) don't quite fit with the previous definitions. I'll add a page "Evaluation Homomorphism" which will cover it.

Also, it's hard to say whether to group the definitions as I have done. I think this way is better so I'll make a page for each def. and redirect it.


 * Bear in mind we already have Evaluation Isomorphism which may or may not have common points of reference. --prime mover 00:24, 9 February 2011 (CST)


 * I wrote up a new page just for reference, looks like Evaluation Isomorphism should cover it though, I'll read it carefully soon.

Noncommutativity
I propose the following convention:


 * Polynomial means polynomial over a commutative ring with identity


 * Polynomial over a noncommutative ring is spelt out in full if/when it's needed.

There's no nice relation between polynomial functions and forms in the noncommutative case, so I think it's better to separate it out. --User:linus44