Principal block (source code)

= Principal block
{title2=$B_0(G)$}

The principal <block of a group algebra> is the unique <block of a group algebra> containing the <trivial representation>. Its primitive <central idempotent> is the unique one with augmentation $1$. Its <defect groups of a block> are the <Sylow subgroups> for the residue characteristic.