同源

定义在域上的有理同态 ，当 时，称为同源。如果存在第三个群 和同源 和 ，则称两个群 和 是同源的。