4.[判断题]一次同余方程组在Z中是没有解的。 ( )A. 对B. 错

考查要点：本题主要考查一次同余方程组解的存在性条件，以及学生对同余方程组解的结构的理解。

解题核心思路：
一次同余方程组在整数集合$\mathbb{Z}$中是否有解，取决于各个方程之间的相容性。若每个方程的系数与模数的最大公约数能整除常数项，并且方程之间没有矛盾，则方程组有解。

破题关键点：

1. 单个方程的解存在条件：对于方程$ax \equiv b \pmod{m}$，当且仅当$\gcd(a, m) \mid b$时有解。
2. 方程组的解存在条件：若所有方程的解存在且彼此相容（即解集非空），则方程组有解。
3. 反例验证：通过构造一个有解的同余方程组，即可证明原命题错误。

关键步骤分析：

1. 理解命题：题目断言“所有一次同余方程组在$\mathbb{Z}$中无解”，需判断其真伪。
2. 寻找反例：若存在至少一个一次同余方程组在$\mathbb{Z}$中有解，则原命题为假。
3. 构造方程组：
   • 方程1：$x \equiv 1 \pmod{2}$（解为所有奇数）。
   • 方程2：$x \equiv 2 \pmod{3}$（解为$3k+2$，$k \in \mathbb{Z}$）。
4. 验证解的存在性：
   • 解方程1的$x=1,3,5,7,\dots$中，$x=5$满足方程2（$5 \div 3$余2）。
   • 因此，该方程组有解（如$x=5$），说明原命题错误。