準群
準群 (resp. ループ) の 準同型 とは 二つの準群 (resp. ループ) の間の写像 f : Q → P であって、f(xy) = f(x)f(y) を満たすものを言う。必然的に、準同型写像は、左除算と右除算を保存するし、(もし存在するなら) 単位元も保存する
集合 Q が準群の演算を二つ ∗ と ·を 持っているとする。つまり、集合は同じだが、異なる演算が定義された二つの準群 (Q, ∗) と (Q, ·) を考える。これらの片方が、他方の共役に対してイソトピックである場合、これらの演算は互いに イソストロフィック (英: isostrophic ) であると言われる。なお、この関係には パラトピー (英: paratopy) など、にも多くの名前がある。