关于型的永恒性的代数基础