Let $R$ be a finite-dimensional local (associative, unital, and not necessarily commutative) algebra over a field $k$ (that is, $R$ has a unique maximal two-sided ideal $\mathfrak M$) such that $\kappa:=R/\mathfrak{M}$ is a finite-dimensional division $k$-algebra.

Assuming that $k$ is a perfect field, does the quotient ring homomorphism $R\to \kappa$ split? In other words, does there always exists a subalgebra $\kappa\subseteq R$ such that $R=\kappa\oplus \mathfrak M$ as $k$ vector spaces?

The motivation comes from the representation theory of finite-dimensional algebras. If $A$ is a finite dimensional $k$-algebra, and if $M$ is an indecomposable left $A$-module of finite type, then $R:={\rm End}_A(M)$ is a finite-dimensional local $k$-algebra (the elements of $\mathfrak M$ are those $f\colon M\to M$ which are not isomorphisms).

When $k$ is algebraically closed, the residue field $\kappa$ is $k$ and the answer is yes. I guess that it should also be the case when $R$ is commutative (using Hensel's lemma).

Associative Algebras, if I recall correctly. – Mariano Suárez-Alvarez♦ Apr 5 '12 at 8:07