Given a commutative ring RR and any type TT, the type of functions T→RT \to R has the structure of an RR-algebra, with canonical ring homomorphism c:R→(T→R)c:R \to (T \to R) being the constant functions in T→RT \to R. One could define the RR-algebra operations pointwise on RR:
There is also the identity function on RR.
ring
commutative ring
Revision on June 13, 2022 at 21:52:49 by Anonymous?. See the history of this page for a list of all contributions to it.