The story
Due to Peter Gustav Lejeune Dirichlet.
Etymology from Wiktionary, CC BY-SA 4.0.
Dirichlet's unit theorem
Today it means: A result that determines the rank of an abelian group of the group of units in the ring O_K of algebraic integers of a number field K. Full definition →