1: \begin{definition} In the situation of Theorem \ref{thm:splittingthm}, the QPs $\qsred{Q}{S}$ and $\qstriv{Q}{S}$ are called, respectively, the \emph{reduced part} and the \emph{trivial

2: part} of $(Q,S)$.

3: \end{definition}

4: