The unit theorem for finite-dimensional algebras

The unit theorem that forms the subject of the present article, is a theorem from algebra that has a combinatorial flavour, and that originated in fact from algebraic combinatorics. Beyond a proof, we also address applications, one of which is a proof of the normal basis theorem from Galois theory.