For some reason I am just stuck on this question, although my intuition insists it's easy - I'd appreciate anyone telling me any obvious fact I'm overlooking here.
Suppose we have an infinite-dimensional algebra $A$ over some field, and we have some finite-dimensional $A$-module $M$ - dimension always meaning as a vector space. How does the codimension of $\text{Ann}(M)$ - that is, $\dim (A/\text{Ann}(M))$ - compare to $\dim (M)$? They're both finite, but are they always the same?
My guess is that they're not, and in particular that $\dim (M) \geq \dim (A/\text{Ann}(M))$, but I can't seem to argue this without getting tangled up. If it is true, I'll expand my question - in what case does equality hold? Is it when the module is irreducible? Something else?
We can restate the question via quotienting out by the annihilator, in case this is easier: if we have a finite-dimensional faithful module over an algebra, what can its dimension be? What conditions force its dimension to be equal to that of the algebra?
In case it matters, my algebras are Noetherian, noncommutative, and Hopf.