齐次线性方程组解的结构：验证其解集是一个向量空间；非齐次线性方程组有解的充分必要条件：非齐次线性方程组在有解的前提下：如何求解、其解集与对应的齐次线性方程组解集之间的关系

1. 齐次线性方程组解的结构：

一个齐次线性方程组的解集是一个向量空间，其中的零向量就是其唯一的特解。这是因为：

• 解集中的任意两个解的线性组合仍然是其解集中的一个解；
• 解集中的任意一个解的相反向量也是其解集中的一个解。

2. 非齐次线性方程组有解的充分必要条件：

非齐次线性方程组有解，当且仅当它的增广矩阵的秩等于系数矩阵的秩。

3. 非齐次线性方程组在有解的前提下如何求解，其解集与对应的齐次线性方程组解集之间的关系：

在非齐次线性方程组有解的前提下，可以通过高斯消元法求得其特解。然后，将该特解加上齐次线性方程组的解集中的任意一个向量，得到非齐次线性方程组的一般解。因此，非齐次线性方程组的解集可以表示为特解加上齐次线性方程组解集的形式。