基本解组是指能用线性组合构造出齐次线性微分方程全部解的线性无关的解系。微分方程基本解组的存在性是由微分方程的基本理论保证的，而方程的 n 个解的线性无关性则可以通过朗斯基行列式准则加以判定。