On solvability of the matrix equation AXB = C over a principal ideal domain

In this paper we present conditions of solvability of the matrix equation AXB = B over a principal ideal domain. The necessary and sufficient conditions of solvability of equation AXB = B in term of the Smith normal forms and in term of the Hermi-te normal forms of matrices constructed in a certain way by using the coefficients of this equation are proposed. If a solution of this equation exists we propose the method for its construction.

On Serre Reduction of Multidimensional Systems

Serre reduction of a system plays a key role in the theory of Multidimensional systems, which has a close connection with Serre reduction of polynomial matrices. In this paper, we investigate the Serre reduction problem for two kinds of nD polynomial matrices. Some new necessary and sufficient conditions about reducing these matrices to their Smith normal forms are obtained. These conditions can be easily checked by existing Gröbner basis algorithms of polynomial ideals.

On the structure of least common multiple matrices from some class of matrices

For non-singular matrices with some restrictions, we establish the relationships between Smith normal forms and transforming matrices (a invertible matrices that transform the matrix to its Smith normal form) of two matrices with corresponding matrices of their least common right multiple over a commutative principal ideal domains. Thus, for such a class of matrices, given answer to the well-known task of M. Newman. Moreover, for such matrices, received a new method for finding their least common right multiple which is based on the search for its Smith normal form and transforming matrices.

ON THE WEAK GROTHENDIECK GROUP OF A BEZOUT RING

The K-theoretical aspect of the commutative Bezout rings is established using the arithmetical properties of the Bezout rings in order to obtain a ring of all Smith normal forms of matrices over the Bezout ring. The internal structure and basic properties of such rings are discussed as well as their presentations by the Witt vectors. In a case of a commutative von Neumann regular rings the famous Grothendieck group K0(R) obtains the alternative description.