褚玉明
设ａ＞１，ＲＧ＝ＲＧ（ａ）表示Ｇｒｏｔｚｓｃｈ环，它的余集分支由单位球ⅠｘⅠ≤１和射线ａ≤ｘ１＜∞，ｘ２＝ｘ３＝…ｘｎ＝０组成，它的模ｍｏｄＲＧ（ａ）记为ｌｏｇФ（ａ），本文证明了关于模函数Ф（ａ）的若干不等式。
褚玉明. Grotzsch环模函数的几个不等式[J].湖南大学学报：自然科学版,1993,20(5):
