拟群，一个从 "Q" 到 "P" 的 拟群同伦 是一个从 "Q" 到 "P" 的映射三元组(α, β, γ) 使得对 "Q" 中所有的 "x", "y"，有三个映射都相同时，就是一个拟群同态。一个同痕是使得 (α, β, γ) 中所有的三个映射都是双射的拟群同伦。两个拟群是同痕的当且仅当它们之间存在同痕映射。在拉丁方中，三元组 (α, β, γ) 由第 α 和第 β 列的一个置换以及其余集合上的一个置换 γ 给出。一个自同痕是从 "Q" 射到自身的同痕。一个拟群的所有自同痕构成一个群。每个拟