请输入您要查询的字词:

 

单词 EvaluationHomomorphism
释义

evaluation homomorphism


Let R be a commutative ring and let R[X] be the ring of polynomials with coefficientsMathworldPlanetmath in R.

Theorem 1.

Let S be a commutative ring, and let ψ:RS be a homomorphismPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath. Further, let sS. Then there is a unique homomorphism ϕ:R[X]S taking X to s and taking every rR to ψ(r).

This amounts to saying that polynomial ringsMathworldPlanetmath are free objects in the category of R-algebrasMathworldPlanetmathPlanetmath; the theorem then states that they are projective. This is true in much greater generality; in fact, the property of being projective is intended to extract the essential property of being free.

Proof.

We first prove existence. Let fR[X]. Then by definition there is some finite list of ai such that f=iaiXi. Then define ϕ(f) to be iψ(ai)si. It is clear from the definition of additionPlanetmathPlanetmath and multiplication on polynomialsMathworldPlanetmath that ϕ is a homomorphism; the definition makes it clear that ϕ(X)=s and ϕ(r)=ψ(r).

Now, to show uniqueness, suppose γ is any homomorphism satisfying the conditions of the theorem, and let fR[X]. Write f=iaiXi as before. Then γ(ai)=ψ(ai) and γ(s) by assumptionPlanetmathPlanetmath. But then since γ is a homomorphism, γ(aiXi)=ψ(ai)si and γ(f)=iψ(ai)si=ϕ(f).∎

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 21:07:11