Direct sum of representations
Redirect to:
Direct sum#Direct sum of group representations