平方自由順序と超可解性を持つ有限歪ブレース

本論文の目的は、平方自由順序を持つすべての有限歪ブレースを包括する歪ブレースのクラスである超可解歪ブレースを研究することである。有限超可解歪ブレースはシロウ塔を持ち、任意の超可解歪ブレースBにおいて関連する歪ブレース理論的特性を特定しやすいことが判明した。例えば、Bの中心的ニルポテントイデアルはB-中心的ニルポテントであり、これはフィッティングイデアルの計算検索を簡素化する事実である。また、(B, +)がニルポテントである場合に限り、Bは有限多重変換レベルを持つ。有限非退化解に関連する構造歪ブレースG(X, r)の有限提示が与えられると、G(X, r)が超可解であるかどうかを決定するアルゴリズムが存在する。さらに、超可解歪ブレースはほぼ多巡回歪ブレースの例であり、そのためYBEの解を生み出し、計算的に作業を行うことができる。