Talk:Direct sum of groups