§6.7 环 同 态(离散数学)