Graded vector space (source code)

= Graded vector space
{wiki=Graded_vector_space}

A graded vector space is a specific type of vector space that is decomposed into a direct sum of subspaces, each associated with a specific degree or grading. This setup is often used in various areas of mathematics, including algebra, geometry, and theoretical physics.