Graded subalgebra

Let $𝐴$ be a $𝔄$ -graded algebra over $𝕂$ . A subalgebra $𝐵 \leq 𝐴$ is said to be graded if it is a graded vector subspace and graded as an algebra. #m/def/ralg

#state/tidy | #lang/en | #SemBr