See the definition of "Graded G-algebra" on this page: https://ncatlab.org/nlab/show/crossed+G-algebra
What is meant by the notation $L_gL_h\subseteq L_{gh}$ in condition (i)? In particular the product $L_gL_h$ of projective $\mathbb{k}$-modules.
Any help would be appreciated.