Talk:Decomposition of a module