高等代数在抽象代数中的应用