请输入您要查询的字词:

 

单词 FreeObjectsInTheCategoryOfCommutativeAlgebras
释义

free objects in the category of commutative algebras


Let R be a commutative ring and let 𝒜𝒢c(R) be the categoryMathworldPlanetmath of all commutative algebras over R and algebra homomorphisms. This category together with the forgetful functorMathworldPlanetmathPlanetmath is a construct (i.e. it is a concrete category over the category of sets 𝒮𝒯). Therefore we can talk about free objects in 𝒜𝒢c(R) (see this entry (http://planetmath.org/FreeObjectsInConcreteCategories2) for definitions).

Theorem. For any set 𝕏 the polynomial algebra R[𝕏] (see parent object) is a free object in 𝒜𝒢c(R) with 𝕏 being a basis. This means that for any commutative algebra A and any function

f:𝕏A

there exists a unique algebra homomorphism F:R[𝕏]A such that

F(x)=f(x)

for any x𝕏.

Proof. Assume that f:𝕏A is a function. If WR[𝕏], then there are finite subsets A1,,An𝕏 (not necessarily disjoint) and natural numbersMathworldPlanetmath n(x,i), i=1,,n such that W can be uniquely expressed as

W=i=1n(λixAixn(x,i))

with λiR. Define F(W) by putting

F(W)=i=1n(λixAif(x)n(x,i)).

Of course F is well defined and obviously F(x)=f(x). We leave as a simple exercise that F is an algebra homomorphism.The uniqueness of F again follows from the explicit form of W. It is easily seen that F(W) depends only on F(x) for x𝕏. This completesPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath the proof.

Corollary 1. If 𝕏 is a set and 𝕐𝕏, then the inclusion i:𝕐𝕏 induces an algebraMathworldPlanetmathPlanetmath monomorphismMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath

I:R[𝕐]R[𝕏].

In particular we can treat R[𝕐] as a subalgebraMathworldPlanetmathPlanetmath of R[𝕏].

Proof. We have a well-defined function i:𝕐R[𝕏], i(y)=y. By the theorem we have an extensionPlanetmathPlanetmathPlanetmathPlanetmath

I:R[𝕐]R[𝕏]

such that I(y)=y. It remains to show, that I is ,,1-1”. Indeed, assume that I(W)=0 for some polynomialMathworldPlanetmathPlanetmath WR[𝕐]. But if we recall the expression of W as in proof of the theorem and remember that I is an algebra homomorphism, then it is easy to see that I(y)=y implies that

I(W)=W.

In particular W=0, which completes the proof.

Corollary 2. If A is an R-algebra, then there exists a set 𝕏 such that

AR[𝕏]/I

for some ideal I.

Proof. Let 𝕏=A as a set. Define

f:𝕏A

by f(x)=x. By the theorem we have an algebra homomorphism

F:R[𝕏]A

such that F(x)=x for x𝕏. In particular F is ,,onto” and thus by the First Isomorphism TheoremPlanetmathPlanetmath for algebras we have

AR[𝕏]/KerF

which completes the proof.

随便看

 

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

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 15:58:57