p-modular system
= p-modular system
{title2=$(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.