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