请帮我解释一下抽象代数的一个定理