定义:设(G,·)与(G',+)为两个群,若存在一个从G到G’的一一映射f,满足对任意a,b∈G,都有
f(a·b)=f(a)+f(b)
则称G和G‘同构,记为
称f为G到G’的同构。
单射:设f是由集合A到集合B的映射,如果所有x,y∈A,且x≠y,都有f(x)≠f(y),则称f为由A到B的单射。
满射:如果每个可能的像至少有一个变量映射其上(即像集合B中的每个元素在A中都有一个或一个以上的原像),或者说值域任何元素都有至少有一个变量与之对应,那这个映射就叫做满射。
定理:同阶的任意两个循环群都是同构的