Given a ring , an -algebra is a ring with a ring homomorphism? .
Properties
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.