 p-modular system

A p-modular system consists of a characteristic-zero field $K$, a discrete valuation ring $\mathcal{O}\subset K$, and its residue field $k$ of characteristic $p$. It is a splitting system for a finite group when both $K$ and $k$ split the relevant group representations.