熟练掌握二元运算性质判断及证实。掌握代数系统同构定义和证实，了解同构性质保持。熟练掌握半群,独异点和群概念。熟悉群阶、群中元素阶以及群基本性质。掌握子群证实。熟悉陪集定义和性质。熟悉Lagrange定理及其推论,学会简单应用。
1、群中简单证实
主要包含：   群中等式（元素相等或集合相等）   与元素阶相关命题   群其它简单命题，如交换性等。经常使用工具： 算律：结合律、消去律
和特殊元素相关等式，如单位元、逆元等。
幂运算规则
和元素阶相关性质。（如：a为2阶元充分必要条件是a-1=a等）