Direct summand

1. REDIRECT Direct sum

{{Redirect category shell|

{{R from related word}}

}}