Tree Matrices and a Matrix Reduction Algorithm of Belitskii
Fundamenta Informaticae
Inflation Algorithms for Positive and Principal Edge-bipartite Graphs and Unit Quadratic Forms
Fundamenta Informaticae
Journal of Computational and Applied Mathematics
On the Computational Complexity of Bongartz's Algorithm
Fundamenta Informaticae
Toroidal Algorithms for Mesh Geometries of Root Orbits of the Dynkin Diagram $\mathbb{D}_4$
Fundamenta Informaticae
Hi-index | 0.00 |
We give an algorithmic solution in a simple combinatorial data of Birkhoff0s type problem studied in [22] and [25], for the category rep$_{ft}$(I,K[t]/(t$^m$)) of filtered I-chains of modules over the K-algebra K[t]/(t$^m$) of K-dimension m A complete solution of this important problem of the modern representation theory is contained in Theorems 2.4 and 2.5. We show that rep$_{ft}$(I,K[t]/(t$^m$)) admits such a classification if and only if (I,m) is one of the pairs of the finite list presented in Theorem 2.4, and such a classification does not exist for rep$_{ft}$(I,K[t]/(t$^m$)) if and only if the pair (I,m) is bigger than or equal to one of the minimal pairs of the finite list presented in Theorem 2.5. The finite lists are constructed by producing computer accessible algorithms and computational programs written in MAPLE and involving essentially the package CREP (see Section 4). On this way the lists are obtained as an effect of computer computations. In particular, the solution we get shows an importance of the computer algebra technique and computer computations in solving difficult and important problems of modern algebra.