/sci/ - Science & Math

>>11678797
Yes.
Choose the base [math]E_{ij}[/math] of matrices with a [math]1[/math] in entry [math](i, j)[/math] and zero everywhere else, and the base of [math]\mathbb{C}[/math] given by [math]\{1, i \}[/math].
Then, define the isomorphism by extending [math]E_{ij} \otimes 1 \rightarrow E_{ij}[/math] and [math]E_{ij} \otimes i \rightarrow iE_{ij}[/math], and use [math]E_{ij}E_{jk}=E_{ik}[/math] (note: indices might be fucked) to check the multiplication for the base.