Abstract:To each i, j belonging to some set of integers, attach the integer a(i,j). Are there integers x(i) such that x(j)-x(i) is congruent to a(i,j) mod (i,j)? A necessary condition is that a(i,j)+a(j,k) be congruent to a(i,k) mod (i,j,k). This condition is sufficient.
What problem does this paper attempt to address?
This paper explores the existence conditions of solutions to integral congruences, especially the sufficiency and necessity of these conditions in a broader context. Specifically:
1. **Basic problem**: The paper first considers a set of integers \(i, j\) and the corresponding integers \(a_{ij}\), as well as a system of congruence equations of the form \(x_j - x_i\equiv a_{ij}\ \text{mod}(i, j)\). In order for these congruence equations to have solutions, it must be satisfied that \(a_{ij}+a_{jk}\equiv a_{ik}\ \text{mod}(i, j, k)\) for all \(i, j, k\). This is the content of the first theorem, that is, this condition is sufficient.
2. **Generalization to higher dimensions**: Next, the paper generalizes this problem to the case of higher dimensions. For a positive integer \(n\) and a set of integers \((a(i_0,\ldots, i_n))\), consider the system of congruence equations:
\[
\sum_{j}(- 1)^j x(i_0,\ldots,\hat{i}_j,\ldots, i_n)\equiv a(i_0,\ldots, i_n)\ \text{mod}(i_0,\ldots, i_n)
\]
In order for these congruence equations to have solutions, it must be satisfied that:
\[
\sum_{j}(-1)^j a(i_0,\ldots,\hat{i}_j,\ldots, i_{n + 1})\equiv0\ \text{mod}(i_0,\ldots, i_{n+1})
\]
This is the content of the second theorem, that is, this condition is also sufficient.
3. **Further generalization to Abelian groups**: The paper further generalizes the problem to the case of an Abelian group \(A\) and its subgroups \((A_i)\). Consider the system of congruence equations:
\[
\sum_{j}(-1)^j x(i_0,\ldots,\hat{i}_j,\ldots, i_n)\equiv a(i_0,\ldots, i_n)\ \text{mod}A_{i_0}+\cdots+A_{i_n}
\]
In order for these congruence equations to have solutions, it must be satisfied that:
\[
\sum_{j}(-1)^j a(i_0,\ldots,\hat{i}_j,\ldots, i_{n+1})\equiv0\ \text{mod}A_{i_0}+\cdots+A_{i_{n+1}}
\]
However, the third theorem states that this condition is not sufficient in general.
4. **Finite index sets and distributive lattices**: Finally, the paper considers the case where the index set \(I\) is finite and \(A_i\) generates a distributive lattice. In this case, the fourth theorem states that the above - mentioned condition is sufficient.
Overall, this paper explores the existence conditions of solutions to integral congruences of different types through step - by - step generalization and abstraction, especially the sufficiency and necessity of these conditions in different mathematical structures.