Definition

  • Suppose
  • Suppose where each is Invariant
  • let be the restriction of to
  • As is a direct sum, then every vector is represented uniquely by vectors in . That is to say,
  • Applying to gives:
  • Then, we say that is the direct sum of and write

Theorems