obstructor＝障害子

メモ その他代数 幾何っぽい

例： 交換法則に対する障害子は交換障害子＝交換子

例：ライプニッツ法則に対する障害子はライプニッツ障害子〈Leibniz obstructor〉