设环扩张R■A是Frobenius扩张,M是左A-模,证明如果左A-模M是Ding投射模,那么左R-模M是Ding投射模.设R■A是可分的Frobenius扩张,证明如果左R-模M是Ding投射模,那么左A-模M是Ding投射模.