# Is a sub-algebra of a semisimple algebra nescesarily isomorphic to a subset of its direct product decomposition via Wedderburn's classification?

Wedderburn's classification of semisimple algebras tells us that any semisimple algebra $A$ is isomorphic to a finite direct product of matrix algebras over division algebras, say $A \cong M_{n_1}(D_1) \times \dots M_{n_k}(D_k)$.

If $A'$ is a subalgebra of $A$, then is there some subset $\{ M_{n_{i_1}}(D_{i_1}), \dots M_{n_{i_m}}(D_{i_m,})\}$ of $\{ M_{n_1}(D_1), \dots , M_{n_k}(D_k) \}$ such that $A' \cong M_{n_{i_1}}(D_{i_1}) \times \dots \times M_{n_{i_m}}(D_{i_m,})$?

Every finite dimensional $k$-algebra is isomorphic to a subalgebra of $M_n(k)$ for some $n$ (you can take $n=\dim A$, in fact)
• As I wrote, every finite-dimensional $k$-algebra $A$ is isomorphic to a subalgebra of a semisimple algebra, namely, of $M_{\dim A}(k)$. If your claim were true, then all subalgebras of $M_n(k)$ would be semisimple and that, together with my observation, would imply that all finie dimensional algebras are semisimple. May 28, 2016 at 19:29
The upper triangular matrices form a subalgebra of $M_2(F)$, and they are an obvious counterexample to the proposition.