Let $A$ be a (non-commutative) $k$-algebra, where $k$ is an algebraically closed, characteristic zero field. Let $M$ be a finite-dimensional simple $A$-module. If $A/\operatorname{ann}(M)$ is commutative, then $M$ is $1$-dimensional. Is there a characterization (or at the very least, a name) for algebras in which this holds for all finite-dimensional simple modules? A simple example would be the quantum plane $\mathcal{O}_q(k^2)$ at $q \in k^\times$ a non-root of unity.
All finite-dimensional simple modules are $1$-dimensional
1
$\begingroup$
abstract-algebra
ring-theory
noncommutative-algebra
-
0Sorry, why do you need the hypothesis that $A$ is countably generated here? – 2012-08-04
-
0Actually, that may not be necessary for the statement, but it does guarantee that $\ann(M)$ is a nonzero prime ideal. – 2012-08-04
-
0$M$ should be $1$-dimensional whenever $A/\text{ann}(M)$ is commutative. This follows from the fact that commuting operators have simultaneous eigenvectors. I don't see what $\text{ann}(M)$ being a nonzero prime ideal has to do with the property of $M$ being $1$-dimensional. – 2012-08-04
-
1You're right. In the past I've proved this property for certain algebras by showing that $\ann(M)$ is a nonzero prime and then studying the prime spectrum of that ring. What I'm looking for is a more general approach to this problem. – 2012-08-04