Multiplicity-one theorem
Appearance
Let k be a field, let G/k be a reductive group, let ZA denote the center of GA, let ρ denote a one-dimensional unitary representation of Z_A which is trivial on Z_A\cap G_k. Consider the Hilbert space Cρ of cusp forms on GA associated with the character ρ; the group GA acts on that space on the right by unitary transformations. This representation decomposes into a direct sum of irreducible representations each having finite multiplicity.
Multiplicity-one theorem
Each irreducible unitary representation of GA occurs with multiplicity at most 1 in Cρ.
(1) Proven for G=GLn on page 187 of The Multiplicity One Theorem for GLn by J. A. Shalika, The Annals of Mathematics, Second Series, Vol. 100, No. 2 (Sep., 1974), pp. 171-193.