\begin{definition}[Definition:Monomial of Free Commutative Monoid/Degree]
The '''degree''' of a monomial is defined as:
:$\ds \sum_{j \mathop \in J} k_j$
that is, the modulus of the corresponding multiindex.
Category:Definitions/Monomials
\end{definition}