Showing changes from revision #1 to #2:
Added | Removed | Changed
Definition
Given a commutative ring and any type , the type of functions has the structure of an -algebra, with canonical ring homomorphism being the constant functions in . One could define the -algebra operations pointwise on :