请输入您要查询的字词:

 

单词 SeparabilityIsRequiredForIntegralClosuresToBeFinitelyGenerated
释义

separability is required for integral closures to be finitely generated


The parent theorem assumed that L was a separable extensionMathworldPlanetmath of K. Here is an example that shows that separability is in fact a necessary condition for the result to hold.

Let k=(/p)(b1,b2,) where the bi are indeterminatesMathworldPlanetmath.

Let B be the subring of k[[t]] (power series in t over k) consisting of

{i=0citi}

such that {c0,c1,c2,} generates a finite extensionMathworldPlanetmath of (/p)(b1p,b2p,). Then every element of B is a power of t times a unit (first factor out the largest power of t. What’s left is a(1+c1t+c2t2+); its inverseMathworldPlanetmathPlanetmathPlanetmathPlanetmath is a-1(1-c1t-)). Hence the ideals of B are powers of t, so B is a PID (in fact, it is a DVR).

Now, let u=b0+b1t+b2t2+. Now, uB because it uses all of the bi and thus the coefficientsMathworldPlanetmath do not define a finite extension of (/p)(b1p,b2p,). However, u is integral over B: bipBupB which implies that the degree of u over the field of fractionsMathworldPlanetmath is p. Hence a basis for K(u)/K is {1,u,u2,,up-1}. There are other elements integral over B:

b1+b2t+b3t2+=u-b0t=-b0t+1tu
b2+b3t+b4t2+=u-b0-b1tt2=-b0-b1tt2+1t2u

Clearly the denominators are getting bigger, so the integral closureMathworldPlanetmath of B cannot be finitely generatedMathworldPlanetmathPlanetmathPlanetmath as a B-module.

随便看

 

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

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 9:23:28