پژوهشهای ریاضی (Dec 2018)
Solving System of Linear Congruence Equations over some Rings by Decompositions of Modules
Abstract
In this paper, we deal with solving systems of linear congruences over commutative CF-rings. More precisely, let R be a CF-ring (every finitely generated direct sum of cyclic R-modules has a canonical form) and let I_1,..., I_n be n ideals of R. We introduce congruence matrices theory techniques and exploit its application to solve the above system. Further, we investigate the application of computer algebra techniques (Gröbner bases) in this context whenever R = Z../files/site1/files/42/2Abstract.pdf