Algebra Defined by Ring Homomorphism is Algebra
Jump to navigation Jump to search
Let $R$ be a commutative ring.
Let $(S, +, *)$ be a ring.
Let $f : R \to S$ be a ring homomorphism.
Let $(S_R, *)$ be the algebra defined by the ring homomorphism $f$.
Then $(S_R, *)$ is an algebra over $R$.