MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

"If a field $K$ has characteristic 0 and $G$ is a group, then all $KG$-modules are completely reducible."