p-modular system ($(K,\mathcal{O},k)$)

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.