Computing Direct Sum Decompositions

Devlin Mallory, Mahrud Sayrafi

We describe and prove correctness of two practical algorithms for finding indecomposable summands of finitely generated modules over a finitely generated k-algebra R. The first alg…