埃倫托伊希特一羅曾貝格猜測(Ehrenfeucht-Rozenberg conjecture)涉及有限生成自由么半群間兩個同態的許多問題中的一個猜測(其他，諸如Post對應問題，DoL序列等價問題等).對於有限字母表X上任意語言L，常存在L的有限子集F，使得對任意有限字母表X，和同態.f,g:X"->Xi，若.f}x)=g}x)，d xEF，則f fix) -g}x)，d xEl..該猜測等價於:x}clXl<二)上任意n變數方程組有等價的有限子方程組.這一猜測是於1978年提出來的，上述等價命題是於1983年提出來的.圍繞這一猜測有一系列的工作.加拿大滑鐵盧大學的兩位代數學家阿爾貝特(Albert , M. H.)和勞倫斯(Lawrence , J.)於1985年從這一猜測的上述等價命題人手，使用有限生成亞阿貝爾群理論，從正面解決了這一猜測.
