In the theory of automorphic representations one says that G satisfies a "multiplicity one" property if every cuspidal representation occurs with multiplicity one in $L^2(G(F)\backslash G(A))$.
One also says that G satisfies "strong multiplicity one" if a cuspidal representation is uniquely determined up to isomorphism by its behaviour at cofinitely many places of F.
My question is: does the latter always imply the former (as the name would suggest), and is there a decent reason?
This question was prompted while thinking about Jacquet-Langlands, whose proof (via the trace formula) seems to give multiplicity one as a by-product and whose statement also directly implies strong multiplicity one (for inner forms of GL2 using the result for GL2 itself). However, I didn't see any way to deduce multiplicity one directly from the usual statement.
I also can't see how strong multiplicity one for classical modular forms should directly imply the q-expansion principle (which I guess is roughly the same as multiplicity one). Apologies if I'm missing something extremely obvious on this dozy Sunday evening.
Thanks, Tom.