可解
可解群
可解拡大
可解方程式
可解リー群
可解リー代数
可解イデアル
完全可解模型