リー群论か一応の完成を见るに至るまて半世纪近くの间,余人には踏み込み难い顶きてあった.仓西はこれに果敢に挑み,"可解系は包合系に延长てきるか"というカルタンの残した问题に解决を与え,现代的理论展开の口火を切り大きな突破口を开いた [8].そして仓西自身およひスヘンサー,スターンハーク,キレン,コールトシュミット マルクランシュらにより,包合性の代数的本质かコホモロシー的に解明され包合系の形式理论ならひに解析的理论か整备される.単纯无限连続変换群の分类の问题は现代的に定式化され,厳密な证明は,仓西,シンカー - スターンハーク,长野正 - 小林昭七,キルミン - キレン - スターンハーク,田中升 - 森本彻,そして独立にカッツ,ハイスフ