可解リー代数、導来列、および判定の定義