Skip to main content
3 of 3
clarified title
YCor
  • 63.9k
  • 5
  • 187
  • 286

Can all finite-dimensional noncommutative algebras with trace be trace-preserving embedded into matrix rings?

Suppose I have a finite (non-)commutative ring $R/k$ (over a field $k$ of char $0$) with a linear "trace" function $t: R \to k$. Can I always find an embedding $f: R \to M_r(k)$ compatible with the trace functions on both sides?

One restriction I can see for the trace function on $R$ is that it should be invariant under cyclic permutations : $t(a_1a_2\dots a_n) = t(a_2\dots a_na_1)$. Is this the only restriction?

Asvin
  • 7.7k
  • 2
  • 21
  • 52