由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
Mathematics版 - 问一个交换代数
相关主题
tensor qutestionHow to expand tensor in Taylor series?
弱问:symmetrized tensor product 的定义是什么?打搅一下,查一个坐标系变换的东西,多谢
Re: 聊聊数学的分支吧问两个数学符号的意思
请推荐一本代数教材多维矩阵有没有本征值?
张伟平:中国是数学大国但还不是数学强国 (zz)请教多元/多变量Spline插值。
Question on Tensor请教个矩阵问题
Re: 哪位大侠了解张量计算?Ask a question about product measures
Taylor series of deformation gradient?请问一个问题, 矩阵的trace有啥物理意义。
相关话题的讨论汇总
话题: tensor话题: ring话题: prime话题: otimes
进入Mathematics版参与讨论
1 (共1页)
p********e
发帖数: 16048
1
f: B -> A ring map
A and B are commutative ring with 1.
M is a B-module.
p is a prime of A. f^{-1}p is then a prime of B.
M_{f^{-1}p} \tensor_B_{f^{-1}p} A_p是否等于 (M\tensor_B A)_p ?
[X_p means the localization of X at p.]
p********e
发帖数: 16048
2
回答这个问题有包子

f: B -> A ring map
A and B are commutative ring with 1.
M is a B-module.
p is a prime of A. f^{-1}p is then a prime of B.
M_{f^{-1}p} \tensor_B_{f^{-1}p} A_p是否等于 (M\tensor_B A)_p ?
[X_p means the localization of X at p.]

【在 p********e 的大作中提到】
: f: B -> A ring map
: A and B are commutative ring with 1.
: M is a B-module.
: p is a prime of A. f^{-1}p is then a prime of B.
: M_{f^{-1}p} \tensor_B_{f^{-1}p} A_p是否等于 (M\tensor_B A)_p ?
: [X_p means the localization of X at p.]

H*****s
发帖数: 32
3
Yes. There is a canonical isomorphism between them.
Use the fact that N_p=N\otimes_A A_p, for any A module N, and the
associativity:
(M\otimes N)\otimes O=M\otimes(N\otimes O)

【在 p********e 的大作中提到】
: f: B -> A ring map
: A and B are commutative ring with 1.
: M is a B-module.
: p is a prime of A. f^{-1}p is then a prime of B.
: M_{f^{-1}p} \tensor_B_{f^{-1}p} A_p是否等于 (M\tensor_B A)_p ?
: [X_p means the localization of X at p.]

1 (共1页)
进入Mathematics版参与讨论
相关主题
请问一个问题, 矩阵的trace有啥物理意义。张伟平:中国是数学大国但还不是数学强国 (zz)
differential form 的几何解释Question on Tensor
关于sencond fundamental form tensor的一个问题Re: 哪位大侠了解张量计算?
covariant v.s. contravariantTaylor series of deformation gradient?
tensor qutestionHow to expand tensor in Taylor series?
弱问:symmetrized tensor product 的定义是什么?打搅一下,查一个坐标系变换的东西,多谢
Re: 聊聊数学的分支吧问两个数学符号的意思
请推荐一本代数教材多维矩阵有没有本征值?
相关话题的讨论汇总
话题: tensor话题: ring话题: prime话题: otimes