设尼是一个域,S=k[x1…,xn]是域k上的n元多项式环.S的一个理想I称为不可约单项式理想,如果I由S的不定元的方幂生成,比如I =（x12,x23......

对于域k上多元多项式环k[x1,…,xn]中不可约单项式理想I、J、K和L,证明reg（IJKL）≤reg（I）＋reg（J）＋reg（K）＋reg（L）.......