We show that there exists an FF-finite four-dimensional local domain (R,m)(R,m) of characteristic two which is not FF-injective but which admits a nonzerodivisor f∈mf∈m such that R/fRR/fR is FF-injective.
生成讲解博客的中文版本
生成AI智能校验的中文版本