群剩余定理

如果两个群对第三个群是剩余的，那么对其中一个群是剩余的任何群也对另一个群是剩余的。该定理的甘比尔扩展指出，如果两个群对第三个群是伪剩余的，那么每个对第一个群是伪剩余的群，其过剩量大于或等于第一个群的过剩量减去第二个群的过剩量，则对第二个群也是伪剩余的，过剩量 。