格密码系列之一 ——相关的抽象代数基础概念