>>917
永田の可換体論+可換環