他发明厦理论和BN对，于代数群（包括一些有限群）有用，尤其是定义在p进数上的群。