Redirecting to Talk:Direct sum of modules