同源

定義在域上的有理同態 ，當 時，稱為同源。如果存在第三個群 和同源 和 ，則稱兩個群 和 是同源的。