Defined rings.
Example: Group Algebra
commutative ring. finite group, with .
“Group algebra” .
is “component-wise” →
is induced from
- distributivity
- asking , to commute with all
is a ring with additive identity .
If is unital, is also unital.
is commutative if and only if is commutative.
Example - Ring of Functions
set, ring, .
is a ring. For . is the function (both in ). is “component-wise”. is similar.