Generalization of the Chinese remainder theorem (Q946010): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solvable matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF / rank
 
Normal rank

Latest revision as of 16:28, 28 June 2024

scientific article
Language Label Description Also known as
English
Generalization of the Chinese remainder theorem
scientific article

    Statements

    Generalization of the Chinese remainder theorem (English)
    0 references
    0 references
    0 references
    22 September 2008
    0 references
    Let \(B\) denote an \(m \times (m+1)\) \textit{basis} matrix with integer entries, and let \(r\) denote a column vector with \(m\) integer components. This paper presents sufficient conditions for vector solutions \(x\) with integer components of the linear system \(Bx = r\) in the cases that \(B\) is \textit{marginal} as well as \textit{saturated.} In the marginal case an integer solution exists, if all nonzero entries of \(B\) are pairwise coprime. This immediately generalizes the situation in the classical Chinese remainder theorem given in its matrix form. The proof cleverly involves the notion and basic features of the permanent of matrices. It should be mentioned that the final part of the statement of Theorem 1, in order to describe what is really meant, should be replaced by ``\dots and its \(i_0\)th row is permuted with the leading row of the new matrix''.
    0 references
    Chinese remainder theorem
    0 references
    systems of linear equations
    0 references
    integer solutions
    0 references
    basis matrices
    0 references
    saturated matrices
    0 references
    marginal matrices
    0 references
    permanents
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references