群剩餘定理

如果兩個群對第三個群是剩餘的，那麼對其中一個群是剩餘的任何群也對另一個群是剩餘的。該定理的甘比爾擴充套件指出，如果兩個群對第三個群是偽剩餘的，那麼每個對第一個群是偽剩餘的群，其過剩量大於或等於第一個群的過剩量減去第二個群的過剩量，則對第二個群也是偽剩餘的，過剩量 。