数学における圭(けい)、分配亜群(ぶんぱいあぐん、дистрибутивныи Группоид; distributive groupoid, quandle; カンドル)および残滓(ざんし、rack; ラック)は、結び目の局所変形であるライデマイスター移動を図式操作と考えたときに抽出される公理と類似の公理を満たす二項演算を備えた集合である。 主に結び目理論を背景として研究されるものであるが、抽象代数学的な構造としては、自身の右からの作用を備えた代数系であると見なすことができる。 歴史[編集] 1942年、満洲国の高崎光久が対称変換の代数として圭というものを考案した。一方、1959年、当時はまだケンブリッジ大学の大学生であったジョン・コンウェイとゲーヴィン・レイドの文通で、ラックに関する最初の研究がなされている。在学中、レイドは当初彼自身は sequential と呼んだこの構造に興味を