-2
$\begingroup$

Let $A$ and $B$ be $\mathbb{C}$-algebras. Suppose that $M$ and $N$ are respectively simple $A$ and $B$ modules.

We can regard $M\otimes_{\mathbb C}N$ as $A\otimes_{\mathbb C} B$-modules in natural way.

${\bf My\ Question:}$ Is $M\otimes_{\mathbb{C}} N$ still a simple $A\otimes_{\mathbb C} B$-module? What conditions on $A$, $B$, $M$ and $N$ will make this result true? Thanks very much in advance!

$\endgroup$
5
  • $\begingroup$ Since you tagged commutative algebra as well as Lie algebras: what is your definition of an algebra? I deduce that you do not require $A$ and $B$ to have a unit, because otherwise $AN = 0$ would be impossible (as $1$ has to act as the identity). $\endgroup$ Jan 17, 2016 at 17:27
  • 2
    $\begingroup$ @R.vanDobbendeBruyn $1_A$ is not the identity in $A\oplus B$. user85403: How do you define the tensor product? If the algebras are neither commutative nor Hopf algebras there is no canonical module structure on a tensor product. $\endgroup$ Jan 17, 2016 at 17:31
  • $\begingroup$ Apologies. But my first question still stands. $\endgroup$ Jan 17, 2016 at 17:36
  • 2
    $\begingroup$ Crosspost: math.stackexchange.com/questions/1615711/… . As mentioned there, it is not true that $M \otimes N$ is a module over $A \oplus B$; it's a module over $A \otimes B$. $\endgroup$ Jan 17, 2016 at 17:56
  • 2
    $\begingroup$ @Johannes: the identity in $A \oplus B$ is $1_A \oplus 1_B$, and the proposed requirement on the action forces both $1_A$ and $1_B$ to act as zero. $\endgroup$ Jan 17, 2016 at 17:57

1 Answer 1

1
$\begingroup$

Here's a partial answer: If $M$ and $N$ are finite-dimensional, then $M\otimes N$ is a simple $A\otimes B$ module. For a proof let $R= End_A(M)$, then by the Lemma of Schur we have $R={\mathbb C}\mathrm{Id}$. Replace $A$ with its image in $End_{\mathbb C}(M)$ and likewise for $B$, then by the Theorem of Wedderburn we have $A=End_R(M)=End_{\mathbb C}(M)$. As the same holds for $B$ we get that $A\otimes B=End(M)\otimes End(N)$, which by dimension reasons equals $End_{\mathbb C}(M\otimes N)$.

$\endgroup$
0

Not the answer you're looking for? Browse other questions tagged or ask your own question.