商分次模

graded quotient module