Showing changes from revision #2 to #3:
Added | Removed | Changed
Given a ring , an -algebra is a ring with a ring homomorphism? .
If is a commutative ring and the -algebra has a commutative ring homomorphism? into the center of , as well as a term , where is the associated monic function for subtype of , then is an associative? unital? algebra in module theory.