?形式环
... 形式幂级数环：power series ring 形式环：associated graded ring 形式化的证明：formal proof ...
?情势环
... associated graded module 相伴分次模 associated graded ring 情势环 associated homogeneous equation 相伴齐次方程 ...
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。