$G$-circulant Matrices and the Classical Maschke Theorem

Abstract

In this note, we use the isomorphism of the ring of $G$-circulant matrices over a field $k$ with the group ring $k[G]$ to derive a very short proof of the Classical Maschke Theorem.