Metadata
aliases: []
shorthands: {}
created: 2021-12-03 01:24:50
modified: 2022-01-13 14:39:46
Consider a group
The direct sum of the representations is
Meant in a matrix block form. This is the same as the direct sum of matrices.
Here,