Graded vector space

Direct sum of graded vector spaces

The direct sum of 𝑆-graded vector spaces (𝑉𝑖)π‘–βˆˆπΌ is the direct sum of vector spaces linalg

𝑋=β¨π‘–βˆˆπΌπ‘‰π‘–

with the gradation 𝑋 =β¨π›Όβˆˆπ‘†π‘‹π›Ό where

𝑋𝛼=β¨π‘–βˆˆπΌπ‘‰π‘–π›Ό

for 𝛼 βˆˆπ‘†.


tidy| en | SemBr