加载中…
Let be a local (Noetherian) ring of positive prime characteristic and dimension . Let be a minimal resolution of the residue field , and for each , let $\gothic t_i® = \lim_{e\to \8} {\length(H_i(F^e(G_\dt)))}/{p^{ed}}\gothic t_i® = 0$ for some , then is a regular local ring. Using the same method, we are also able to show that if is an excellent local domain and $\Tor_i^R(k,R^+) = 0i>0RR^+$ is the absolute integral closure of ). Both of the two results were previously known only for or 2 via completely different methods.

生成讲解博客的中文版本

生成AI智能校验的中文版本